1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Detalles del recurso

Descripción

In this paper we provide a simplified semantics for the logic $KD45(\mathbf{G})$, i.e. the many-valued G\>odel counterpart of the classical modal logic $KD45$. More precisely, we characterize $KD45(\mathbf{G})$ as the set of valid formulae of the class of possibilistic G\>odel Kripke Frames $\langle W, \pi \rangle$, where $W$ is a non-empty set of worlds and $\pi: W \to [0, 1]$ is a normalized possibility distribution on $W$.

Pertenece a

Digital.CSIC  

Autor(es)

Bou, Felix -  Esteva, Francesc -  Godo, Lluís -  Rodriguez, Ricardo O. - 

Id.: 70423049

Idioma: eng  - 

Versión: 1.0

Estado: Final

Tipo de recurso: Artículo  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: closedAccess

Requerimientos técnicos:  Browser: Any - 

Relación: [References] Sí

Fecha de contribución: 19-dic-2017

Contacto:

Localización:
* doi: 10.1007/978-3-319-40581-0_11
* isbn: 978-3-319-40580-3
* Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2016. Communications in Computer and Information Science, vol 611: 123-135 (2016)
* 10.1007/978-3-319-40581-0_11

Otros recursos del mismo autor(es)

  1. Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines f...
  2. Foreword Peer Reviewed
  3. First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties This paper aims at being a systematic investigation of different completeness properties of first-or...
  4. Extending choquet integrals for aggregation of ordinal values In this paper we study the extension of Choquet integrals to ordinal scales. We show that two differ...
  5. Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics In this paper we consider the expansions of logics of a left-continuous t-norm with truth-constants ...

Otros recursos de la mismacolección

  1. Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines f...
  2. Foreword from the program chairs of DPM 2010 UNESCO Chair in Data Privacy, Artificial Intelligence Research Institute (IIIA-CSIC), Internet Inter...
  3. Foreword from the program chairs of DPM 2009 UNESCO Chair in Data Privacy, ARES-CONSOLIDER CSD2007-00004, e-Aegis TSI2007-65406-C03-01, IIIA Span...
  4. Foreword Peer Reviewed
  5. First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties This paper aims at being a systematic investigation of different completeness properties of first-or...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.