Busque entre los 168426 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-11-16T14:41:01Z | |
dc.date.available | 2012-11-16T14:41:01Z | |
dc.date.issued | 1995-10 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/24322 | |
dc.description.abstract | 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]. | en |
dc.format.extent | 426-437 | es |
dc.language | en | es |
dc.subject | ARTIFICIAL INTELLIGENCE | es |
dc.subject | Similarity Function | en |
dc.subject | Graded Modal Logic | en |
dc.subject | Graded Entailment | en |
dc.title | Similarity-based graded modal logic | en |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Garcia, Pere | es |
sedici.creator.person | Godo, Lluís | es |
sedici.creator.person | Rodríguez, Ricardo | es |
sedici.description.note | Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 1995-10 | |
sedici.relation.event | I Congreso Argentino de Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |