Reasoning about Stable Models (and other Unstable Semantics)
|
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
|
|
|
Reasoning about Stable Models (and other Unstable Semantics)
|
| Id. |
41846999 |
| Idioma |
inglés
|
| Titulo |
Reasoning about Stable Models (and other Unstable Semantics) |
| Autor(es) |
Michael J. Maher
|
| Localización |
http://citeseer.ist.psu.edu/411603.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
The well-founded semantics and stable model semantics have proven popular
semantics for logic programs. However, these semantics (and others) are not directly
amenable to logical reasoning since logically equivalent logic programs may
have different stable or well-founded models. Many natural simplifications are not
universally valid. Furthermore, in some semantics -- including the stable model semantics
-- the definition of a new predicate in terms of old predicates can affect the
semantics of the old predicates. We provide valid transformation systems for the
well-founded, stable model and Clark-completion semantics. We give restrictions
on the application of the simplifications which make them valid, and restrictions on
the form of new definitions which avoid unwelcome side-effects on other predicates.
The resulting transformation systems form a basis for reasoning in these unstable
semantics.
1
1 Introduction
The well-founded semantics [7] and stable model semantics [...
|
| Tipo |
ps
|
| Palabras clave |
Michael J. Maher Reasoning about Stable Models (and other Unstable Semantics)
|
| 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] http://www.math.luc.edu/~mjm/pubs/stable.ps
[References] oai:CiteSeerPSU:141831
[References] oai:CiteSeerPSU:302704
[References] oai:CiteSeerPSU:45821
[References] oai:CiteSeerPSU:115090
|
| 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.
|
|
|
|
