Download:
|
by Joeri Engelfriet, Heinrich Herre
Practical Reasoning, Proceedings FAPR'96, Lecture Notes in Artificial Intelligence
ftp://ftp.cs.vu.nl/pub/joeri/FAPR96.1.ps.Z
Add To MetaCart
Abstract:
Abstract. In the present paper we introduce nonmonotonic belief set operators and selection operators to formalize and to analyze multiple belief sets in an abstract setting. We define and investigate formal properties of belief set operators as absorption, congruence, supradeductivity and weak belief monotony. Furthermore, it is shown that for each belief set operator satisfying strong belief cumulativity there exists a largest monotonic logic underlying it, thus generalizing a result for nonmonotonic inference operations. Finally, we study abstract properties of selective inference operations connected to belief set operators and which are used to choose one of the possible views.
Citations
|
1177
|
A logic for default reasoning
– Reiter
- 1979
|
|
557
|
Towards a theory of Declarative Knowledge
– Apt, Blair, et al.
- 1988
|
|
434
|
On the logic of theory change: partial meet contraction and revision functions
– GÄRDENFORS
- 1985
|
|
349
|
The logic of scientific discovery
– Popper
- 1959
|
|
161
|
Theoretical foundations for non-monotonic reasoning in expert systems
– Gabbay
- 1985
|
|
160
|
Two Modelings for Theory Change
– Grove
- 1988
|
|
129
|
Nonmonotonic reasoning: logical foundations of commonsense
– Brewka
- 1991
|
|
127
|
General patterns in nonmonotonic reasoning
– Makinson
- 1994
|
|
64
|
An Introduction to Default Logic
– Besnard
- 1989
|
|
62
|
Adding Priorities and Specificity to Default Logic
– Brewka
- 1994
|
|
58
|
Nonmonotonic Logics
– Marek, Truszczyiski
- 1993
|
|
34
|
Temporal Theories of Reasoning
– Engelfriet, Treur
- 1994
|
|
25
|
Reasoning with Parsimonious and Moderately Grounded Expansions
– Eiter, Gottlob
- 1992
|
|
23
|
Constructive Default Logic and the Control of Defeasible Reasoning
– Tan, Treur
- 1992
|
|
22
|
A Temporal Model Theory for Default Logic
– Engelfriet, Treur
- 1993
|
|
22
|
A semantics for default logic
– Etherington
- 1987
|
|
16
|
Truszczyński M. Representation theory for default logic
– Marek, Treur
|
|
12
|
A semantic approach to nonmonotonic reasoning: inference operations and choice
– Lindstrom
- 1994
|
|
12
|
Preference-based Semantics for Nonmonotonic Logics
– Voorbraak
- 1993
|
|
9
|
Infinitary Default Logic for Specification of Nonmonotonic Reasoning
– Engelfriet, Marek, et al.
- 1996
|
|
8
|
Compactness properties of nonmonotonic inference operations
– Herre
- 1994
|
|
7
|
Analysis of multi-interpretable ecological monitoring information
– Brazier, Engelfriet, et al.
- 1998
|
|
7
|
Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract
– Engelfriet, Herre, et al.
- 1995
|
|
4
|
Papers from 1923-1938
– Tarski, Semantics
- 1956
|
|
3
|
Development of an ecological decision support system
– Beusekom, Brazier, et al.
- 1998
|
|
3
|
Reasoning about change, MIT-Press
– Shoham
- 1988
|
|
2
|
A logical Framework for Default
– Poole
- 1988
|
|
1
|
Einfuhrung in the mathematische Logik
– Asser
- 1982
|
|
1
|
Deductive bases of nonmonotonic inference operations, Working Paper,NTZ-Report 7/94
– Dietrich
- 1994
|
|
1
|
Outline of nonmonotonic model theory, Working Paper, NTZ-Report 5/94
– Dietrich, Herre
- 1994
|
|
1
|
Deductive Bases of Nonmonotonic Inference Operations: NTZReport
– Dietrich
- 1994
|
|
1
|
Herre: Outline of Nonmonotonic Model Theory, NTZ-Report
– Dietrich, H
- 1994
|
|
1
|
Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning
– Konolidge
- 1988
|
