A Compositional Semantics for Logic Programs and Deductive Databases
|
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
|
|
|
A Compositional Semantics for Logic Programs and Deductive Databases
|
| Id. |
41518421 |
| Idioma |
inglés
|
| Titulo |
A Compositional Semantics for Logic Programs and Deductive Databases |
| Autor(es) |
Lehr- Und Forschungseinheit Fur
|
| Localización |
http://citeseer.ist.psu.edu/84326.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Considering integrity constraints and program composition, it is argued that
a semantics for logic programs and deductive databases should not accommodate
inconsistencies globally like in classical logic, but locally. It is shown
that minimal logic, a weakening of classical logic which precludes refutation
proofs, is sufficient to provide for a proof theory for generalized programs
corresponding to deductive databases and disjunctive logic programs. A
(nonclassical) model theory is proposed for these programs, which allows local
inconsistencies. The proposed semantics naturally extends the minimal
model and completion semantics of positive programs and is compositional.
Arguably, it appropriately conveys a practician's intuition.
1 Introduction
The semantics of positive and definite logic programs does not easily extend
to nonpositive programs, i.e. programs containing clauses with negative
body literals. Although each approach to specifying the semantics of positive
programs can be ...
|
| Tipo |
ps
|
| Palabras clave |
Lehr- Und Forschungseinheit Fur A Compositional Semantics for Logic Programs and Deductive Databases
|
| 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.pms.informatik.uni-muenchen.de/publikationen/PMS-FB/PMS-FB-1996-3.ps.gz
[References] oai:CiteSeerPSU:84326
[References] oai:CiteSeerPSU:221709
[References] oai:CiteSeerPSU:302704
[References] oai:CiteSeerPSU:116523
|
| 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.
|
|
|
|
