Abstract
We slightly improve on characterization results already in the literature for base revision. We show that consistency-based partial meet revision operators can be axiomatized for any sentential logic \(\mathcal{S}\) satisfying finitarity and monotonicity conditions (neither the deduction theorem nor supraclassicality are required to hold in \(\mathcal{S}\)). A characterization of limiting cases of revision operators, full meet and maxichoice, is also offered. In the second part of the paper, as a particular case, we focus on the class of graded fuzzy logics and distinguish two types of bases, naturally arising in that context, exhibiting different behavior.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alchourrón, C., Gärdenfors, P., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. The Journal of Symbolic Logic 50, 510–530 (1985)
Alchourrón, C., Makinson, D.: On the Logic of Theory Change: Contraction functions and their associated revision functions. Theoria 48, 14–37 (1982)
Benferhat, S., Dubois, D., Prade, H.: Some syntactic approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study. Studia Logica 58, 17–45 (1997)
Booth, R., Richter, E.: On Revising Fuzzy Belief Bases. Studia Logica 80, 29–61 (2005)
Esteva, F., Gispert, J., Godo, L., Noguera, C.: Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results. Fuzzy Sets and Systems 185, 597–618 (2007)
Font, J.M., Jansana, R.: A General Algebraic Semantics for Sentential Logics. Lecture Notes in Logic, vol. 7. Springer, Heidelberg (1996)
Gerla, G.: Fuzzy Logic: Mathematical Tools for Approximate Reasoning. In: Trends in Logic, vol. 11, Kluwer, Dordrecht (2001)
Hájek, P.: Metamathematics of Fuzzy Logic. In: Trends in Logic, vol. 4, Kluwer, Dordrecht (1998)
Hansson, S.: Reversing the Levi Identity. J. of Phil. Logic 22, 637–699 (1993)
Hansson, S.: A Textbook of Belief Dynamics. Kluwer, Dordrecht (1999)
Hansson, S., Wassermann, R.: Local change. Studia Logica 70, 49–76 (2002)
Nebel, B.: Base Revision Operations and Schemes: Semantics, Representation and Complexity. In: 11th European Conference on Artificial Intelligence, ECAI (1994)
Pavelka, J.: On fuzzy logic I, II, III. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 25, 45–52, 119–134, 447–464 (1979)
Peppas, P.: Belief Revision. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier, Amsterdam (2007)
Zhang, D., Foo, N.: Infinitary Belief Revision. J. of Phil. Logic 30, 525–570 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pardo, P., Dellunde, P., Godo, L. (2010). Base Belief Change for Finitary Monotonic Logics. In: Meseguer, P., Mandow, L., Gasca, R.M. (eds) Current Topics in Artificial Intelligence. CAEPIA 2009. Lecture Notes in Computer Science(), vol 5988. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14264-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-14264-2_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14263-5
Online ISBN: 978-3-642-14264-2
eBook Packages: Computer ScienceComputer Science (R0)