×

Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic. (English) Zbl 1455.03027

Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 123-135 (2016).
Summary: In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued Gödel counterpart of the classical modal logic KD45. More precisely, we characterize KD45(G) as the set of valid formulae of the class of possibilistic Gödel Kripke Frames \(\langle W,\pi\rangle\), where \(W\) is a non-empty set of worlds and \(\pi:W\rightarrow[0,1]\) is a normalized possibility distribution on \(W\).
For the entire collection see [Zbl 1385.68004].

MSC:

03B52 Fuzzy logic; logic of vagueness
03B45 Modal logic (including the logic of norms)
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Banerjee, M., Dubois, D.: A simple logic for reasoning about incomplete knowledge. Int. J. Approximate Reasoning 55(2), 639-653 (2014) · Zbl 1316.68151 · doi:10.1016/j.ijar.2013.11.003
[2] Bou, F., Esteva, F., Godo, L., Rodríguez, R.: On the minimum many-valued modal logic over a finite residuated lattice. J. Logic Comput. 21(5), 739-790 (2011) · Zbl 1252.03040 · doi:10.1093/logcom/exp062
[3] Bou, F., Esteva, F., Godo, L.: On possibilistic modal logics defined over MTL-chains. In: Montagna, F. (ed.) Petr Hájek on Mathematical Fuzzy Logic. Outstanding Contributions to Logic, vol. 6, pp. 225-244. Springer, Switzerland (2015) · Zbl 1372.03039
[4] Caicedo, X., Rodríguez, R.: Standard Gödel modal logics. Studia Logica 94(2), 189-214 (2010) · Zbl 1266.03030 · doi:10.1007/s11225-010-9230-1
[5] Caicedo, X., Rodríguez, R.: Bi-modal Gödel modal logics. J. Logic Comput. 25-1, 37-55 (2015) · Zbl 1371.03035 · doi:10.1093/logcom/exs036
[6] Dellunde, P., Godo, L., Marchioni, E.: Extending possibilistic logic over Gödel logic. Int. J. Approx. Reasoning 52(1), 63-75 (2011) · Zbl 1228.03008 · doi:10.1016/j.ijar.2010.08.014
[7] Dubois, D., Lang, J., Prade, H.: Possibilistic logic, In: Gabbay, et al. (ed.) Handbook of Logic in Artificial Intelligence and Logic Programming, Non monotonic Reasoning and Uncertain Reasoning, vol. 3, pp. 439-513. Oxford UP (1994) · Zbl 0804.03017
[8] Dubois, D., Prade, H.: Possibilistic logic: a retrospective and prospective view. Fuzzy Sets Syst. 144, 3-23 (2004) · Zbl 1076.68084 · doi:10.1016/j.fss.2003.10.011
[9] Dubois, D., Prade, H., Schockaert, S.: Reasoning about uncertainty and explicit ignorance in generalized possibilistic logic. Proc. ECAI 2014, 261-266 (2014) · Zbl 1366.03211
[10] Fitting, M.: Many valued modal logics. Fundamenta Informaticae 15, 325-254 (1991) · Zbl 0745.03018
[11] Hájek, P.: Metamathematics of Fuzzy Logic. Trends in Logic, vol. 4. Kluwer, Dordrecht (1998) · Zbl 0937.03030
[12] Hájek, P., Harmancová, D., Esteva, F., Garcia, P., Godo, L.: On modal logics for qualitative possibility in a fuzzy setting. In: Proceeding of the 94 Uncertainty in Artificial Intelligence Conference (UAI 1994), pp. 278-285. Morgan Kaufmann (1994)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.