Logical approaches to fuzzy similarity-based reasoning: An overview
The aim of this paper is to survey a class of logical formalizations of similarity-based reasoning models where similarity is understood as a graded notion of truthlikeness. We basically identify two different kinds of logical approaches that have been used to formalize fuzzy similarity reasoning: s...
Guardado en:
Autores principales: | , |
---|---|
Formato: | SER |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_02541971_v504_n_p75_Godo |
Aporte de: |
id |
todo:paper_02541971_v504_n_p75_Godo |
---|---|
record_format |
dspace |
spelling |
todo:paper_02541971_v504_n_p75_Godo2023-10-03T15:11:31Z Logical approaches to fuzzy similarity-based reasoning: An overview Godo, L. Rodríguez, R.O. The aim of this paper is to survey a class of logical formalizations of similarity-based reasoning models where similarity is understood as a graded notion of truthlikeness. We basically identify two different kinds of logical approaches that have been used to formalize fuzzy similarity reasoning: syntacticelly-oriented approaches based on a notion of approximate proof, and semantically-oriented approaches based on several notions of approximate entailments. In particular, for these approximate entailments we provide four different formalisations in terms of suitable systems of modal and conditional logics, including for each class a system of graded operators with classical semantics, as well as a system with many-valued operators. Finally, we also explore some nonmonotonic issues of similarity-based reasoning. © 2008, Springer International Publishing. All rights reserved. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_02541971_v504_n_p75_Godo |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
description |
The aim of this paper is to survey a class of logical formalizations of similarity-based reasoning models where similarity is understood as a graded notion of truthlikeness. We basically identify two different kinds of logical approaches that have been used to formalize fuzzy similarity reasoning: syntacticelly-oriented approaches based on a notion of approximate proof, and semantically-oriented approaches based on several notions of approximate entailments. In particular, for these approximate entailments we provide four different formalisations in terms of suitable systems of modal and conditional logics, including for each class a system of graded operators with classical semantics, as well as a system with many-valued operators. Finally, we also explore some nonmonotonic issues of similarity-based reasoning. © 2008, Springer International Publishing. All rights reserved. |
format |
SER |
author |
Godo, L. Rodríguez, R.O. |
spellingShingle |
Godo, L. Rodríguez, R.O. Logical approaches to fuzzy similarity-based reasoning: An overview |
author_facet |
Godo, L. Rodríguez, R.O. |
author_sort |
Godo, L. |
title |
Logical approaches to fuzzy similarity-based reasoning: An overview |
title_short |
Logical approaches to fuzzy similarity-based reasoning: An overview |
title_full |
Logical approaches to fuzzy similarity-based reasoning: An overview |
title_fullStr |
Logical approaches to fuzzy similarity-based reasoning: An overview |
title_full_unstemmed |
Logical approaches to fuzzy similarity-based reasoning: An overview |
title_sort |
logical approaches to fuzzy similarity-based reasoning: an overview |
url |
http://hdl.handle.net/20.500.12110/paper_02541971_v504_n_p75_Godo |
work_keys_str_mv |
AT godol logicalapproachestofuzzysimilaritybasedreasoninganoverview AT rodriguezro logicalapproachestofuzzysimilaritybasedreasoninganoverview |
_version_ |
1782025120717471744 |