Advertisement

Executing Logical Agent Specifications

  • Michael fisher
  • Anthony Hepple
Chapter

Abstract

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.

Keywords

Temporal Logic Logical Agent Temporal Formula Temporal Logic Formula Temporal Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Notes

Acknowledgements

Many people have influenced the current METATEM implementation but Benjamin Hirsch and Chiara Ghidini must be thanked for their significant contribution to the current implementation and agent grouping strategies, respectively. In addition, thanks go to Michael Cieslar for developing the graphical visualisation tool.

References

  1. 1.
    Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds.): The Imperative Future: Principles of Executable Temporal Logics. John Wiley& Sons, Inc., New York, NY, USA (1996)Google Scholar
  2. 2.
    Barringer, H., Fisher, M., Gabbay, D.M., Gough, G., Owens, R.: METATEM: An introduction. Formal Aspects of Computing 7 (5), 533–549 (1995)CrossRefMATHGoogle Scholar
  3. 3.
    Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated Verification of Multi-Agent Programs. In: Proc. 23 rd IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 69–78 (2008)Google Scholar
  4. 4.
    Costantini, S., Dell’Acqua, P., Pereira, L.M., Tsintza, P.: Specification and Dynamic Verification of Agent Properties. In: Proc. Ninth International Conference on Computational Logic in Multi-Agent Systems (2008)Google Scholar
  5. 5.
    de Carvalho Ferreira, N., Fisher, M., van der Hoek, W.: Specifying and Reasoning about Uncertain Agents. International Journal of Approximate Reasoning 49 (1), 35–51 (2008)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    de Carvalho Ferreira, N., Fisher, M., van der Hoek, W.: Logical Implementation of Uncertain Agents. In: Proceedings of 12th Portuguese Conference on Artificial Intelligence (EPIA), Lecture Notes in Computer Science, vol. 3808. Springer (2005)Google Scholar
  7. 7.
    Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.: A Common Semantic Basis for BDI Languages. In: Proc. Seventh International Workshop on Programming Multiagent Systems (ProMAS), LectureNotes in Articial Intelligence, vol. 4908, pp. 124–139. Springer Verlag (2008)Google Scholar
  8. 8.
    Dennis, L.A., Fisher, M., Hepple, A.: A Common Basis for Agent Organisation in BDI Languages. In: Proc. 1st International Workshop on LAnguages, methodologies and Development tools for multi-agent Systems (LADS), Lecture Notes in Computer Science, vol. 5118, pp. 171–188. Springer (2008)Google Scholar
  9. 9.
    Dennis, L.A., Fisher, M., Hepple, A.: Language Constructs for Multi-Agent Programming. In: Proc. 8th Workshop on Computational Logicin Multi-Agent Systems (CLIMA), Lecture Notes in Artificial Intelligence, vol. 5056, pp. 137–156. Springer (2008)Google Scholar
  10. 10.
    Dixon, C., Fisher, M., Konev, B.: Temporal Logic with Capacity Constraints. In: Proc. 6th International Symposium on Frontiers of Combining Systems, Lecture Notes in Computer Science, vol. 4720, pp. 163–177. Springer (2007)CrossRefMATHGoogle Scholar
  11. 11.
    Emerson, E.A.: Temporal and Modal Logic. In: J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, pp. 996–1072. Elsevier (1990)Google Scholar
  12. 12.
    Fisher, M.: A Temporal Semantics for Concurrent METATEM. Journal of Symbolic Computation 22 (5/6), 627–648 (1996)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Fisher, M.: Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. Journal of Logic and Computation 7 (4), 429–456 (1997)MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Fisher, M.: Implementing BDI-like systems by direct execution. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI), vol. 1, pp. 316–321. Morgan Kaufmann, San Fransisco, CA, USA(1997)Google Scholar
  15. 15.
    Fisher, M.: Towards the Refinement of Executable Temporal Objects. In: H. Bowman, J. Derrick (eds.) Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall (1997)Google Scholar
  16. 16.
    Fisher, M.: Temporal Development Methods for Agent-Based Systems. Journal of Autonomous Agents and Multi-Agent Systems 10 (1), 41–66 (2005)CrossRefGoogle Scholar
  17. 17.
    Fisher, M.: Temporal Representation and Reasoning. In: F. van Harmelen, B. Porter, V. Lifschitz (eds.) Handbook of Knowledge Representation, Foundations of Artificial Intelligence, vol. 2. Elsevier Press (2007)Google Scholar
  18. 18.
    Fisher, M.: Agent Deliberation in an Executable Temporal Framework. Technical Report ULCS-08-014, Department of Computer Science, University of Liverpool, UK (2008)Google Scholar
  19. 19.
    Fisher, M., Ghidini, C.: Programming Resource-Bounded Deliberative Agents. In: Proc. 16th International Joint Conference on Artificial Intelligence (IJCAI), pp. 200–205.Morgan Kaufmann (1999)Google Scholar
  20. 20.
    Fisher, M., Ghidini, C.: Exploring the Future with Resource-Bounded Agents. Journal of Logic, Language and Information 18 (1), 3–21 (2009)MathSciNetCrossRefMATHGoogle Scholar
  21. 21.
    Fisher, M., Ghidini, C., Hirsch, B.: Programming Groups of Rational Agents. In: Proc, International Workshop on Computational Logic in Multi-Agent Systems IV (CLIMA), Lecture Notes in Artificial Intelligence, vol. 3259, pp. 16–33. Springer-Verlag, Heidelberg, Germany (2004)Google Scholar
  22. 22.
    Fisher, M., Kakoudakis, T.: Flexible Agent Grouping in Executable Temporal Logic. In: Proceedings of Twelfth International Symposium on Languages for Intensional Programming (ISLIP). World Scientific Press (1999)Google Scholar
  23. 23.
    Frisch, A.M., Sheridan, D., Walsh, T.: A Fixpoint Based Encoding for Bounded Model Checking. In: Proc.4th International Conference on Formal Methods in Computer-Aided Design (FMCAD), Lecture Notes in Computer Science, vol. 2517, pp. 238–255. Springer (2002)Google Scholar
  24. 24.
    Gabbay, D.: Declarative Past and Imperative Future: Executable Temporal Logicfor Interactive Systems. In: B. Banieqbal, H. Barringer, A. Pnueli (eds.) Proceedings of Colloquium on Temporal Logic in Specification, pp. 402–450. Altrincham, U.K. (1987). (Published in Lecture Notes in Computer Science, volume 398, Springer-Verlag)Google Scholar
  25. 25.
    Kellett, A., Fisher, M.: Concurrent METATEM as a Coordination Language. In: Coordination Languages and Models, Lecture Notes in Computer Science, vol. 1282. Springer-Verlag (1997)Google Scholar
  26. 26.
    Kesten, Y., Manna, Z., Pnueli, A.: Temporal Verification of Simulation and Refinement. In: A Decade of Concurrency, Lecture Notes in Computer Science, vol. 803, pp. 273–346. Springer-Verlag (1994)CrossRefGoogle Scholar
  27. 27.
    Mayer, M.C., Limongelli, C., Orlandini, A., Poggioni, V.: Linear Temporal Logic as an Executable Semantics for Planning Languages. Journal of Logic, Language and Information 16(1) (2007)Google Scholar
  28. 28.
    Padgham, L., Winikoff, M.: Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons (2004)Google Scholar
  29. 29.
    Rao, A.S., Georgeff, M.P.: Modeling rational agents with in a BDI-architecture. In: Proceedings of the 2nd International Conferenceon Principles of Knowledge Representation and Reasoning(KR), pp. 473–484. Morgan Kaufmann, San Fransisco, CA, USA(1991)Google Scholar
  30. 30.
    Rao, A.S., Georgeff, M.P.: BDI agents: From theory to practice. In: Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS), pp. 312–319. IEEE Press, Washington, DC, USA (1995)Google Scholar
  31. 31.
    Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems 3 (3), 285–312 (2000)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag US 2009

Authors and Affiliations

  1. 1.University of LiverpoolLiverpoolUK

Personalised recommendations