Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Bibliography
R. Englemore, T. Morgan (eds.). Blackboard Systems. Addison-Wesley, Reading, Mass., 1988.
D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1), January 1985.
P. Mello, A. Natali. Extending Prolog with Modularity, Concurrency and Metarules. New Generation Computing, 10(4), August 1992.
A. Brogi, P. Ciancarini. The Concurrent Language, Shared Prolog. ACM Transactions on Programming Languages and Systems, 13(1), January 1991.
D. Gelernter. Multiple Tuple Spaces in Linda. Proceedings of PARLE, 1989, LNCS 365.
Swedish Institute of Computer Science. SICStus Prolog User's Manual. Kista, Sweden, 1994.
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.
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.
P. Ciancarini. Distributed Programming with Logic Tuple Spaces. New Generation Computing, 12, 1994.
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.
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.
R.A. Kowalski. Logic without Model Theory. 1993. Found at the following WWW location: http://src.doc.ic.ac.uk/ic.doc.lp/Kowalski/models.ps.gz.
R.A. Kowalski. Logic for Problem Solving. North Holland Elsevier, 1979.
R. Reiter. Non-monotonic Reasoning. In Ann. Rev. Computer Science, 1987, 2, pp. 147–186.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Omicini, A., Denti, E., Natali, A. (1995). Agent coordination and control through logic theories. In: Gori, M., Soda, G. (eds) Topics in Artificial Intelligence. AI*IA 1995. Lecture Notes in Computer Science, vol 992. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60437-5_43
Download citation
DOI: https://doi.org/10.1007/3-540-60437-5_43
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60437-2
Online ISBN: 978-3-540-47468-5
eBook Packages: Springer Book Archive