About Us


Epistemic logic, verification, smart home, ambient intelligence.


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.


Acta Mechanica Slovaca. Volume 16, Issue 1, Pages 90 – 94, ISSN 1335-2393


  Epistemic logic and the process of verification used in ambient intelligence home environment


[1] STEFANOV, D.H.; ZEUNGNAM BIEN; WON-CHUL BANG. 2004. The smart house for older persons and persons with physical disabilities: structure, technology arrangements, and

perspectives. [on line]. IEEE Trans. On neural systems and rehabilitation engineering, vol. 12,
[2] WRIGHT, G.H. VON. AN ESSAY IN MODAL LOGIC . s.l. North-Holland, 1953.
[3] MASSACHUSETTS INSTITUTE OF TECHNOLOGY (MIT BLDG NE18-4FL), House_n Research Consortium. 2005 [on line]: Accessible on <http://architecture.mit.edu/house_n/documents/HousenConsortiumResearchTopics.pdf>
[4] H. SIMON. The New Science of Management Decision. Harper and Row, New York, 1960.
[5] J. FRENCH, B. RAVEN. The bases of social power. In: Studies in social power. The University of Michigan, pp.150-167, 1959.
[6] G. MARREIROS, C. RAMOS E J. NEVES. Multi-Agent Approach to Group Decision Making through Persuasive Argumentation. 6th International conference on argumentation. Amsterdam, 2006.

Latest Issue

ams 2 2016


Guests Online

We have 29 guests and no members online