Minimal 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
|
|
|
Minimal logic programs
|
| Id. |
47319613 |
| Idioma |
inglés
|
| Titulo |
Minimal logic programs |
| Autor(es) |
Pedro Cabalar
David Pearce
Agustín Valverde
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.5673
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract. bb We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a method consisting in the generation of the set of prime implicates of the original theory, starting from its set of countermodels (in the logic of Here-and-There), in a similar vein to the Quine-McCluskey method for minimisation of boolean functions. As a side result, we also provide several results about fundamental rules (those that are not tautologies and do not contain redundant literals) which are combined to build the minimal programs. In particular, we characterise their form, their corresponding sets of countermodels, as well as necessary and sufficient conditions for entailment and equivalence among them.
|
| Tipo |
application/pdf
|
| 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/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.dc.fi.udc.es/ai/~cabalar/minlp.pdf
[References] 10.1.1.24.6050
[References] 10.1.1.38.675
[References] 10.1.1.64.7426
[References] 10.1.1.28.3046
[References] 10.1.1.129.5332
[References] 10.1.1.118.8621
[References] 10.1.1.25.266
[References] 10.1.1.122.9685
[References] 10.1.1.74.1558
[References] 10.1.1.66.8858
[References] 10.1.1.120.5713
[References] 10.1.1.113.8169
[References] 10.1.1.78.9930
|
| Fecha de contribución |
31-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
