Agent coordination and control through logic theories

  • Andrea Omicini
  • Enrico Denti
  • Antonio Natali
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 992)


This work describes an agent interaction model (ACLT, Agent Communicating through Logic Theories) rooted in the concept of logic theory. ACLT agents and their behaviour are conceived as inferential as well as procedural activities within a multiple theory space. The communication unit (CU) abstraction is exploited, subsuming traditional communication models (both shared memory and message passing) based on explicit and extensional knowledge, while allowing agents to exploit partial/incomplete knowledge through deduction. Agent synchronization is reconducted to the concept of theory evolution, by allowing agents to wait for theory modification until facts can be deduced from a CU. Agent cooperation/competition is re-interpreted in terms of knowledge generation/consumption. A coherent notion of logic consequence in a time-dependent environment is proposed. As a result, the traditional dichotomy between reactive and symbolic systems is here exploited as a feature rather than a problem, leading to an integration of behavioural and planning-based approaches.


Logic Program Multiagent System Mouse Agent Logic Theory Predicate Symbol 
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.
    R. Englemore, T. Morgan (eds.). Blackboard Systems. Addison-Wesley, Reading, Mass., 1988.Google Scholar
  2. 2.
    D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1), January 1985.Google Scholar
  3. 3.
    P. Mello, A. Natali. Extending Prolog with Modularity, Concurrency and Metarules. New Generation Computing, 10(4), August 1992.Google Scholar
  4. 4.
    A. Brogi, P. Ciancarini. The Concurrent Language, Shared Prolog. ACM Transactions on Programming Languages and Systems, 13(1), January 1991.Google Scholar
  5. 5.
    D. Gelernter. Multiple Tuple Spaces in Linda. Proceedings of PARLE, 1989, LNCS 365.Google Scholar
  6. 6.
    Swedish Institute of Computer Science. SICStus Prolog User's Manual. Kista, Sweden, 1994.Google Scholar
  7. 7.
    E. Denti, A. Natali, A. Omicini. Moving Prolog Toward Objects. In E. Tick, G. Succi (eds.), Implementations of Logic Programming Systems, Kluwer, Dordrecht (NL) 1994. pp. 89–102.Google Scholar
  8. 8.
    A. Omicini, A. Natali. Object-Oriented Computations in Logic Programming. In M. Tokoro, R. Pareschi (eds.), Object-Oriented Programming. LNCS 821. New York, Springer-Verlag 1994, pp. 194–212.Google Scholar
  9. 9.
    P. Ciancarini. Distributed Programming with Logic Tuple Spaces. New Generation Computing, 12, 1994.Google Scholar
  10. 10.
    F. Zanichelli, S. Caselli, A. Natali, A. Omicini. A Multi-Agent Framework and Programming Environment for Autonomous Robotics. Proceedings of the International Conference on Robotics and Automation, ICRA '94, S. Diego, May 1994.Google Scholar
  11. 11.
    E. Denti, A. Natali, A. Omicini, F. Zanichelli. Robot Control Systems as Contextual Logic Programs. In C. Beierle, L. Plümer (eds.), Logic Programming: Formal Methods and Practical Applications. Elsevier, 1994.Google Scholar
  12. 12.
    R.A. Kowalski. Logic without Model Theory. 1993. Found at the following WWW location: Scholar
  13. 13.
    R.A. Kowalski. Logic for Problem Solving. North Holland Elsevier, 1979.Google Scholar
  14. 14.
    R. Reiter. Non-monotonic Reasoning. In Ann. Rev. Computer Science, 1987, 2, pp. 147–186.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Andrea Omicini
    • 1
  • Enrico Denti
    • 1
  • Antonio Natali
    • 1
  1. 1.Dipartimento di Elettronica, Informatica e SistemisticaUniversità degli Studi di BolognaItaly

Personalised recommendations