Abstract
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 formalismto 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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alchourróon, C.E., Gärdenfors, P., and Makinson, M. (1985): On the logic of theory change: Partial meet contraction and revision functions, The Journal of Symbolic Logic, 50: 510–530.
Artosi, A., Benassi, P., Governatori, G., and Rotolo, A. (1996): Labelled Proofs for Quantified Modal Logic. In J.J. Alferes, L. M. Pereira, and E. Orlowska (eds.) Logics in Artificial Intelligence, Springer-Verlag, Berlin: 70–86.
Artosi, A., Governatori, G., and Sartor, G., (1996): Towards a Computational Treatment of Deontic Defeasibility. In M. Brown and J. Carmo (eds). Deontic Logic, Agency and Normative Systems. Springer-Verlag, Berlin: 27–46.
Boutilier, C.: (1996) Iterated Revision and Minimal Change of Conditional Beliefs, Journal of Philosophical Logic, 25: 263–305.
Chellas, B.F. (1980): Modal Logic: An Introduction, Cambridge University Press
Fitting, M., (1983): Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht.
Fuhrmann, A. (1991): Theory Contraction through Base Revision, Journal of Philosophical Logic, 20: 175–203.
Fuhrmann, A. and Hansson, S.O. (1994): A Survey of Multiple Contractions, The Journal of Logic, Language and Information 3: 39–75.
Hansson, S.O. (1992a): In defense of Base Contraction, Synthese, 91: 239–245.
Hughes, G. and Cresswell, M. (1996). A New Introduction to Modal Logic, Routledge, London.
Katsuno, H. and Mendelzon, A.O. (1992): On the Difference between updating a Knowledge Base and revising it, in Gärdenfors, P. (ed.), Belief Revision, Cambridge University Press.
Van Linder, B., Van der Hoek, W. and Meyer, J.-J. C. (1997): Seeing is Believing. And So Are Hearing and Jumping, Journal of Logic, Language and Information, 6: 33–61.
Makinson, D. (1989): General theory of cumulative inference, in Reinfrank, M. et al. (eds), Non-Monotonic Reasoning — Proceedings of the 2nd International Workshop, Springer.
Nebel, B. (1992): Syntax Based Approaches to Belief Revision, in Gärdenfors, P. (ed.), Belief Revision, Cambridge University Press.
Tennant, N. (1994): Changing the Theory of Theory Change: Towards a Computational Approach, British Journal for the Philosophy of Science, 45: 865–897.
Tennant, N. (1997): On Having Bad Contractions, or: No Room for Recovery, Journal of Applied Non-Classical Logics, 7: 241–265.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Di Giusto, P., Governatori, G. (1999). Analytic Modal Revision for Multi-agent Systems. In: Barahona, P., Alferes, J.J. (eds) Progress in Artificial Intelligence. EPIA 1999. Lecture Notes in Computer Science(), vol 1695. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48159-1_20
Download citation
DOI: https://doi.org/10.1007/3-540-48159-1_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66548-9
Online ISBN: 978-3-540-48159-1
eBook Packages: Springer Book Archive