Skip to main content
Springer Nature Link
Log in

Towards a unified agent architecture that combines rationality with reactivity

  • Invited Lecture
  • Conference paper
  • First Online:
Logic in Databases (LID 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1154))

Included in the following conference series:

  • 159 Accesses

Abstract

In this paper we analyse the differences between rational and reactive agent architectures, and propose a uniform agent architecture that aims to capture both as special cases. For this purpose we employ a proof procedure, to control the agent's behaviour, which combines definitions with integrity constraints. The proof procedure is general, and has been shown elsewhere to unify abductive logic programming, constraint logic programming and semantic query optimisation. We also employ a resource-bounded formalisation of the proof procedure which allows the agent's reasoning to be interrupted and resumed, so that observations and actions can be performed.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Rodney A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1):14–23, 1986.

    Google Scholar 

  2. Rodney A. Brooks. Intelligence without reason. In J. Mylopolous and R. Reiter, editors, Proceedings of IJCAI 91, pages 569–595. Morgan Kaufmann Publishers, 1991.

    Google Scholar 

  3. Tze Ho Fung. A modified abductive framework. In N. Fuchs and G. Gottlob, editors, Proceedings of Logic Programming Workshop, 1994.

    Google Scholar 

  4. Tze Ho Fung. Abduction by deduction. PhD thesis, Imperial College, University of London, 1996.

    Google Scholar 

  5. Dov Gabbay. The declarative past and imperative future. In Howard Barringer, editor, Proccedings of the Colloquium on Temporal Logic and Specifications, LNCS, Vol. 398, pages 409–448. Springer-Verlag, 1989.

    Google Scholar 

  6. Dov Gabbay, Howard Barringer, Michael Fisher, Graham Gough, and Richard P. Owens. MetateM: A framework for programming in temporal logic. In REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Mook, Netherlands. LNCS Vol. 430, pages 94–129. Springer-Verlag, 1989.

    Google Scholar 

  7. Dov Gabbay and Uwe Reyle. N-prolog: An extension of prolog with hypothetical implications I. Journal of Logic Programming, 1:319–355, 1984.

    Google Scholar 

  8. Robert A. Kowalski. Using meta-logic to reconcile reactive with rational agents. In K. Apt and F. Turini, editors, Meta-Logic and Logic Programming, pages 227–242. MIT Press, 1995.

    Google Scholar 

  9. Robert A. Kowalski, Francesca Toni, and Gerhard Wetzel. Towards a declarative and efficient glass-box clp language. In N. Fuchs and G. Gottlob, editors, Proceedings of Logic Programming Workshop (WLP'94), 1994.

    Google Scholar 

  10. Robert A. Kowalski, Gerhard Wetzel, and Francesca Toni. A unifying framework for alp, clp and sqo. Technical report, Department of Computing, Imperial College, London, April 1996.

    Google Scholar 

  11. John W. Lloyd and John C. Shepherdson. Partial evaluation in logic programming. Journal of Logic Programming, 11:217–242, 1991.

    Google Scholar 

  12. Yoav Shoham. Agent-oriented programming. AI Journal, 60(1), pages 51–92, 1993.

    Google Scholar 

  13. Gerhard Wetzel, Robert A. Kowalski, and Francesca Toni. A theorem-proving approach to clp. In Geske U., Krall A., (eds), Workshop Logische Programmierung, volume 270 of GMD-Studien, pages 63–72. Bonn, Germany, 1995.

    Google Scholar 

  14. Jennifer Widom. Deductive and active databases: two paradigms or ends of a spectrum. In N.W. Paton and H. Williams, editors, Rules in Database Systems: Proceedings of the 1st International Workshop, pages 306–315. Springer-Verlag, 1994.

    Google Scholar 

  15. Carlo Zaniolo. A unified semantics for active and deductive databases. In N.W. Paton and H. Williams, editors, Rules in Database Systems: Proceedings of the 1st International Workshop, pages 271–287. Springer-Verlag, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College, 180 Queen's Gate, SW7 2BZ, London, UK

    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

Dino Pedreschi Carlo Zaniolo

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kowalski, R., Sadri, F. (1996). Towards a unified agent architecture that combines rationality with reactivity. In: Pedreschi, D., Zaniolo, C. (eds) Logic in Databases. LID 1996. Lecture Notes in Computer Science, vol 1154. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031739

Download citation

  • DOI: https://doi.org/10.1007/BFb0031739

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61814-0

  • Online ISBN: 978-3-540-70683-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation