Similarity-based graded modal logic

Within the approximate reasoning Cramework, several systems oC modallogic have been proposed to formalize several kinds oC reasoning models ([MP94], [HM92], [FH91]). In particular, in [EGG95] a Kripke model-like theory for a logic of graded necessity and possibility operators is presented to model s...

Descripción completa

Detalles Bibliográficos
Autores principales: Garcia, Pere, Godo, Lluís, Rodríguez, Ricardo
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1995
Materias:
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Similarity Function
Graded Modal Logic
Graded Entailment
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24322
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24322
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Similarity Function
Graded Modal Logic
Graded Entailment
spellingShingle Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Similarity Function
Graded Modal Logic
Graded Entailment
Garcia, Pere
Godo, Lluís
Rodríguez, Ricardo
Similarity-based graded modal logic
topic_facet Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Similarity Function
Graded Modal Logic
Graded Entailment
description Within the approximate reasoning Cramework, several systems oC modallogic have been proposed to formalize several kinds oC reasoning models ([MP94], [HM92], [FH91]). In particular, in [EGG95] a Kripke model-like theory for a logic of graded necessity and possibility operators is presented to model similarity-based reasoning. In this paper, we propose an axiomatization for this logic and we show that it is sound and complete with respect to classes oC models based where the accesibility relation is defined in terms of fuzzy similarity relations on the set oC possible worlds. Finally, we indicate how this logic can be used to characterize several graded entailments proposed in [DEG*95].
format Objeto de conferencia
Objeto de conferencia
author Garcia, Pere
Godo, Lluís
Rodríguez, Ricardo
author_facet Garcia, Pere
Godo, Lluís
Rodríguez, Ricardo
author_sort Garcia, Pere
title Similarity-based graded modal logic
title_short Similarity-based graded modal logic
title_full Similarity-based graded modal logic
title_fullStr Similarity-based graded modal logic
title_full_unstemmed Similarity-based graded modal logic
title_sort similarity-based graded modal logic
publishDate 1995
url http://sedici.unlp.edu.ar/handle/10915/24322
work_keys_str_mv AT garciapere similaritybasedgradedmodallogic
AT godolluis similaritybasedgradedmodallogic
AT rodriguezricardo similaritybasedgradedmodallogic
bdutipo_str Repositorios
_version_ 1764820466960171009

Ejemplares similares