Skip to main content
SpringerLink
Log in

An Agent Language with Destructive Assignment and Model-Theoretic Semantics

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2010)

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

Included in the following conference series:

Abstract

In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive assignment to manipulate a database, which represents the current state of the environment. The language builds upon the ALP combination of logic programs, to represent an agent’s beliefs, and integrity constraints, to represent the agent’s goals. Logic programs are used to define macro-actions, intensional predicates, and plans to reduce goals to sub-goals including actions. Integrity constraints are used to represent reactive rules, which are triggered by the current state of the database and recent agent actions and external events. The execution of actions and the assimilation of observations generate a sequence of database states. In the case of the successful solution of all goals, this sequence, taken as a whole, determines a model that makes the agent’s goals and beliefs alltrue.

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. Alferes, J., Leite, J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic Updates of Non-Monotonic Knowledge Bases. J. of Logic Programming 45(1-3), 43–70 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  2. Bonner, Kifer, M.: Transaction logic programming. In: Warren, D.S. (ed.) Logic Programming: Proc. of the 10th International Conf., pp. 257–279 (1993)

    Google Scholar 

  3. Costantini, S., Tocchio, A.: About Declarative Semantics of Logic-Based Agent Languages. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 106–123. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.: A Common Semantics Basis for BDI Languages. In: Dastani, M.M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 124–139. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  5. van Emden, M., Kowalski, R.: The Semantics of Predicate Logic as a Programming Language. JACM 23(4), 733–742 (1976)

    Article  MATH  Google Scholar 

  6. Fisher, M.: A Survey of Concurrent METATEM - The Language and its Applications. LNCS, vol. 827. Springer, Heidelberg (1994)

    Google Scholar 

  7. Flesca, S., Greco, S.: Declarative Semantics for Active Rules. Theory and Practice of Logic Programming 1(1), 43–69 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  8. Fung, T.H., Kowalski, R.: The IFF Proof Procedure for Abductive Logic Programming. J. of Logic Programming (1997)

    Google Scholar 

  9. Kakas, T., Kowalski, R., Toni, F.: The Role of Logic Programming in Abduction. In: Handbook of Logic in Artificial Intelligence and Programming, vol. 5, pp. 235–324. Oxford University Press, Oxford (1998)

    Google Scholar 

  10. Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Computational Logic Foundations of KGP Agents. Journal of Artificial Intelligence Research 33, 285–348 (2008)

    MATH  MathSciNet  Google Scholar 

  11. Kowalski, R.: Predicate Logic as Programming Language. In: Proceedings IFIP Congress, Stockholm, pp. 569–574. North Holland Publishing Co., Amsterdam (1974)

    Google Scholar 

  12. Kowalski, R., Sadri, F.: From Logic Programming Towards Multi-agent Systems. Annals of Mathematics and Artificial Intelligence 25, 391–419 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  13. Kowalski, R., Sadri, F.: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. In: Proceedings of the Third International Conference on Web Reasoning and Rule Systems, Chantilly, Virginia, USA (2009)

    Google Scholar 

  14. Reiter, R.: Knowledge in Action. MIT Press, Cambridge (2001)

    MATH  Google Scholar 

  15. Thielscher, M.: FLUX: A Logic Programming Method for Reasoning Agents. Theory and Practice of Logic Programming 5(4-5), 533–565 (2005)

    Article  MATH  Google Scholar 

  16. Zaniolo, C.: A Unified Semantics for Active and Deductive Databases. In: Procs. 1993 Workshop on Rules in Database Systems, RIDS 1993, pp. 271–287. Springer, Heidelberg (1993)

    Google Scholar 

  17. Thielscher, M.: Integrating Action Calculi and AgentSpeak. In: Lin, F., Sattler, U. (eds.) Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Toronto (2010)

    Google Scholar 

  18. Hayashi, H., Tokura, S., Ozaki, F., Doi, M.: Background Sensing Control for Planning Agents Working in the Real World. International Journal of Intelligent Information and Database Systems 3(4), 483–501 (2009)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College London, 180 Queens Gate, London, SW7 2AZ

    Robert Kowalski & Fariba Sadri

Authors
  1. Robert Kowalski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fariba Sadri
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Clausthal University of Technology, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  2. Departamento de Informática, Universidade Nova de Lisboa, Faculdade de Ciências de Tecnologia, 2829-516, Caparica, Portugal

    João Leite

  3. NICTA,, P.O. Box 6030, 4067, St Lucia, QLD, Australia

    Guido Governatori

  4. University of Luxembourg, Campus Kirchberg, 6, rue, Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Wojtek Jamroga

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kowalski, R., Sadri, F. (2010). An Agent Language with Destructive Assignment and Model-Theoretic Semantics. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2010. Lecture Notes in Computer Science(), vol 6245. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14977-1_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14977-1_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14976-4

  • Online ISBN: 978-3-642-14977-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation