Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach | Annals of Mathematics and Artificial Intelligence Skip to main content
Springer Nature Link
Log in

Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome some limitations of the usual notion of state. The envisaged multi-agent system specification framework allows the uniform treatment of both local and global properties, providing also techniques for reasoning about such specifications. When a certain intended property is not inferred from a specification, we cannot always just add to it the corresponding formula. Indeed, it is often the case that specification axioms are required to be formulae of a certain kind. The task of identifying the new axioms that should be added to the specification in order to ensure the intended property has an abductive nature. Herein, we develop abductive reasoning techniques to tackle this problem.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (Japan)

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. M. Ben-Ari, Principles of Concurrent and Distributed Programming (Prentice Hall International, 1990).

  2. P. Ciancarini and M. Wooldridge, Agent-oriented software engineering, in: Lecture Notes in Artificial Intelligence, Vol. 1957 (Springer, 2001).

  3. J. Dix, H. Munoz-Avila and D. Nau, IMPACTing SHOP: Putting an AI planner into a multi-agent environment, Annals of Mathematics and Artificial Intelligence (2003) to appear.

  4. M. Fisher and C. Gidini, Agents with bounded temporal resources, in: Foundations and Applications of Multi-Agent Systems, Lecture Notes in Computer Science, Vol. 2403 (Springer, 2002) pp. 169–184.

  5. M. Fitting, First-Order Logic and Automated Theorem Proving (Springer, New York, 1996).

    Google Scholar 

  6. M. Gelfond, V. Lifschitz and A. Rabinov, What are the limitations of the situation calculus? in: Automated Reasoning: Essays in Honor of Woody Bledsoe, ed. R. Boyer (Kluwer Academic, 1991) pp. 167–179.

  7. P. Gouveia, Abductive reasoning over temporal specifications of objects, Ph.D. Thesis, IST (1998). (In Portuguese.)

  8. P. Gouveia and C. Sernadas, Abduction reasoning over temporal specifications of objects, in: Advances in Modal Logic, Vol. 2, eds. M. Zakharyaschev, K. Segerberg, M. de Rijke and H. Wansing (CSLI, 2001) pp. 275–300.

  9. Y. Lespérance, H. Levesque and R. Reiter, A situation calculus approach to modeling and programming agents, in: Foundations and Theories of Rational Agency, eds. A. Rao and M. Wooldridge (Kluwer, 1999).

  10. F. Lin and R. Reiter, State constraints revisited, Journal of Logic and Computation 4(5) (1994) 655–678.

    Google Scholar 

  11. Z. Manna and A. Pnueli, Completing the temporal picture, Theoretical Computer Science 93 (1991) 97–130.

    Google Scholar 

  12. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Safety (Springer, 1995).

  13. M. Marcu, Y. Lespérance, H. Levesque, F. Lin, R. Reiter and R. Scherl, Distributed software agents and communication in the situation calculus, in: Proc. Intelligent Computer Communication (ICC'95), Romania (1995).

  14. P. Mateus, A. Pacheco, J. Pinto, A. Sernadas and C. Sernadas, Probabilistic situation calculus, Annals of Mathematics and Artificial Intelligence 32(1/4) (2001) 393–431.

    Google Scholar 

  15. M. Mayer and F. Pirri, First order abduction via tableau and sequent calculi, Bulletin of the IGPL 1(1) (1993) 99–117.

    Google Scholar 

  16. J. McCarthy and P. Hayes, Some philosophical problems from the standpoint of Artificial Intelligence, in: Machine Intelligence 4, eds. B. Meltzer and D. Michie (Edinburgh University Press, 1969) pp. 463–502.

  17. R. Moore, A formal theory of knowledge and action, in: Formal Theories of the Commonsense World, eds. J. Hoobs and R. Moore (Ablex Publishing, 1985) pp. 319–358.

  18. C. Peirce, Abduction and induction, in: Philosophical Writings of Peirce, ed. Buchler (Dover, 1955) pp. 150–156.

  19. J. Pinto and R. Reiter, Reasoning about time in the situation calculus, Annals of Mathematics and Artificial Intelligence, Papers in Honour of Jack Minker 14(2-4) (1995) 251–268.

    Google Scholar 

  20. J. Ramos, The situation and state calculus: Specification and verification, Ph.D. Thesis, IST, Universidade Técnica de Lisboa (2000).

  21. J. Ramos and A. Sernadas, The situation and state calculus versus branching temporal logic, in: Recent Developments in Algebraic Development Techniques, Selected Papers, ed. J. Fiadeiro, Lecture Notes in Computer Science, Vol. 1589 (Springer, 1999) pp. 293–309.

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

    Google Scholar 

  23. R. Reiter, Proving properties of states in the situation calculus, Artificial Intelligence 64 (1993) 337–351.

    Google Scholar 

  24. R. Scherl and H. Levesque, The frame problem and knowledge-producing actions, in: Proc. of 11th National Conf. on AI (1993) pp. 689–697.

  25. A. Sernadas, C. Sernadas and J. Costa, Object specification logic, Journal of Logic and Computation 1 (1995) 7–25.

    Google Scholar 

  26. A. Sernadas, C. Sernadas and J. Ramos, A temporal logic approach to object certification, Data and Knowledge Engineering 19 (1996) 267–294.

    Google Scholar 

  27. M. Thielscher, From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem, Artificial Intelligence 111(1-2) (1999) 277–299.

    Google Scholar 

  28. W. van der Hoek and W. Wooldrige, Towards a logic of rational agency, Logic Journal of the IGPL 11(2) (2003) 133–157.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CLC, Dep. de Matemática, IST, Av. Rovisco Pais, 1049-001, Lisboa, Portugal

    Paula Gouveia & Jaime Ramos

Authors
  1. Paula Gouveia
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Jaime Ramos
    View author publications

    You can also search for this author inPubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gouveia, P., Ramos, J. Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach. Annals of Mathematics and Artificial Intelligence 41, 301–338 (2004). https://doi.org/10.1023/B:AMAI.0000031198.84824.45

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:AMAI.0000031198.84824.45