Acta Mechanica Slovaca 2012, 16(1):90-94 | DOI: 10.21496/ams.2012.011

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

Robert Bucko
Slovak University of Technology, Bratislava, Slovakia

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.

Keywords: Epistemic logic, verification, smart home, ambient intelligence

Received: January 14, 2012; Accepted: March 15, 2012; Published: March 31, 2012  Show citation

ACS AIP APA ASA Harvard Chicago Chicago Notes IEEE ISO690 MLA NLM Turabian Vancouver
Bucko, R. (2012). Epistemic logic and the process of verification used in ambient intelligence home environment. Acta Mechanica Slovaca, 16(1), 90-94. doi: 10.21496/ams.2012.011
Share...
Download citation
  • BibTeX (.bib)
  • Bookends (.ris)
  • EasyBib (.ris)
  • EndNote (.enw)
  • EndNote 8 (.xml)
  • ISI WoS (.isi)
  • Medlars (.medlars)
  • Mendeley (.ris)
  • MODS (.xml)
  • Papers (.ris)
  • RefWorks (.txt)
  • RefManager (.ris)
  • RIS (.ris)
  • MS Word (.xml)
  • Zotero (.ris)
    • Open full article

    References

    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 Go to original source...
    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. Go to original source...
    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.

    This is an open access article distributed under the terms of the Creative Commons Attribution 4.0 International License (CC BY 4.0), which permits use, distribution, and reproduction in any medium, provided the original publication is properly cited. No use, distribution or reproduction is permitted which does not comply with these terms.


    Return to the content