PT Journal
AU Bucko, R
TI Epistemic logic and the process of verification used in ambient intelligence home environment
SO Acta Mechanica Slovaca
PY 2012
BP 90
EP 94
VL 16
IS 1
DI 10.21496/ams.2012.011
DE Epistemic logic; verification; smart home; ambient intelligence
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.
ER