Properties of Prioritized Logic Programs
|
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
|
|
|
Properties of Prioritized Logic Programs
|
| Id. |
46389110 |
| Idioma |
inglés
|
| Titulo |
Properties of Prioritized Logic Programs |
| Autor(es) |
Yan Zhang
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.9579
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
. Prioritized logic programming has illustrated its rich expressiveness and flexibility in knowledge representation and reasoning. However, some important aspects of prioritized logic programs have yet to be thoroughly explored. In this paper, we investigate several properties of prioritized logic programs in the context of answer set semantics. Specifically, we propose a characterization on the uniqueness of answer set for prioritized logic programs. We then prove two splitting theorems for prioritized logic programs so that under proper conditions, the evaluation of a prioritized logic program can be reduced to the evaluation of some separate "components" of the program. keywords: foundation of logic programming, knowledge representation, semantics 1 Introduction Prioritized logic programming has illustrated its rich expressiveness and flexibility in knowledge representation, reasoning about action and logic program based updates [2, 5, 7, 8]. However, some important aspects of pri...
|
| Tipo |
application/postscript
|
| Palabras clave |
foundation of 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.cit.nepean.uws.edu.au/~yan/papers/flops01.ps
[References] 10.1.1.24.6050
[References] 10.1.1.49.9332
[References] 10.1.1.20.7217
[References] 10.1.1.116.7411
[References] 10.1.1.24.4152
[References] 10.1.1.47.9232
[References] 10.1.1.38.3428
|
| Fecha de contribución |
24-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
