Possibilistic Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Possibilistic Logic
|
| Id. |
41520574 |
| Idioma |
inglés
|
| Titulo |
Possibilistic Logic |
| Autor(es) |
Didier Dubois,Henri Prade
|
| Localización |
http://citeseer.ist.psu.edu/86479.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This paper is organized as follows : Section 2 pursues the overview by introducing background material on fuzzy set and possibility theory, including comparative possibility relations that underlie possibility and necessity measures. Section 3 forms the main body of the paper and presents formal aspects of a fragment of possibilistic logic where formulas are valued by a lower bound on their degree of necessity. It includes an axiomatization and a refutation method based on extended resolution that is liable of implementation on a computer and supports partial inconsistency. The remainder of Section 3 lays bare the existing links between possibilistic logic and non-monotonic logics on the one hand, and belief revision on the other hand. It is indicated that possibilistic logic can be cast in the frameworks of preference logics after Shoham (1988), counterfactual logics after Lewis (1973) and epistemic entrenchment theory after Gärdenfors (1988). In the presence of partial inconsistency, possibilistic logic behaves as a cumulative non-monotonic logic whose properties have been suggested by Gabbay (1985), and studied by Makinson (1989) and Kraus et al. (1990). Section 4 considers a richer possibilistic logic where formulas can be weighted by a lower bound on possibility or necessity degrees. Then it briefly sketches some other potentially interesting extensions of possibilistic logic, whereby the valuation set may become partially ordered, the weights may become variable or convey the interpretation of costs, and the predicates may become vague. Section 5 describes some applications of possibilistic logic to truth-maintenance systems, inconsistency handling in logical data bases, discrete optimization and logic programming. 5 2. Possibility theory Let x be a variable tak...
|
| Tipo |
ps
|
| Palabras clave |
Didier Dubois,Henri Prade Possibilistic Logic
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] ftp://ftp.irit.fr/pub/IRIT/RPDMP/PL.ps.gz
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
