Download:
|
by Jo Ao Alex, Re Leite, Jos E J Ulio Alferes, Lu s Moniz Pereira
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/mdkr.ps.gz
Add To MetaCart
Abstract:
knowledge may be given by a set of theories (encoded as logic programs) representing different states of knowledge. These may represent time (in updates), specicity (in taxonomies), strength of updating instance (in the legislative domain), hierarchical position of knowledge source (in organizations), etc. The mutual relationships extant among states are used to determine the semantics of the combined theory composed of all the individual theories. Although suitable to encode a single dimension (e.g. time, hierarchies...), DLP cannot deal with more than one simultaneously because it is dened only for a linear sequence of states. To overcome this limitation, we introduce the notion of Multi-dimensional Dynamic Logic Programming (MDLP), which generalizes
Citations
|
304
|
On the difference between updating a knowledge base and revising it, in P. Gärdenfors ed.: Belief Revision
– KATSUNO
- 1992
|
|
298
|
Logic programs with classical negation
– Gelfond, Lifschitz
- 1990
|
|
239
|
Reasoning about action using a possible models approach
– Winslett
- 1988
|
|
98
|
Answer sets in general nonmonotonic reasoning (preliminary report
– Lifschitz, Woo
- 1992
|
|
96
|
Dynamic updates of non-monotonic knowledge bases
– ALFERES, LEITE, et al.
- 2000
|
|
80
|
The stable semantics for logic programs
– Gelfond, Lifschitz
- 1988
|
|
64
|
Lups—a language for updating logic programs
– Alferes, Pereira, et al.
|
|
61
|
Disjunctive logic programs with inheritance
– Buccafurri, Faber, et al.
- 1999
|
|
59
|
Update by Means of Inference Rules
– Przymusinski, Turner
- 1995
|
|
51
|
Generalizing Updates: from models to programs
– Leite, Pereira
- 1997
|
|
41
|
Negation as failure in the head
– Inoue, Sakama
- 1998
|
|
32
|
Considerations on updates of logic programs
– EITER, FINK, et al.
- 2000
|
|
29
|
Updating agents
– Dell'Acqua, Pereira
- 1999
|
|
21
|
Planning as abductive updating
– Alferes, Leite, et al.
- 2000
|
|
17
|
Strategies in combined learning via logic programs
– Lamma, Riguzzi, et al.
- 2000
|
|
15
|
Semantics and Expressiveness of Disjunctive Ordered Logic
– Buccafurri, Leone, et al.
|
|
14
|
Metaphorical mapping consistency via dynamic logic programming
– Leite, Pereira, et al.
- 2000
|
|
9
|
A collaborative legal information retrieval system using dynamic logic programming
– Quaresma, Rodrigues
- 1999
|
|
4
|
Revision speci��cations by means of programs
– Marek, Truszczynski
- 1994
|
