Abstract:
benchmark problems In this paper we describe a fragment of default logic suitable for encoding problems from other domains. We investigate a subclass of first order open default theories, which we call extensional default theories. This class of default theories allows easy and compact encodings of problems for experimenting with default reasoning systems. Because most existing systems for default reasoning assume that all input defaults are closed or propositional we show how to transform an extensional default theory to a closed first order default theory or a propositional default theory with same extensions. Finally, we present several encodings of known graph problems in the language of extensional default theories. These encodings can be regarded as benchmark problems for experimenting with nonmonotonic reasoning systems. 1
Citations
|
1195
|
A logic for default reasoning
– Reiter
- 1980
|
|
758
|
A machine-oriented logic based on the resolution principle
– ROBINSON
- 1965
|
|
345
|
A logical framework for default reasoning
– Poole
- 1988
|
|
157
|
and Miros̷law Truszczyński. Nonmonotonic Logic: Context-Dependent Reasoning
– Marek
- 1994
|
|
110
|
The Stanford GraphBase: A Platform for Combinatorial Computing
– Knuth
- 1993
|
|
74
|
Efficient top-down computation of queries under the well-founded semantics
– Chen, Swift, et al.
- 1995
|
|
69
|
A circumscriptive theorem prover
– Ginsberg
- 1989
|
|
38
|
Experimenting with Nonmonotonic Reasoning
– Cholewinski, Marek, et al.
- 1995
|
|
30
|
Reasoning with Minimal Models: Efficient Algorithms and Applications
– Ben-Eliyahu, Palopoli
- 1994
|
|
23
|
Towards efficient default reasoning
– Niemela
- 1995
|
|
20
|
Reasoning with stratified default theories
– Cholewi'nski
- 1995
|
|
15
|
Stratified default theories
– Cholewi'nski
- 1995
|
|
15
|
Massively parallel assumption-based truth maintenance
– Dixon, Kleer
- 1988
|
|
13
|
Evaluating an algorithm for default reasoning
– Niemela, Simons
- 1995
|
|
4
|
New proofs in default logic theory
– Antoniou, Langetepe, et al.
- 1994
|
|
4
|
Rule systems, well-orderings and forward chaining
– Marek, Nerode, et al.
- 1995
|
|
3
|
Default reasoning system --- an implementation of default reasoning
– Cholewi'nski, Marek, et al.
- 1995
|
|
