A connection between similarity logic programming and gödel modal logic

Mostrar todas las versiones(2)

In this paper we relate two logical similarity-based approaches to approximate reasoning. One approach extends the framework of (propositional) classical logic programming by introducing a similarity relation in the alphabet of the language that allows for an extended unification procedure. The seco...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Blandi, L., Godo, L., Rodríguez, R.O.
Formato: CONF
Materias:
Logic Programming Gödel Logic
Similarity
Approximate reasoning
Kripke model
Modal logic
Possible worlds
Similarity relations
Fuzzy logic
Logic programming
Many valued logics
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_84765387_v_n_p775_Blandi
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_84765387_v_n_p775_Blandi
record_format dspace
spelling todo:paper_84765387_v_n_p775_Blandi2023-10-03T16:42:28Z A connection between similarity logic programming and gödel modal logic Blandi, L. Godo, L. Rodríguez, R.O. Logic Programming Gödel Logic Similarity Approximate reasoning Kripke model Modal logic Possible worlds Similarity Similarity relations Fuzzy logic Logic programming Many valued logics In this paper we relate two logical similarity-based approaches to approximate reasoning. One approach extends the framework of (propositional) classical logic programming by introducing a similarity relation in the alphabet of the language that allows for an extended unification procedure. The second approach is a many-valued modal logic approach where 3p is understood as approximately p. Here, the similarity relations are introduced at the level of the Kripke models where possible worlds can be similar to some extent. We show that the former approach can be expressed inside the latter. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_84765387_v_n_p775_Blandi
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Logic Programming Gödel Logic
Similarity
Approximate reasoning
Kripke model
Modal logic
Possible worlds
Similarity
Similarity relations
Fuzzy logic
Logic programming
Many valued logics
spellingShingle Logic Programming Gödel Logic
Similarity
Approximate reasoning
Kripke model
Modal logic
Possible worlds
Similarity
Similarity relations
Fuzzy logic
Logic programming
Many valued logics
Blandi, L.
Godo, L.
Rodríguez, R.O.
A connection between similarity logic programming and gödel modal logic
topic_facet Logic Programming Gödel Logic
Similarity
Approximate reasoning
Kripke model
Modal logic
Possible worlds
Similarity
Similarity relations
Fuzzy logic
Logic programming
Many valued logics
description In this paper we relate two logical similarity-based approaches to approximate reasoning. One approach extends the framework of (propositional) classical logic programming by introducing a similarity relation in the alphabet of the language that allows for an extended unification procedure. The second approach is a many-valued modal logic approach where 3p is understood as approximately p. Here, the similarity relations are introduced at the level of the Kripke models where possible worlds can be similar to some extent. We show that the former approach can be expressed inside the latter.
format CONF
author Blandi, L.
Godo, L.
Rodríguez, R.O.
author_facet Blandi, L.
Godo, L.
Rodríguez, R.O.
author_sort Blandi, L.
title A connection between similarity logic programming and gödel modal logic
title_short A connection between similarity logic programming and gödel modal logic
title_full A connection between similarity logic programming and gödel modal logic
title_fullStr A connection between similarity logic programming and gödel modal logic
title_full_unstemmed A connection between similarity logic programming and gödel modal logic
title_sort connection between similarity logic programming and gödel modal logic
url http://hdl.handle.net/20.500.12110/paper_84765387_v_n_p775_Blandi
work_keys_str_mv AT blandil aconnectionbetweensimilaritylogicprogrammingandgodelmodallogic
AT godol aconnectionbetweensimilaritylogicprogrammingandgodelmodallogic
AT rodriguezro aconnectionbetweensimilaritylogicprogrammingandgodelmodallogic
AT blandil connectionbetweensimilaritylogicprogrammingandgodelmodallogic
AT godol connectionbetweensimilaritylogicprogrammingandgodelmodallogic
AT rodriguezro connectionbetweensimilaritylogicprogrammingandgodelmodallogic
_version_ 1807323968632258560

Ejemplares similares