Download:
by José Júlio Alferes, Halina Przymusinska, Paulo Quaresma, Luís Moniz Pereira, Teodor C. Przymusinski
http://www.di.uevora.pt/~pq/papers/agp00.pdf
Add To MetaCart
Abstract:
In [ALP + 00] we proposed a comprehensive solution to the problem of knowledge base updates. Given the original knowledge base KB and a set of update rules represented by the updating knowledge base KB ′ , we defined a new updated knowledge base KB ∗ = KB⊕KB ′ that constitutes the update of the knowledge base KB by the knowledge base KB ′. In [APPP99] we introduced a fully declarative, high-level language for knowledge updates called LUPS that describes transitions between consecutive knowledge states and can therefore be viewed as a language for dynamic knowledge representation. The main objective of the present paper is to show that the dynamic knowledge representation paradigm introduced in [ALP + 00] and the associated language LUPS, defined in [APPP99], constitute natural, powerful and expressive tools for representing dynamically changing knowledge. We do so by demonstrating the applicability of the dynamic knowledge representation
Citations
|
1126
|
The Stable Model Semantics for Logic Programming
– Gelfond, Lifschitz
- 1988
|
|
357
|
Representing action and change by logic programs
– Gelfond, Lifschitz
- 1993
|
|
298
|
Logic programs with classical negation
– Gelfond, Lifschitz
- 1990
|
|
239
|
Reasoning about action using a possible models approach
– Winslett
- 1988
|
|
104
|
An action language based on causal explanation: Preliminary report
– Giunchiglia, Lifschitz
- 1998
|
|
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
|
|
64
|
Lups—a language for updating logic programs
– Alferes, Pereira, et al.
|
|
59
|
Update by Means of Inference Rules
– Przymusinski, Turner
- 1995
|
|
51
|
Generalizing Updates: from models to programs
– Leite, Pereira
- 1997
|
|
41
|
Logic programming
– Kowalski
- 1983
|
|
28
|
Update-programs can update programs
– Alferes, Pereira
- 1997
|
|
25
|
Strong and explicit negation in non-monotonic reasoning and logic programming
– Alferes, Pereira, et al.
- 1996
|
|
25
|
On the dierence between updating a knowledge base and revising it
– Katsuno, Mendelzon
- 1991
|
|
22
|
Action languages. Linkoping
– Gelfond, Lifschitz
- 1998
|
|
19
|
Logic Program Updates. M.Sc. Dissertation, Universidade Nova de
– Leite
- 1997
|
|
17
|
Arkady Rabinov. What are the limitations of the situation calculus
– Gelfond, Lifschitz
- 1991
|
|
17
|
Modelling agent interaction in logic programming
– Pereira, Quaresma
- 1998
|
|
14
|
Default negated conclusions: why not
– Dam'asio, Pereira
- 1996
|
|
14
|
Proof method of partial correctness and weak completeness for normal logic programs
– Ferrand, Deransart
- 1993
|
|
13
|
The relationship between logic programs and speci
– Lau, Ornaghi
- 1997
|
|
4
|
Ed-Dbali and Pierre Deransart. Software formal speci by logic programming: The example of standard PROLOG. Research report
– Ali
- 1993
|
|
4
|
Revision speci cations by means of programs
– Marek, Truszczynski
- 1994
|
