Abstract
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark and we are going to see whether such a construction can be adopted in the context of mathematical fuzzy logic, a so far (apparently) unexplored journey. As a first step, we will characterise rational closure in the context of Propositional Gödel Logic.
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
Ansotegui, C., Bofill, M., Manyà, F., Villaret, M.: Building automated theorem provers for infinitely-valued logics with satisfiability modulo theory solvers. In: Proceedings of ISMVL 2012, pp. 25–30. IEEE Computer Society (2012)
Benferhat, S., Dubois, D., Prade, H.: Representing default rules in possibilistic logic. In: Proceedings of KR 1992, pp. 673–684. Morgan Kaufman (1992)
Benferhat, S., Dubois, D., Prade, H.: Nonmonotonic reasoning, conditional objects and possibility theory. Artificial Intelligence 92(1-2), 259–276 (1997)
Benferhat, S., Dubois, D., Prade, H.: Towards fuzzy default reasoning. In: Proceedings of NAFIPS 1999, pp. 23–27. IEEE Computer Society (1999)
Casini, G., Straccia, U.: Rational closure for defeasible description logics. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS (LNAI), vol. 6341, pp. 77–90. Springer, Heidelberg (2010)
de Dupin Saint-Cyr, F., Prade, H.: Possibilistic handling of uncertain default rules with applications to persistence modeling and fuzzy default reasoning. In: Proceedings of KR 2006, pp. 440–451. AAAI Press (2006)
Dubois, D., Prade, H.: Default reasoning and possibility theory. Artificial Intelligence Journal 35(2), 243–257 (1988)
Dubois, D., Mengin, J., Prade, H.: Possibilistic uncertainty and fuzzy features in description logic. A preliminary discussion. In: Capturing Intelligence: Fuzzy Logic and the Semantic Web. Elsevier (2006)
Dubois, D., Prade, H.: What are fuzzy rules and how to use them. Fuzzy Sets and Systems 84(2), 169–185 (1996)
de Dupin Saint-Cyr, F., Prade, H.: Handling uncertainty and defeasibility in a possibilistic logic setting. International Journal of Approximate Reasoning 49(1), 67–82 (2008)
Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.): Handbook of logic in artificial intelligence and logic programming: nonmonotonic reasoning and uncertain reasoning, vol. 3. Oxford University Press, Inc., New York (1994)
Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A minimal model semantics for nonmonotonic reasoning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 228–241. Springer, Heidelberg (2012)
Giordano, L., Olivetti, N., Gliozzi, V., Pozzato, G.L.: A minimal model semantics for rational closure. In: Proceedings of NMR 2012 (2012), http://www.dbai.tuwien.ac.at/NMR12/proceedings.html
Guller, D.: On the satisfiability and validity problems in the propositional Gödel logic. In: Madani, K., Dourado Correia, A., Rosa, A., Filipe, J. (eds.) Computational Intelligence. SCI, vol. 399, pp. 211–227. Springer, Heidelberg (2012)
Hähnle, R.: Advanced many-valued logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 2. Kluwer (2001)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer (1998)
Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44(1-2), 167–207 (1990)
Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence 55(1), 1–60 (1992)
Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics 6, 291–308 (2008)
Raha, S., Hossain, S.: Fuzzy set in default reasoning. In: Pal, N.R., Sugeno, M. (eds.) AFSS 2002. LNCS (LNAI), vol. 2275, pp. 27–33. Springer, Heidelberg (2002)
Raha, S., Ray, K.S.: Reasoning with vague default. Fuzzy Sets and Systems 91(3), 327–338 (1997)
Straccia, U.: A fuzzy description logic for the semantic web. In: Fuzzy Logic and the Semantic Web, Capturing Intelligence, ch. 4, pp. 73–90. Elsevier (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Casini, G., Straccia, U. (2013). Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2013. Lecture Notes in Computer Science, vol 8312. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45221-5_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-45221-5_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-45220-8
Online ISBN: 978-3-642-45221-5
eBook Packages: Computer ScienceComputer Science (R0)