Artículo

Bou, F.; Esteva, F.; Godo, L.; Rodriguez, R.O.; Vieira S.; Carvalho J.P.; Lesot M.-J.; Bouchon-Meunier B.; Kaymak U.; Yager R.R. "Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic" (2016) 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016. 611:123-135
Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

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 〈W, π〉, where W is a non-empty set of worlds and π: W → [0, 1] is a normalized possibility distribution on W. © Springer International Publishing Switzerland 2016.

Registro:

Documento: Artículo
Título:Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
Autor:Bou, F.; Esteva, F.; Godo, L.; Rodriguez, R.O.; Vieira S.; Carvalho J.P.; Lesot M.-J.; Bouchon-Meunier B.; Kaymak U.; Yager R.R.
Filiación:Artificial Intelligence Research Institute, IIIA - CSIC, Bellaterra, Spain
Departamento de Computación, FCEyN - UBA, Buenos Aires, Argentina
Palabras clave:Computer circuits; Information management; Information science; Knowledge based systems; Reconfigurable hardware; Semantics; Classical modal logic; Kripke frames; Possibilistic; Possibility distributions; Fuzzy logic
Año:2016
Volumen:611
Página de inicio:123
Página de fin:135
DOI: http://dx.doi.org/10.1007/978-3-319-40581-0_11
Título revista:16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016
Título revista abreviado:Commun. Comput. Info. Sci.
ISSN:18650929
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18650929_v611_n_p123_Bou

Referencias:

  • Banerjee, M., Dubois, D., A simple logic for reasoning about incomplete knowledge (2014) Int. J. Approximate Reasoning, 55 (2), pp. 639-653
  • Bou, F., Esteva, F., Godo, L., Rodríguez, R., On the minimum many-valued modal logic over a finite residuated lattice (2011) J. Logic Comput, 21 (5), pp. 739-790
  • Bou, F., Esteva, F., Godo, L., On possibilistic modal logics defined over MTLchains (2015) Petr Hájek on Mathematical Fuzzy Logic. Outstanding Contributions to Logic, 6, pp. 225-244. , Montagna, F. (ed.), Springer, Switzerland
  • Caicedo, X., Rodríguez, R., Standard Gödel modal logics (2010) Studia Logica, 94 (2), pp. 189-214
  • Caicedo, X., Rodríguez, R., Bi-modal Gödel modal logics (2015) J. Logic Comput, 25 (1), pp. 37-55
  • Dellunde, P., Godo, L., Marchioni, E., Extending possibilistic logic over Gödel logic (2011) Int. J. Approx. Reasoning, 52 (1), pp. 63-75
  • Dubois, D., Lang, J., Prade, H., Possibilistic logic (1994) Handbook of Logic in Artificial Intelligence and Logic Programming, Non Monotonic Reasoning and Uncertain Reasoning, 3, pp. 439-513. , Gabbay, et al. (ed.), Oxford UP
  • Dubois, D., Prade, H., Possibilistic logic: A retrospective and prospective view (2004) Fuzzy Sets Syst, 144, pp. 3-23
  • Dubois, D., Prade, H., Schockaert, S., Reasoning about uncertainty and explicit ignorance in generalized possibilistic logic (2014) Proc. ECAI 2014, pp. 261-266
  • Fitting, M., Many valued modal logics (1991) Fundamenta Informaticae, 15, pp. 325-354
  • Hájek, P., Metamathematics of Fuzzy Logic (1998) Trends in Logic, 4. , Kluwer, Dordrecht
  • Hájek, P., Harmancová, D., Esteva, F., Garcia, P., Godo, L., On modal logics for qualitative possibility in a fuzzy setting (1994) Proceeding of the 94 Uncertainty in Artificial Intelligence Conference (UAI 1994), pp. 278-285. , Morgan Kaufmann
  • Pietruszczak, A., Simplified Kripke style semantics for modal logics K45, KB4 and KD45 (2009) Bull. Sect. Logic, 38 (3-4), pp. 163-171A4 -

Citas:

---------- APA ----------
Bou, F., Esteva, F., Godo, L., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J.,..., Yager R.R. (2016) . Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic. 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016, 611, 123-135.
http://dx.doi.org/10.1007/978-3-319-40581-0_11
---------- CHICAGO ----------
Bou, F., Esteva, F., Godo, L., Rodriguez, R.O., Vieira S., Carvalho J.P., et al. "Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic" . 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016 611 (2016) : 123-135.
http://dx.doi.org/10.1007/978-3-319-40581-0_11
---------- MLA ----------
Bou, F., Esteva, F., Godo, L., Rodriguez, R.O., Vieira S., Carvalho J.P., et al. "Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic" . 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016, vol. 611, 2016, pp. 123-135.
http://dx.doi.org/10.1007/978-3-319-40581-0_11
---------- VANCOUVER ----------
Bou, F., Esteva, F., Godo, L., Rodriguez, R.O., Vieira S., Carvalho J.P., et al. Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic. Commun. Comput. Info. Sci. 2016;611:123-135.
http://dx.doi.org/10.1007/978-3-319-40581-0_11