Agent Coordination and Control through Logic Theories


Andrea Omicini, Enrico Denti, Antonio Natali

Topics in Artificial Intelligence, pages 439-450
Lecture Notes in Artificial Intelligence 992,  1995
Springer-Verlag
Marco Gori, Giovanni Soda (eds.)
4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95), Florence, Italy, 11-13 October 1995, Proceedings

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.

 @inproceedings{aclt-aiia95,
AcmId = {761273},
Author = {Omicini, Andrea and Denti, Enrico and Natali, Antonio},
Booktitle = {Topics in Artificial Intelligence},
Doi = {10.1007/3-540-60437-5_43},
Editor = {Gori, Marco and Soda, Giovanni},
Isbn = {978-3-540-60437-2},
Isbn-Online = {3-540-60437-5},
Isbn-10 = {978-3-540-47468-5},
Issn = {0302-9743},
Note = {4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95), Florence, Italy, 11--13~} # oct # {~1995, Proceedings},
Pages = {439--450},
Publisher = {Springer-Verlag},
ScopusId = {2-s2.0-84957673013},
Series = {LNAI},
Title = {Agent Coordination and Control through Logic Theories},
Url = {http://link.springer.com/10.1007/3-540-60437-5_43},
Volume = 992,
WosId = {A1995BF24X00043},
Year = 1995

Journals & Series

Publication

— authors

Andrea Omicini, Enrico Denti, Antonio Natali

— editors

Marco Gori, Giovanni Soda

— status

published

— sort

paper in proceedings

Venue

— volume

Topics in Artificial Intelligence

— series

Lecture Notes in Artificial Intelligence

— volume

992

— pages

439-450

— publication date

1995

URLs

original page

Identifiers

— DOI

10.1007/3-540-60437-5_43

— ACM

761273

— Scopus

2-s2.0-84957673013

— WoS / ISI

A1995BF24X00043

— print ISSN

0302-9743

— print ISBN

978-3-540-60437-2

— online ISBN

978-3-540-47468-5

— ISBN–10

3-540-60437-5

BibTeX

— BibTeX ID
aclt-aiia95
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY