Executing Logical Agent Specifications

Many agent-oriented programming languages are based on the Prolog like logical goal reduction approach where rules are used to reduce, in a depth-first way, aselected goal. The ability of agents to change between goals means that such languages often overlay the basic computational engine with a mechanism for dynamically changing which goal is selected.

[1]  Michael Winikoff,et al.  Developing intelligent agent systems - a practical guide , 2004, Wiley series in agent technology.

[2]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[3]  Michael Fisher,et al.  Implementing BDI-like Systems by Direct Execution , 1997, IJCAI.

[4]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[5]  Michael Fisher,et al.  Concurrent METATEM as a Coordination Language , 1997, COORDINATION.

[6]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[7]  Michael Fisher,et al.  Flexible Agent Grouping In Executable Temporal Logic , 1999 .

[8]  Dov M. Gabbay,et al.  The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems , 1987, Temporal Logic in Specification.

[9]  Michael Fisher,et al.  Programming Resource-Bounded Deliberative Agents , 1999, IJCAI.

[10]  Toby Walsh,et al.  A Fixpoint Based Encoding for Bounded Model Checking , 2002, FMCAD.

[11]  Michael Fisher,et al.  Temporal Development Methods for Agent-Based , 2004, Autonomous Agents and Multi-Agent Systems.

[12]  Michael Fisher,et al.  Exploring the Future with Resource-Bounded Agents , 2009, J. Log. Lang. Inf..

[13]  Michael Fisher,et al.  Temporal Development Methods for Agent-Based Systems , 2005 .

[14]  MICHAEL FISHER.  Temporal Semantics for Concurrent Metatem , 1996, J. Symb. Comput..

[15]  Michael Fisher,et al.  Temporal Representation and Reasoning , 2008, Handbook of Knowledge Representation.

[16]  Roberto Gorrieri,et al.  Formal Methods for Open Object-Based Distributed Systems , 2006, IFIP — The International Federation for Information Processing.

[17]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[18]  Luís Moniz Pereira,et al.  Specification and Dynamic Verification of Agent Properties , 2008 .

[19]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[20]  Michael Fisher,et al.  Language Constructs for Multi-agent Programming , 2008, CLIMA.

[21]  Michael Fisher,et al.  Agent deliberation in an executable temporal framework , 2011, J. Appl. Log..

[22]  Dov M. Gabbay,et al.  MetateM: An introduction , 1995, Formal Aspects of Computing.

[23]  Michael Fisher.  Towards the refinement of executable temporal objects , 1997 .

[24]  Rafael H. Bordini,et al.  Automated Verification of Multi-Agent Programs , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[25]  Michael Fisher,et al.  Logical Implementation of Uncertain Agents , 2005, EPIA.

[26]  Dov M. Gabbay,et al.  The imperative future: principles of executable temporal logic , 1996 .

[27]  Michael Fisher,et al.  A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution , 1997, J. Log. Comput..

[28]  Michael Fisher,et al.  Specifying and reasoning about uncertain agents , 2008, Int. J. Approx. Reason..

[29]  Michael Fisher,et al.  A Common Basis for Agent Organisation in BDI Languages , 2008, LADS.

[30]  Michael Fisher,et al.  Programming Groups of Rational Agents , 2004, CLIMA.

[31]  Michael Wooldridge,et al.  A Common Semantic Basis for BDI Languages , 2007, PROMAS.

[32]  Zohar Manna,et al.  Temporal Verification of Simulation and Refinement , 1993, REX School/Symposium.

[33]  Carla Limongelli,et al.  Linear temporal logic as an executable semantics for planning languages , 2007, J. Log. Lang. Inf..

[34]  Clare Dixon,et al.  Temporal Logic with Capacity Constraints , 2007, FroCoS.