Skip to main content

Reasoning about Agent Programs Using ATL-Like Logics

  • Conference paper

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

Abstract

We propose a variant of Alternating-time Temporal Logic (ATL) grounded in the agents’ operational know-how, as defined by their libraries of abstract plans. Inspired by ATLES, a variant itself of ATL, it is possible in our logic to explicitly refer to “rational” strategies for agents developed under the Belief-Desire-Intention agent programming paradigm. This allows us to express and verify properties of BDI systems using ATL-type logical frameworks.

Keywords

  • Agent Programming
  • Reactive plans
  • ATL
  • Model Checking

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-33353-8_34
  • Chapter length: 13 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-33353-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   84.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alechina, N., Dastani, M., Logan, B., Meyer, J.-J.: A logic of agent programs. In: Proc. of the National Conference on Artificial Intelligence (AAAI), pp. 795–800 (2007)

    Google Scholar 

  2. Alechina, N., Dastani, M., Logan, B., Meyer, J.-J.: Reasoning about agent deliberation. In: Proc. of Principles of Knowledge Representation and Reasoning (KR), pp. 16–26 (2008)

    Google Scholar 

  3. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM (49), 672–713 (2002)

    Google Scholar 

  4. Baral, C., Son, T.C.: Relating theories of actions and reactive control. Electronic Transactions of AI (ETAI) 2(3-4), 211–271 (1998)

    MathSciNet  Google Scholar 

  5. Bordini, R.H., Braubach, L., Dastani, M., Fallah-Seghrouchni, A., Gómez Sanz, J.J., Leite, J., O’Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica (Slovenia) 30(1), 33–44 (2006)

    MATH  Google Scholar 

  6. Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and resource-bounded practical reasoning. Computational Intelligence 4(3), 349–355 (1988)

    CrossRef  Google Scholar 

  7. Busetta, P., Rönnquist, R., Hodgson, A., Lucas, A.: JACK intelligent agents: Components for intelligent agents in Java. AgentLink Newsletter 2, 2–5 (1999)

    Google Scholar 

  8. Dastani, M.: 2APL: A practical agent programming language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008)

    CrossRef  Google Scholar 

  9. Dastani, M., Jamroga, W.: Reasoning about strategies of multi-agent programs. In: Proc. of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 997–1004 (2010)

    Google Scholar 

  10. Dastani, M., van Riemsdijk, B., Meyer, J.-J.: Goal types in agent programming. In: Proc. of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1285–1287 (2006)

    Google Scholar 

  11. de Boer, F., Hindriks, K., van der Hoek, W., Meyer, J.: A verification framework for agent programming with declarative goals. Journal of Applied Logic 5(2), 277–302 (2007)

    MathSciNet  CrossRef  MATH  Google Scholar 

  12. Duff, S., Harland, J., Thangarajah, J.: On proactivity and maintenance goals. In: Proc. of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1033–1040 (2006)

    Google Scholar 

  13. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)

    CrossRef  Google Scholar 

  14. Jamroga, W., Bulling, N.: A framework for reasoning about rational agents. In: Proc. of Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1–3 (2007)

    Google Scholar 

  15. Jamroga, W., van der Hoek, W., Wooldridge, M.J.: Intentions and Strategies in Game-Like Scenarios. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol. 3808, pp. 512–523. Springer, Heidelberg (2005)

    CrossRef  Google Scholar 

  16. Padgham, L., Lambrix, P.: Formalisations of capabilities for BDI-agents. Autonomous Agents and Multi-Agent Systems 10(3), 249–271 (2005)

    CrossRef  Google Scholar 

  17. Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Proc. of Principles of Knowledge Representation and Reasoning (KR), pp. 473–484 (1991)

    Google Scholar 

  18. Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proc. of Principles of Knowledge Representation and Reasoning (KR), pp. 438–449 (1992)

    Google Scholar 

  19. Schoppers, M.: Universal plans for reactive robots in unpredictable environments. In: Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI), pp. 1039–1046 (1987)

    Google Scholar 

  20. Walther, D., van der Hoek, W., Wooldridge, M.: Alternating-time temporal logic with explicit strategies. In: Conference on Theoretical Aspects of Rationality and Knowledge, pp. 269–278. ACM Press (2007), doi:10.1145/1324249.1324285

    Google Scholar 

  21. Yadav, N., Sardina, S.: Reasoning about agent programs using ATL-like logics (2012) Available from CoRR, http://arxiv.org/abs/1207.3874

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yadav, N., Sardina, S. (2012). Reasoning about Agent Programs Using ATL-Like Logics. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds) Logics in Artificial Intelligence. JELIA 2012. Lecture Notes in Computer Science(), vol 7519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33353-8_34

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33353-8_34

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33352-1

  • Online ISBN: 978-3-642-33353-8

  • eBook Packages: Computer ScienceComputer Science (R0)