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. |
41441244 |
| 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/7272.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Considering integrity constraints and program composition, it is
first argued that a semantics for logic programs and deductive databases
should not accommodate inconsistencies globally like in classical
logic, but locally. It is then shown that minimal logic, a natural deduction
style weakening of classical logic, is sufficient to provide for
a proof theory for a generalization of logic programs corresponding
to deductive databases with integrity constraints and disjunctive logic
programs. Minimal logic differs from classical logic inasmuch as it
precludes refutation proofs. Finally, a (nonclassical) model theory is
proposed for generalized programs, which is based on a weakening of
the usual notion of model inspired from (but not corresponding to)
minimal logic. This model theory allows local inconsistencies. The
proposed model theory naturally extends the minimal model, stable,
and completion semantics of positive programs. The proposed semantics
is shown to be "compositional" in th...
|
| 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-4.ps.gz
[References] oai:CiteSeerPSU:84326
[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.
|
|
|
|
