Advertisement

Sensing Inertial and Continuously-Changing World Features

  • Theodore Patkos
  • Dimitris Plexousakis
Conference paper
Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 296)

Abstract

Knowledge and causality play an essential role in the attempt to achieve commonsense reasoning in cognitive robotics. As agents usually operate in dynamic and uncertain environments, they need to acquire information through sensing inertial aspects, such as the state of a door, and continuously changing aspects, such as the location of a moving object. In this paper, we extend an Event Calculus-based knowledge framework with a method for sensing world features of different types in a uniform and transparent to the agent manner. The approach results in the modeling of agents that remember and forget, a cognitive skill particularly suitable for the implementation of real-world applications.

References

  1. 1.
    Chittaro, L., Montanari, A.: Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches. Annals of Mathematics and Artificial Intelligence 28(1–4), 47–106 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Demolombe, R., Pozos-Parra, M.: A simple and tractable extension of situation calculus to epistemic logic. 12th International Symposium on Methodologies for Intelligent Systems (ISMIS-00) pp. 515–524Google Scholar
  3. 3.
    Fritz, C., Baier, J.A., McIlraith, S.A.: ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. In: Proceedings International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 600–610. Australia (2008)Google Scholar
  4. 4.
    Lifschitz, V.: Circumscription. Handbook of Logic in Artificial Intelligence and Logic Programming 3, 297–352 (1994)MathSciNetGoogle Scholar
  5. 5.
    Lobo, J., Mendez, G., Taylor, S.R.: Knowledge and the Action Description Language A. Theory and Practice of Logic Programming (TPLP) 1 (2), 129–184 (2001)MathSciNetzbMATHGoogle Scholar
  6. 6.
    Miller, R., Shanahan, M.: Some Alternative Formulations of the Event Calculus. In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pp. 452–490. Springer-Verlag, London, UK (2002)CrossRefGoogle Scholar
  7. 7.
    Moore, R.C.: A formal theory of knowledge and action. In: Formal Theories of the Common-sense World, pp. 319–358. J. Hobbs, R. Moore (Eds.) (1985)Google Scholar
  8. 8.
    Mueller, E.: Commonsense Reasoning, 1st edn. Morgan Kaufmann (2006)Google Scholar
  9. 9.
    Patkos, T., Plexousakis, D.: A Theory of Action, Knowledge and Time in the Event Calculus. In: SETN '08: Proceedings 5th Hellenic Conference on Artificial Intelligence, pp. 226–238. Springer-Verlag, Berlin, Heidelberg (2008)Google Scholar
  10. 10.
    Petrick, R.P.A., Levesque, H.J.: Knowledge Equivalence in Combined Action Theories. In: KR, pp. 303–314 (2002)Google Scholar
  11. 11.
    Scherl, R.: Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. In: Proceedings 18th International Conference on Artificial Intelligence (IJCAI), pp. 1091–1098 (2003)Google Scholar
  12. 12.
    Scherl, R.B., Levesque, H.J.: Knowledge, Action, and the Frame Problem. Artificial Intelligence 144(1–2), 1–39 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Shanahan, M.: The Event Calculus Explained. Artificial Intelligence Today 1600, 409–430 (1999)CrossRefGoogle Scholar
  14. 14.
    Shanahan, M., Witkowski, M.: High-Level Robot Control through Logic. In: ATAL '00: Proceedings 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages, pp. 104–121. Springer-Verlag, London, UK (2001)Google Scholar
  15. 15.
    Thielscher, M.: Representing the Knowledge of a Robot. In: A. Cohn, F. Giunchiglia, B. Selman (eds.) Proceedings International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 109–120. Morgan Kaufmann, Breckenridge, CO (2000)Google Scholar
  16. 16.
    Thielscher, M.: The Concurrent, Continuous Fluent Calculus. Studia Logica 67(3), 315–331 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Thielscher, M.: FLUX: A Logic Programming Method for Reasoning Agents. Theory and Practice of Logic Programming 5(4–5), 533–565 (2005)CrossRefzbMATHGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2009

Authors and Affiliations

  • Theodore Patkos
    • 1
  • Dimitris Plexousakis
    • 1
  1. 1.Institute of Computer Science, FO.R.T.H.HeraklionGreece

Personalised recommendations