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...
Guardado en:
| Autores principales: | Garcia, Pere, Godo, Lluís, Rodríguez, Ricardo |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
1995
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24322 |
| Aporte de: |
Ejemplares similares
-
Logics for approximate and strong entailments
por: Esteva, F., et al. -
Logics for approximate and strong entailments
Publicado: (2012) -
A connection between similarity logic programming and gödel modal logic
por: Blandi, L., et al. -
A connection between similarity logic programming and gödel modal logic
Publicado: (2005) -
A methodology to engineer graded BDI agents
por: Casali, Ana, et al.
Publicado: (2006)