Advertisement

Logic Tuple Spaces for the Coordination of Heterogenous Agents

Chapter
Part of the Applied Logic Series book series (APLS, volume 3)

Abstract

This work presents ACLT, a coordination model aimed to combine and coordinate heterogeneous agents by means of a communication abstraction inspired to the Linda model, but rooted in a logic framework. The twofold interpretation of a logic tuple space both as a message and as a knowledge repository naturally induces a categorization of agents as logic and non-logic. While non-logic agents adopt the basic Linda kernel, logic agents exploit the full power of the ACLT model, which supports deduction and reasoning over the content of the tuple space. By providing a conceptual framework where logic inference and temporal tuple space evolution coexist, ACLT provides a suitable environment to build heterogeneous multi-agent systems, where hybrid agent architectures can be designed, integrating reasoning capabilities together with reactive behaviours.

Keywords

Logic Theory Logic Inference Reactive Behaviour Coordination Model Heterogeneous Agent 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.-P. Banâtre and D. le Métayer. The Gamma model and its discipline of programming. Science of Computer Programming, 15(l):55–77, November 1990.CrossRefzbMATHMathSciNetGoogle Scholar
  2. L. Borrman and M. Herdieckerhoff. Linda integriert in Modula-2 - ein Sprachkonzept für portable parallele Software. In Proceedings 10 GI/ITG-Fachtagung Architektur und Betrieb von Rechensystemen, Paderborn, March 1988.Google Scholar
  3. K.A. Bowen and R.A. Kowalski. Amalgamating Language and Metalanguage in Logic Programming, pages 153–172. Academic Press, 1982. Clark, Tarnlund (eds.).Google Scholar
  4. A. Brogi and P. Ciancarini. The concurrent language, Shared Prolog. ACM Transactions on Programming Languages and Systems, 13(1), January 1991.Google Scholar
  5. P. Ciancarini. Coordinating rule-ba-sed software processes with ESP. Technical Report UBLCS-93–8, Laboratory of Computer Science, University of Bologna, April 1993.Google Scholar
  6. P. Ciancarini. Distributed programming with logic tuple spaces. New Generation Computing, 12, 1994.Google Scholar
  7. R. Englemore and T. Morgan, editors. Blackboard Systems. Addison-Wesley, Reading, Mass., 1988.Google Scholar
  8. D. Gelernter. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1), January 1985.Google Scholar
  9. D. Gelernter. Multiple tuple spaces in Linda. In Proceedings of PARLE, volume 365 of LNCS, 1989.Google Scholar
  10. D.Gelernter and N. Carriero. Coordination languages and their significance. Communications of the ACM, 35(2):97–107, February 1992.CrossRefGoogle Scholar
  11. D.M. Lyons and A.J. Hendriks. Planning for reactive robot behavior. In Proc. of the IEEE Int. Conf. on Robotics and Automation, Nice, France, May 1992.Google Scholar
  12. A. Omicini, E. Denti, and A. Natali. Agent coordination and control through logic theories. In Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence, AI*I A ’95, volume 992 of LNAI, pages 439–450, Firenze, Italy, October 11–13 1995. Springer-Verlag.Google Scholar
  13. A. Porto and V. Vasconcelos. Truth and action osmosis (the Tao computation model). http://theory.doc.ic.ac.uk/theory/COORDINATION, January 17 1995.Google Scholar
  14. R. Reiter. Non-monotonic reasoning. Ann. Rev. Computer Science, 2:147–186, 1987.CrossRefMathSciNetGoogle Scholar
  15. Scientific Computing Associates, Inc., New Haven, CT, USA. C-Linda Reference Manual, 1990.Google Scholar
  16. Swedish Institute of Computer Science, Kista, Sweden. SICStus Prolog User’s Manual, 1994Google Scholar
  17. F. Zanichelli, S. Caselli, A. Natali, and A. Omicini. A multi-agent framework and programming environment for autonomous robotics. In Proceedings of the International Conference on Robotics and Automation (ICRA’94), pages 3501–3506, S. Diego, CA, USA, May 1994Google Scholar

Copyright information

© Springer Science+Business Media New York 1996

Authors and Affiliations

  1. 1.LIA - DEISUniversità di BolognaItalia

Personalised recommendations