RT Journal Article
SR Electronic
A1 Bucko, Robert
T1 Epistemic logic and the process of verification used in ambient intelligence home environment
JF Acta Mechanica Slovaca
YR 2012
VO 16
IS 1
SP 90
OP 94
DO 10.21496/ams.2012.011
UL https://www.actamechanica.sk/artkey/ams-201201-0011.php
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.