Compositionality of Normal Open 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
|
|
|
Compositionality of Normal Open Logic Programs
|
| Id. |
46620345 |
| Idioma |
inglés
|
| Titulo |
Compositionality of Normal Open Logic Programs |
| Autor(es) |
Sofie Verbaeten
Marc Denecker
Danny De Schreye
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.5373
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Compositionality of programs is an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly been studied for definite programs only. Here, we study compositionality in the context of normal open logic programming. This is a very expressive logic for knowledge representation of uncertainty and incomplete knowledge on concepts and on problem domain, in which the compositionality issue turns up very naturally. The semantics of the logic is a generalisation (allowing non-Herbrand interpretations) of the well-founded semantics. We provide a number of results which offer different sufficient conditions under which the models of the composition of two theories can be related to the intersection of the models of the composing theories. In particular, under these conditions, logical consequence will be preserved under composition. Keywords : Logic Programming, Knowledge representation. CR Subject Classific...
|
| 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.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW254.ps.gz
[References] 10.1.1.121.6788
[References] 10.1.1.116.7411
[References] 10.1.1.51.6602
[References] 10.1.1.21.4657
[References] 10.1.1.54.2175
[References] 10.1.1.54.6738
[References] 10.1.1.52.7565
[References] 10.1.1.55.7949
[References] 10.1.1.21.4452
[References] 10.1.1.10.7789
[References] 10.1.1.2.5107
[References] 10.1.1.47.2245
[References] 10.1.1.67.6753
[References] 10.1.1.107.2897
[References] 10.1.1.49.5902
[References] 10.1.1.39.8765
|
| Fecha de contribución |
31-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
