Applying SLD-Resolution to a Class of Non-Horn Logic Programs
|
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
|
|
|
Applying SLD-Resolution to a Class of Non-Horn Logic Programs
|
| Id. |
46891176 |
| Idioma |
inglés
|
| Titulo |
Applying SLD-Resolution to a Class of Non-Horn Logic Programs |
| Autor(es) |
Grigoris Antoniou
Elmar Langetepe
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.3634
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Methods for dealing with a Horn logic program and one goal are well-known and successful. Here we are concerned with treating logic programs enhanced by some negative literals using the same methods, in particular SLD-resolution. We describe the approach and show its correctness. The result can be applied to default reasoning and has some relevance for model elimination based theorem proving. Keywords: logic programming, default reasoning, model elimination, theorem proving 1 Introduction The problem of checking a goal against a definite logic program has been solved in a satisfactory way a long time ago using SLD-resolution [4]. In this paper we discuss how the same technique can be used if the definite logic program is enhanced by some atomic goals. Formally, we want to check P [ f:G 1 ; : : : ; :Gng j= :G for a definite logic program P and atomic formulas G 1 ; : : : ; Gn ; G. We arrived at this problem when we developed an approach of translating some classes of default theori...
|
| Tipo |
application/postscript
|
| Palabras clave |
logic programming
|
| 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/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.dcs.kcl.ac.uk/journals/IGPL/V2-2/Antoniou.ps.gz
[References] 10.1.1.3.5386
|
| Fecha de contribución |
13-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
