Skip header navigation

University of Stirling

×

Conference Proceeding

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

Citation
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. http://centria.di.fct.unl.pt/~clima/; https://doi.org/10.1007/978-3-540-30200-1_9

Abstract
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.

StatusPublished
Author(s)Bracciali, Andrea; Torroni, Paolo
Title of seriesLecture Notes in Computer Science
Number in series3259
Publication date31/12/2004
Related URLshttp://centria.di.fct.unl.pt/~clima/
PublisherSpringer
Publisher URLhttp://centria.di.fct.unl.pt/~clima/
Place of publicationBerlin Heidelberg
ISSN of series0302-9743
ISBN3-540-24010-1
Conference4th International Workshop, CLIMA IV
Conference locationFort Lauderdale, FL, USA
Dates
Scroll back to the top