Abstract:
Representing defeasibility is an important issue in commonsense reasoning. In reasoning about action and change, this issue becomes more difficult because domain and action related defeasible information may conflict with general inertia rules. Furthermore, different types of defeasible information may also interfere with each other during the reasoning. In this paper, we develop a prioritized logic programming approach to handle defeasibilities in reasoning about action. In particular, we propose three action languages AT 0
Citations
|
1177
|
A logic for default reasoning
– Reiter
- 1979
|
|
1126
|
The Stable Model Semantics for Logic Programming
– Gelfond, Lifschitz
- 1988
|
|
554
|
Classical negation in logic programs and disjunctive databases. New Generation Computing 9:365–385
– Gelfond, Lifschitz
- 1991
|
|
357
|
Representing action and change by logic programs
– Gelfond, Lifschitz
- 1993
|
|
239
|
Reasoning about action using a possible models approach
– Winslett
- 1988
|
|
218
|
Logic programming and negation: A survey
– Apt, Bol
- 1994
|
|
173
|
Abduction compared with negation by failure
– Eshghi, Kowalski
- 1989
|
|
154
|
Embracing causality in specifying the indirect effects of actions
– Lin
- 1995
|
|
139
|
A causal theory of ramifications and qualifications
– McCain, Turner
- 1995
|
|
104
|
Features and Fluents: The Representation of Knowledge about Dynamical Systems, volume 1
– Sandewall
- 1994
|
|
101
|
Preferred answer sets for ex-tended logic programs
– Brewka, Eiter
- 1999
|
|
88
|
The logic of persistence
– Kautz
- 1986
|
|
73
|
Well-founded semantics for extended logic programs with dynamic preferences
– Brewka
- 1996
|
|
58
|
Prioritized conflict handling for logic pro-grams
– Grosof
- 1997
|
|
39
|
Updating logic programs
– ZHANG, Y
- 1998
|
|
28
|
Answer sets for prioritized logicprograms
– Zhang, Foo
- 1997
|
|
21
|
Negation-as-failure as an approach to the Hanks and McDermott problem
– Evans
- 1989
|
|
16
|
Towards Generalized Rule-based Updates
– Zhang, Foo
- 1997
|
|
8
|
Rank-based systems
– Goldszmidt, Pearl
- 1992
|
|
7
|
Defeasible specifications in action theories
– Baral, Lobo
- 1997
|
|
6
|
Causality, constraints and the indirect effects of actions
– Geffner
- 1997
|
|
4
|
Implementing prioritized logic programming
– Wu, Zhang
- 1999
|
|
3
|
Reasoning about action and change: Defeasible observations and actions with abnormal effects
– Jablonowski, Lukaszewcz, et al.
- 1996
|
|
2
|
Reasoning about action and change using Dijkstra's semantics for programming language: Preliminary Report
– Lukaszewcz, Madali'nsks-Bugaj
- 1995
|
|
2
|
Specifying causality in action theories: A default logic approach
– Zhang
- 1999
|
|
