EPISTEMIC REASONING FOR AMBIENT INTELLIGENCE

Theodore Patkos, Dimitris Plexousakis

Abstract

Ambient Intelligence is an emerging discipline that requires the integration of expertise from a multitude of scientific fields. The role of Artificial Intelligence is crucial not only for bringing intelligence to everyday environments, but also for providing the means for the different disciplines to collaborate. In this paper we highlight the importance of reasoning under partial observability in such dynamic and context-rich domains and illustrate the integration of an epistemic theory to an operational Ambient Intelligence infrastructure.

References

  1. Bettini, C., Brdiczka, O., Henricksen, K., Indulska, J., Nicklas, D., Ranganathan, A., and Riboni, D. (2009). A Survey of Context Modelling and Reasoning Techniques. Pervasive and Mobile Computing.
  2. Bulfoni, A., Coppola, P., Della Mea, V., Di Gaspero, L., Mischis, D., Mizzaro, S., Scagnetto, I., and Vassena, L. (2008). AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices. In 18th European Conference on AI, pages 668-672.
  3. Grammenos, D., Zabulis, X., Argyros, A., and Stephanidis, C. (2009). FORTH-ICS Internal RTD Programme Ambient Intelligence and Smart Environments. In AMI'09: Proceedings of the 3rd European Conference on Ambient Intelligence .
  4. 4The Jess-based Event Calculus reasoner and examples
  5. Kowalski, R. and Sergot, M. (1986). A Logic-based Calculus of Events. New Generation Computing, 4(1):67- 95.
  6. Lakemeyer, G. and Levesque, H. J. (1998). AOL: A Logic of Acting, Sensing, Knowing, and Only Knowing. In Principles of Knowledge Representation and Reasoning, pages 316-329.
  7. Mueller, E. (2006). Commonsense Reasoning. Kaufmann, 1st edition.
  8. Patkos, T. and Plexousakis, D. (2009). Reasoning with Knowledge, Action and Time in Dynamic and Uncertain Domains. In IJCAI'09, pages 885-890.
  9. Petrick, R. P. A. and Levesque, H. J. (2002). Knowledge Equivalence in Combined Action Theories. In KR'02: International Conference on Principles of Knowledge Representation and Reasoning, pages 303-314.
  10. Scherl, R. (2003). Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. In IJCAI'03, pages 1091-1098.
Download


Paper Citation


in Harvard Style

Patkos T. and Plexousakis D. (2011). EPISTEMIC REASONING FOR AMBIENT INTELLIGENCE . In Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-8425-40-9, pages 242-248. DOI: 10.5220/0003149902420248


in Bibtex Style

@conference{icaart11,
author={Theodore Patkos and Dimitris Plexousakis},
title={EPISTEMIC REASONING FOR AMBIENT INTELLIGENCE},
booktitle={Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2011},
pages={242-248},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003149902420248},
isbn={978-989-8425-40-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - EPISTEMIC REASONING FOR AMBIENT INTELLIGENCE
SN - 978-989-8425-40-9
AU - Patkos T.
AU - Plexousakis D.
PY - 2011
SP - 242
EP - 248
DO - 10.5220/0003149902420248