To appear in Theory and Practice of Logic Programming (TPLP) 1 Embedding Defeasible Logic into Logic Programming
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
To appear in Theory and Practice of Logic Programming (TPLP) 1 Embedding Defeasible Logic into Logic Programming
|
| Id. |
47745729 |
| Idioma |
inglés
|
| Titulo |
To appear in Theory and Practice of Logic Programming (TPLP) 1 Embedding Defeasible Logic into Logic Programming |
| Autor(es) |
Grigoris Antoniou
David Billington
Guido Governatori
Michael J. Maher
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.467
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning methods. So far no relationship has been established between defeasible logic and mainstream nonmonotonic reasoning approaches. In this paper we establish close links to known semantics of logic programs. In particular, we give a translation of a defeasible theory D into a meta-program P (D). We show that under a condition of decisiveness, the defeasible consequences of D correspond exactly to the sceptical conclusions of P (D) under the stable model semantics. Without decisiveness, the result holds only in one direction (all defeasible consequences of D are included in all stable models of P (D)). If we wish a complete embedding for the general case, we need to use the Kunen semantics of P (D), instead.
|
| Tipo |
application/pdf
|
| Palabras clave |
Defeasible logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://eprint.uq.edu.au/archive/00003106/01/embedding.pdf
[References] 10.1.1.24.6050
[References] 10.1.1.121.6788
[References] 10.1.1.5.4035
[References] 10.1.1.19.2242
[References] 10.1.1.11.5467
[References] 10.1.1.38.9636
[References] 10.1.1.118.8032
[References] 10.1.1.18.9977
[References] 10.1.1.18.9637
[References] 10.1.1.26.124
[References] 10.1.1.25.8430
[References] 10.1.1.129.2555
[References] 10.1.1.19.7160
[References] 10.1.1.94.2642
[References] 10.1.1.102.2637
[References] 10.1.1.135.7846
[References] 10.1.1.15.6837
[References] 10.1.1.43.9351
[References] 10.1.1.19.3328
[References] 10.1.1.11.2160
[References] 10.1.1.7.7660
[References] 10.1.1.4.2069
[References] 10.1.1.140.9846
[References] 10.1.1.117.3742
|
| Fecha de contribución |
17-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
