Conference Proceeding

A new framework for knowledge revision of abductive agents through their interaction


Bracciali A & Torroni P (2004) A new framework for knowledge revision of abductive agents through their interaction. In: Carbonell J & Siekmann J (eds.) Computational Logic in Multi-Agent Systems. Lecture Notes in Computer Science, 3259. 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, 06.01.2004-07.01.2004. Berlin Heidelberg: Springer, pp. 159-177.;

In this paper we discuss the design of a knowledge revision framework for abductive reasoning agents, based on interaction. This involves issues such as: how to exploit knowledge multiplicity to find solutions to problems that agents may not individually solve, what information must be passed or requested, how agents can take advantage of the answers that they obtain, and how they can revise their reasoning process as a consequence of interacting with each other. We describe a novel negotiation framework in which agents will be able to exchange not only abductive hypotheses but also meta-knowledge, which, in particular in this paper, is understood as agents' integrity constraints. We formalise some aspects of such a framework, by introducing an algebra of integrity constraints, aimed at formally supporting the updating/revising process of the agent knowledge.

Title of seriesLecture Notes in Computer Science
Number in series3259
Publication date31/12/2004
Related URLs
Publisher URL
Place of publicationBerlin Heidelberg
ISSN of series0302-9743
Conference4th International Workshop, CLIMA IV
Conference locationFort Lauderdale, FL, USA