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 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
