Agent Coordination and Control through Logic Theories

   page       BibTeX_logo.png   
Marco Gori, Giovanni Soda (a cura di)
Topics in Artificial Intelligence, pp. 439–450
Lecture Notes in Artificial Intelligence 992
Springer-Verlag
1995

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.

presentazione di riferimento
page_white_powerpointAgent Coordination and Control through Logic Theories (AI*IA'95, 11/10/1995) — Enrico Denti (Andrea Omicini, Enrico Denti, Antonio Natali)
evento origine
rivista o collana
book Lecture Notes in Computer Science (LNCS)
funge da
pubblicazione di riferimento per presentazione
page_white_powerpointAgent Coordination and Control through Logic Theories (AI*IA'95, 11/10/1995) — Enrico Denti (Andrea Omicini, Enrico Denti, Antonio Natali)