PT  - JOURNAL ARTICLE
AU  - Bucko, Robert
TI  - Epistemic logic and the process of verification used in ambient intelligence home environment
DP  - 2012 Mar 31
TA  - Acta Mechanica Slovaca
PG  - 90--94
VI  - 16
IP  - 1
AID - 10.21496/ams.2012.011
IS  - 13352393
AB  - In this work I present the way of using an epistemic logic and the process of knowledge verification in order to control and monitor the object in the given environment. The achievement of correct recognition of situations depends on the system knowledge and how the system responds on the given issue. The aim is to describe and induce an example of using the logical or epistemic procedures.