Timed Memory in Resource-Bounded Agents

In intelligent agents memory plays a crucial role in the choice of future course of action, as it is progressively formed by means of agent’s interactions with the external environment. Previous work exists in logic concerning formalization of reasoning on the formation of beliefs in non-omniscient agents. We address an aspect which has been hardly considered so far, i.e., the notion of “explicit time”, by introducing timed beliefs, timed inferences, by means of temporal logic operator on time intervals.

[1]  Joël Ouaknine,et al.  Some Recent Results in Metric Temporal Logic , 2008, FORMATS.

[2]  Sarit Kraus,et al.  A Logic for Characterizing Multiple Bounded Agents , 2000, Autonomous Agents and Multi-Agent Systems.

[3]  Andrea Omicini,et al.  Timed environment for web agents , 2007, Web Intell. Agent Syst..

[4]  John E. Laird,et al.  A Standard Model of the Mind: Toward a Common Computational Framework across Artificial Intelligence, Cognitive Science, Neuroscience, and Robotics , 2017, AI Mag..

[5]  Yoram Hirshfeld,et al.  Logics for Real Time: Decidability and Complexity , 2004, Fundam. Informaticae.

[6]  Brian Logan,et al.  A complete and decidable logic for resource-bounded agents , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[7]  Maarten Marx,et al.  Hybrid logics: characterization, interpolation and complexity , 2001, Journal of Symbolic Logic.

[8]  Daniela Micucci,et al.  Time-Aware Multi Agent Systems , 2006, Multiagent Systems and Software Architecture.

[9]  Natasha Alechina,et al.  A Logic for Reasoning About Knowledge of Unawareness , 2014, J. Log. Lang. Inf..

[10]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[11]  Tim French,et al.  Semantics for Knowledge and Change of Awareness , 2014, J. Log. Lang. Inf..

[12]  Emiliano Lorini,et al.  A Logical Theory of Belief Dynamics for Resource-Bounded Agents , 2016, AAMAS.

[13]  Yoav Shoham,et al.  A propositional modal logic of time intervals , 1991, JACM.

[14]  Valentin Goranko,et al.  Two-sorted Point-Interval Temporal Logics , 2011, M4M/LAMAS.

[15]  Wei Peng,et al.  Understanding behaviors of a constructive memory agent: A markov chain analysis , 2009, Knowl. Based Syst..

[16]  Paola Mello,et al.  MONITORING TIME-AWARE COMMITMENTS WITHIN AGENT-BASED SIMULATION ENVIRONMENTS , 2011, Cybern. Syst..

[17]  Ron Koymans,et al.  Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.

[18]  Thomas A. Henzinger,et al.  What Good Are Digital Clocks? , 1992, ICALP.

[19]  Joeri Engelfriet,et al.  Minimal Temporal Epistemic Logic , 1996, Notre Dame J. Formal Log..

[20]  Anand S. Rao,et al.  Distributed Storage of Replicated Beliefs to Facilitate Recovery of Distributed Intelligent Agents , 1997, ATAL.