by Abtg Wissensbasierte Systeme, Thomas Eiter, Thomas Eiter, Michael Fink, Michael Fink, Giuliana Sabbatini, Giuliana Sabbatini, Hans Tompits, Hans Tompits
http://www.kr.tuwien.ac.at/research/reports/rr0211.ps.gz
Add To MetaCart
Abstract:
1 Abstract. Recently, several approaches to updating knowledge bases modeled as extended logic programs have been introduced, ranging from basic methods to incorporate (sequences of) sets of rules into a logic program, to more elaborate methods which use an update policy for specifying how updates must be incorporated. In this paper, we introduce a framework for reasoning about evolving knowledge bases, which are represented as extended logic programs and maintained by an update policy. We first describe a formal model which captures various update approaches, and we define a logical language for expressing properties of evolving knowledge bases. We then investigate semantical and computational properties of our framework, where we focus on properties of knowledge states with respect to the canonical reasoning task of whether a given formula holds on a given evolving knowledge base. In particular, we present finitary characterizations of the evolution for certain classes of framework instances, which can be exploited for obtaining decidability results. In more detail, we characterize the complexity of reasoning for some meaningful classes of evolving knowledge bases, ranging from polynomial to double exponential space complexity.
Citations
|
1442
|
Model Checking
– Grumberg, Peled
|
|
965
|
Reasoning About Knowledge
– Fagin, Halpern, et al.
- 1994
|
|
910
|
Temporal and modal logic
– Emerson
- 1990
|
|
554
|
Classical negation in logic programs and disjunctive databases. New Generation Computing 9:365–385
– Gelfond, Lifschitz
- 1991
|
|
433
|
Symbolic Model Checking: An Approach to the State Explosion Problem
– McMillan
- 1993
|
|
229
|
Reasoning About Rational Agents
– Wooldridge
- 2000
|
|
166
|
Complexity and Expressive Power of Logic Programming
– Dantsin, Eiter, et al.
- 2001
|
|
159
|
Structural Complexity I
– Balc'azar, D'iaz, et al.
- 1988
|
|
122
|
Well founded semantics for logic programs with explicit negation. in ECAI'92
– Pereira, Alferes
- 1992
|
|
96
|
Dynamic updates of non-monotonic knowledge bases
– ALFERES, LEITE, et al.
- 2000
|
|
91
|
Updating Logical Databases
– Winslett
- 1990
|
|
84
|
NuSMV : a new symbolic model checker
– Cimatti, Clarke, et al.
|
|
73
|
Well-founded semantics for extended logic programs with dynamic preferences
– Brewka
- 1996
|
|
66
|
Dynamic logic programming
– Alferes, Leite, et al.
- 1998
|
|
64
|
Lups—a language for updating logic programs
– Alferes, Pereira, et al.
|
|
50
|
Updating extended logic programs through abduction
– INOUE, C
- 1999
|
|
49
|
A Policy Description Language
– Lobo, Bhatia, et al.
- 1999
|
|
40
|
Computational complexity of planning and approximate planning in the presence of incompleteness
– Baral, Kreinovich, et al.
|
|
39
|
Updating logic programs
– ZHANG, Y
- 1998
|
|
38
|
Encodings for equilibrium logic and logic programs with nested expressions
– PEARCE, TOMPITS, et al.
|
|
36
|
Reducing strong equivalence of logic programs to entailment in classical propositional logic
– LIN
|
|
32
|
Considerations on updates of logic programs
– EITER, FINK, et al.
- 2000
|
|
28
|
Answer sets for prioritized logicprograms
– Zhang, Foo
- 1997
|
|
26
|
A framework for declarative update specifications in logic programs
– EITER, FINK, et al.
|
|
26
|
Revision programming
– Marek, Truszczy'nski
- 1998
|
|
26
|
The computational complexity of agent design problems
– Wooldridge
- 2000
|
|
19
|
Revision Specifications by Means of Programs
– Marek, Truszczynski
- 1994
|
|
13
|
A modified semantics for LUPS
– Leite
- 2001
|
|
9
|
Reasoning about Policies using Logic Programs
– Son, Lobo
- 2001
|
|
8
|
Declarative Representation of Revision Strategies
– Brewka
- 2000
|
|
8
|
Evolving Knowledge Bases: Specification and Semantics
– Leite
- 2002
|
|
4
|
Declarative Update Policies for Nonmonotonic Knowledge Bases
– Eiter, Fink, et al.
- 2002
|
|
3
|
On Updates of Logic Programs: Semantics and Properties
– Eiter, Fink, et al.
- 2000
|
