Skip to main content
SpringerLink
Log in

On the Epistemic Feasibility of Plans in Multiagent Systems Specifications

  • Conference paper
  • First Online:
Intelligent Agents VIII (ATAL 2001)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2333))

Included in the following conference series:

Abstract

This paper addresses the problem of ensuring that agents’ plans are epistemically feasible in multiagent systems specifications. We propose some solutions within the Cognitive Agents Specification Language (CASL). We define a subjective execution construct Subj that causes the plan to be executed in terms of the agent’s knowledge state, rather than in terms of the world state. The definition assumes that the agent does not do planning or lookahead, and chooses arbitrarily among the actions allowed by the plan. We also define another deliberative execution operator Delib for smarter agents that do planning. We show how these notions can be used to express whether a process is epistemically feasible for its agent(s) in several types of situations. More generally, the paper shows how a formalization of epistemic feasibility can be integrated with a transition-system semantics for an agent programming/specification language.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Brazier, B. Dunin-Keplicz, N.R. Jennings, and Jan Treur. Formal specifications of multiagents systems: A real-world case study. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS’95), pages 25–32, San Francisco, CA, June 1995. Springer-Verlag.

    Google Scholar 

  2. E. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal-logic specifications. ACM Trans. Programming, Languages, and Systems, 8(2):244–263, 1986.

    Article  MATH  Google Scholar 

  3. Ernest Davis. Knowledge preconditions for plans. Journal of Logic and Computation, 4(5):721–766, 1994.

    Article  MATH  MathSciNet  Google Scholar 

  4. Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121:109–169, 2000.

    Article  MATH  MathSciNet  Google Scholar 

  5. Giuseppe De Giacomo and Hector J. Levesque. An incremental interpreter for high-level programs with sensing. In Hector J. Levesque and Fiora Pirri, editors, Logical Foundations for Cognitive Agents, pages 86–102. Springer-Verlag, Berlin, Germany, 1999.

    Google Scholar 

  6. Giuseppe De Giacomo, Eugenia Ternovskaia, and Ray Reiter. Non-terminating processes in the situation calculus. In Working Notes of the AAAI’97 Workshop on Robots, Softbots, Immobots: Theories of Action, Planning and Control, 1997.

    Google Scholar 

  7. Joeri Engelfriet, Catholijn M. Jonker, and Jan Treur. Compositional verification of multi-agent systems in temporal multi-epistemic logic. In J.P. Mueller, M.P. Singh, and A.S. Rao, editors, Intelligent Agents V: Proceedings of the Fifth International Workshop on Agent Theories, Architectures and languages (ATAL’98), volume 1555 of LNAI, pages 177–194. Springer-Verlag, 1999.

    Google Scholar 

  8. M. Fisher and M. Wooldridge. On the formal specification and verification of multi-agent systems. International Journal of Cooperative Information Systems, 6(1):37–65, 1997.

    Article  Google Scholar 

  9. M. Hennessy. The Semantics of Programming Languages. John Wiley & Sons, 1990.

    Google Scholar 

  10. Gerhard Lakemeyer and Hector J. Levesque. AOL: A logic of acting, sensing, knowing, and only-knowing. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR-98), pages 316–327, 1998.

    Google Scholar 

  11. Yves Lespérance, Todd G. Kelley, John Mylopoulos, and Eric S.K. Yu. Modeling dynamic domains with ConGolog. In Advanced Information Systems Engineering, 11th International Conference, CAiSE-99, Proceedings, pages 365–380, Heidelberg, Germany, June 1999. LNCS 1626, Springer-Verlag.

    Google Scholar 

  12. Yves Lespérance, Hector J. Levesque, Fangzhen Lin, and Richard B. Scherl. Ability and knowing how in the situation calculus. Studia Logica, 66(1): 165–186, October 2000.

    Google Scholar 

  13. Yves Lespérance, Hector J. Levesque, and Raymond Reiter. A situation calculus approach to modeling and programming agents. In A. Rao and M. Wooldridge, editors, Foundations of Rational Agency, pages 275–299. Kluwer, 1999.

    Google Scholar 

  14. Yves Lespérance and Ho-Kong Ng. Integrating planning into reactive high-level robot programs. In Proceedings of the Second International Cognitive Robotics Workshop, pages 49–54, Berlin, Germany, August 2000.

    Google Scholar 

  15. Hector J. Levesque. What is planning in the presence of sensing? In Proceedings of the Thirteenth National Conference on Artificial Intelligence, pages 1139–1146, Portland, OR, August 1996.

    Google Scholar 

  16. Fangzhen Lin and Hector J. Levesque. What robots can do: Robot programs and effective achievability. Artificial Intelligence, 101(1–2):201–226, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  17. John McCarthy and Patrick Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463–502. Edinburgh University Press, Edinburgh, UK, 1979.

    Google Scholar 

  18. Robert C. Moore. A formal theory of knowledge and action. In J. R. Hobbs and Robert C. Moore, editors, Formal Theories of the Common Sense World, pages 319–358. Ablex Publishing, Norwood, NJ, 1985.

    Google Scholar 

  19. Leora Morgenstern. Knowledge preconditions for actions and plans. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pages 867–874, Milan, Italy, August 1987. Morgan Kaufmann Publishing.

    Google Scholar 

  20. D. Park. Fixpoint induction and proofs of program properties. In Machine Intelligence, volume 5, pages 59–78. Edinburgh University Press, 1970.

    Google Scholar 

  21. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Dept., Aarhus University, Denmark, 1981.

    Google Scholar 

  22. Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359–380. Academic Press, San Diego, CA, 1991.

    Google Scholar 

  23. Raymond Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.

    Google Scholar 

  24. Richard B. Scherl and Hector J. Levesque. The frame problem and knowledge-producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 689–695, Washington, DC, July 1993. AAAI Press/The MIT Press.

    Google Scholar 

  25. Steven Shapiro and Yves Lespérance. Modeling multiagent systems with CASL — a feature interaction resolution application. In C. Castelfranchi and Y. Lespérance, editors, Intelligent Agents VII. Agent Theories, Architectures, and Languages — 7th. International Workshop, ATAL-2000, Boston, MA, USA, July 7–9, 2000, Proceedings, volume 1986 of LNAI, pages 244–259. Springer-Verlag, Berlin, 2001.

    Google Scholar 

  26. Steven Shapiro, Yves Lespérance, and Hector J. Levesque. Specifying communicative multiagent systems with ConGolog. In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines, pages 75–82, Cambridge, MA, November 1997.

    Google Scholar 

  27. Steven Shapiro, Maurice Pagnucco, Yves Lespérance, and Hector J. Levesque. Iterated belief change in the situation calculus. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR-2000), pages 527–538. Morgan Kaufmann, 2000.

    Google Scholar 

  28. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. A logic of capabilities. In A. Nerode and Yu. V Matiyasevich, editors, Proceedings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS’94). LNCS Vol. 813, Springer-Verlag, 1994.

    Google Scholar 

  29. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Open multi-agent systems: Agent communication and integration. In N.R. Jennings and Y Lespérance, editors, Intelligent Agents VI — Proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL-99), Lecture Notes in Artificial Intelligence, pages 218–232. Springer-Verlag, Berlin, 2000.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, York University, Toronto, ON, Canada, M3J 1P3

    Yves Lespérance

Authors
  1. Yves Lespérance
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Information and Computing Sciences Intelligent Systems Group, Utrecht University, Padualaan 14 De Uithof, 3508 TB, Utrecht, The Netherlands

    John-Jules Ch. Meyer

  2. Information Sciences Institute, University of Southern California, Henry Salvatori Computer Center 232, Los Angeles, CA, 90089-0781, USA

    Milind Tambe

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lespérance, Y. (2002). On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. In: Meyer, JJ.C., Tambe, M. (eds) Intelligent Agents VIII. ATAL 2001. Lecture Notes in Computer Science(), vol 2333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45448-9_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-45448-9_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43858-8

  • Online ISBN: 978-3-540-45448-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation