Sensing Inertial and Continuously-Changing World Features

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.

[1]  Michael Thielscher,et al.  Representing the Knowledge of a Robot , 2000, KR.

[2]  Maria del Pilar Pozos Parra,et al.  A Simple and Tractable Extension of Situation Calculus to Epistemic Logic , 2000, ISMIS.

[3]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[4]  Antonis C. Kakas,et al.  Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I , 2002 .

[5]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[6]  Angelo Montanari,et al.  Temporal representation and reasoning in artificial intelligence: Issues and approaches , 2000, Annals of Mathematics and Artificial Intelligence.

[7]  Hector J. Levesque,et al.  Knowledge Equivalence in Combined Action Theories , 2002, KR.

[8]  Jorge A. Baier,et al.  ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond , 2008, KR.

[9]  Michael Thielscher,et al.  The Concurrent, Continuous Fluent Calculus , 2001, Stud Logica.

[10]  Murray Shanahan,et al.  The Event Calculus Explained , 1999, Artificial Intelligence Today.

[11]  E. Mueller.  CHAPTER 15 – Logics for Commonsense Reasoning , 2006 .

[12]  Dimitris Plexousakis,et al.  A Theory of Action, Knowledge and Time in the Event Calculus , 2008, SETN.

[13]  Jorge Lobo,et al.  Knowledge and the Action Description Language A , 2001, Theory Pract. Log. Program..

[14]  Mark Witkowski,et al.  High-Level Robot Control through Logic , 2000, ATAL.

[15]  Murray Shanahan,et al.  Some Alternative Formulations of the Event Calculus , 2002, Computational Logic: Logic Programming and Beyond.

[16]  Richard B. Scherl,et al.  Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus , 2003, IJCAI.

[17]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[18]  Michael Thielscher,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Flux: a Logic Programming Method for Reasoning Agents , 2003 .