Alternating fixpoint theory for logic programs with priority
|
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
|
|
|
Alternating fixpoint theory for logic programs with priority
|
| Id. |
45988311 |
| Idioma |
inglés
|
| Titulo |
Alternating fixpoint theory for logic programs with priority |
| Autor(es) |
Kewen Wang
Lizhu Zhou
Fangzhen Lin
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.8998
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract. van Gelder's alternating fixpoint theory has proven to be a very useful tool for unifying and characterizing various semantics for logic programs without priority. In this paper we propose an extension of van Gelder's alternating fixpoint theory and show that it can be used as a general semantic framework for logic programs with priority. Specifically, we define three declarative and model-theoretic semantics in this framework for prioritied logic programs: prioritized answer sets, prioritized regular extensions and prioritized well-founded model. We show that all of these semantics are natural generalizations of the corresponding semantics for logic programs without priority. We also show that these semantics have some other desirable properties. In particular, they can handle conflicts caused indirectly by the priorities.
|
| Tipo |
application/postscript
|
| Palabras clave |
logic programs
|
| 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.cit.gu.edu.au/~s2107085/Papers/wazhli00a.ps
[References] 10.1.1.1.4598
[References] 10.1.1.16.6052
[References] 10.1.1.23.4937
[References] 10.1.1.6.6394
[References] 10.1.1.58.759
[References] 10.1.1.59.2373
[References] 10.1.1.59.5239
[References] 10.1.1.59.6343
[References] 10.1.1.68.5027
[References] 10.1.1.5.6556
[References] 10.1.1.4.2549
[References] 10.1.1.59.4991
[References] 10.1.1.59.5117
[References] 10.1.1.4.7745
[References] 10.1.1.79.249
[References] 10.1.1.113.4982
[References] 10.1.1.10.3384
[References] 10.1.1.57.9632
|
| Fecha de contribución |
17-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
