Analytic Modal Revision For Multi-Agent Systems

Di Giusto, Paolo and Governatori, Guido (1999). Analytic Modal Revision For Multi-Agent Systems. In: Pedro Barahona and Jose Julio Alferes, 9th Portuguese Conference on Artificial Intelligence, Evora, Portugal, (282-296). September 1999.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
UQ9704_OA.pdf agents8.pdf application/pdf 120.19KB 623
Author Di Giusto, Paolo
Governatori, Guido
Title of paper Analytic Modal Revision For Multi-Agent Systems
Conference name 9th Portuguese Conference on Artificial Intelligence
Conference location Evora, Portugal
Conference dates September 1999
Publication Year 1999
Sub-type Fully published paper
Open Access Status File (Publisher version)
Editor Pedro Barahona
Jose Julio Alferes
Start page 282
End page 296
Total pages 15
Abstract/Summary We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally oriented revision procedure for modal knowledge bases. This procedure is based on a labelled tableaux calculi supplemented with a formalism to record the dependencies of the formulae. The dependencies are then used to reconstruct the minimal inconsistent sets, and the sub-formulae responsible for the inconsistencies are revised according to well-defined chains of modal functions.
Subjects 280402 Mathematical Logic and Formal Languages
Keyword Multi-agent
Belief revision
Q-Index Code EX
Q-Index Status Provisional Code
Institutional Status Unknown
Additional Notes Copyright (c) 1999, Springer-Verlag The original publication is available at Paolo Di Giusto, Guido Governatori, Analytic Modal Revision for Multi-agent Systems, Lecture Notes in Computer Science, Volume 1695, Jan 1999, Pages 282 - 296

Document type: Conference Paper
Collection: School of Mathematics and Physics
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Mon, 21 Mar 2005, 10:00:00 EST by Guido Governatori on behalf of Scholarly Communication and Digitisation Service