Towards a unified agent architecture that combines rationality with reactivity

  • Robert Kowalski
  • Fariba Sadri
Invited Lecture
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1154)


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.


Logic Program Logic Programming Goal Statement Integrity Constraint Horn Clause 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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. 3.
    Tze Ho Fung. A modified abductive framework. In N. Fuchs and G. Gottlob, editors, Proceedings of Logic Programming Workshop, 1994.Google Scholar
  4. 4.
    Tze Ho Fung. Abduction by deduction. PhD thesis, Imperial College, University of London, 1996.Google Scholar
  5. 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. 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. 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. 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. 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. 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. 11.
    John W. Lloyd and John C. Shepherdson. Partial evaluation in logic programming. Journal of Logic Programming, 11:217–242, 1991.Google Scholar
  12. 12.
    Yoav Shoham. Agent-oriented programming. AI Journal, 60(1), pages 51–92, 1993.Google Scholar
  13. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Robert Kowalski
    • 1
  • Fariba Sadri
    • 1
  1. 1.Department of ComputingImperial CollegeLondonUK

Personalised recommendations