Dynamic Logic Programming
|
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
|
|
|
Dynamic Logic Programming
|
| Id. |
46575591 |
| Idioma |
inglés
|
| Titulo |
Dynamic Logic Programming |
| Autor(es) |
J. J. Alferes
Dep Matem#tica
J. A. Leite
L. M. Pereira
H. Przymusinska and T. C. Przymusinski
T. C. Przymusinski
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.7954
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow default negation not only in their bodies but also in their heads.We start by introducing the notion of an update P \Phi U of a logic program P by another logic program U . Subsequently, we provide a precise semantic characterization of P \Phi U , and study some basic properties of program updates. In particular, we show that our update programs generalize the notion of interpretation update. We then extend this notion to sequences of logic programs updates P1 \Phi P2 \Phi : : : , defining dynamic program updates, thereby introducing the paradigm of dynamic logic programming. This paradigm significantly facilitates modularization of logic programming, and thus modularization of non-monotonic reasoning as a whole. Specifically, suppose that we are given a set of logic program modules, each describing a dioeerent st...
|
| 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://centria.di.fct.unl.pt/~lmp/publications/online-papers/agp98.ps.gz
[References] 10.1.1.24.6050
[References] 10.1.1.26.2661
[References] 10.1.1.133.2832
[References] 10.1.1.46.6686
[References] 10.1.1.43.7608
[References] 10.1.1.52.6826
[References] 10.1.1.44.9551
[References] 10.1.1.44.2995
[References] 10.1.1.19.8668
[References] 10.1.1.27.8869
[References] 10.1.1.49.797
[References] 10.1.1.34.7273
[References] 10.1.1.50.2787
[References] 10.1.1.62.3259
[References] 10.1.1.28.3363
[References] 10.1.1.45.3398
[References] 10.1.1.30.7276
[References] 10.1.1.16.9336
[References] 10.1.1.41.246
[References] 10.1.1.27.3344
[References] 10.1.1.113.5112
[References] 10.1.1.32.7478
[References] 10.1.1.28.2011
[References] 10.1.1.27.8869
[References] 10.1.1.34.7273
[References] 10.1.1.17.6420
[References] 10.1.1.38.305
[References] 10.1.1.59.3479
[References] 10.1.1.40.8140
[References] 10.1.1.5.3610
[References] 10.1.1.100.3633
[References] 10.1.1.20.989
[References] 10.1.1.102.1248
[References] 10.1.1.109.5361
[References] 10.1.1.17.5791
[References] 10.1.1.25.732
[References] 10.1.1.43.7686
[References] 10.1.1.108.2157
[References] 10.1.1.35.1353
[References] 10.1.1.16.8540
[References] 10.1.1.16.3685
[References] 10.1.1.114.6149
[References] 10.1.1.86.1549
[References] 10.1.1.38.3428
[References] 10.1.1.17.7973
[References] 10.1.1.19.7219
[References] 10.1.1.58.6601
[References] 10.1.1.63.6024
[References] 10.1.1.17.4700
[References] 10.1.1.1.3183
[References] 10.1.1.16.3324
[References] 10.1.1.101.5050
[References] 10.1.1.102.3065
[References] 10.1.1.19.8249
[References] 10.1.1.28.1016
[References] 10.1.1.28.4614
[References] 10.1.1.28.709
[References] 10.1.1.4.7745
[References] 10.1.1.62.1695
[References] 10.1.1.62.6807
[References] 10.1.1.64.2409
[References] 10.1.1.65.137
[References] 10.1.1.66.17
[References] 10.1.1.69.4936
[References] 10.1.1.73.5026
[References] 10.1.1.83.5606
[References] 10.1.1.88.1764
[References] 10.1.1.89.9910
[References] 10.1.1.96.3465
[References] 10.1.1.96.7271
[References] 10.1.1.97.5940
[References] 10.1.1.32.6834
[References] 10.1.1.32.8487
[References] 10.1.1.21.4076
[References] 10.1.1.16.8921
[References] 10.1.1.9.855
[References] 10.1.1.5.965
[References] 10.1.1.57.9632
|
| 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.
|
|
|
|
