See this document in CiteSeerX!

Entrenchment Relations: A Uniform Approach to Nonmonotonicity (1997)  (Make Corrections)  (3 citations)
Konstantinos Georgatos
ECSQARU-FAPR



  Home/Search   Context   Related

Links:   DBLP

 
View or download:
uky.edu/cs/lpnmr/k...t.georgatos2.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  uky.edu/~lpnmr/papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: . We show that Gabbay's nonmonotonic consequence relations can be reduced to a new family of relations, called entrenchment relations. Entrenchment relations provide a direct generalization of epistemic entrenchment and expectation ordering introduced by Gardenfors and Makinson for the study of belief revision and expectation inference, respectively. Keywords: Nonmonotonic consequence, epistemic entrenchment, belief revision. 1 Introduction Nonmonotonicity has offered great promise as a... (Update)

Context of citations to this paper:   More

.... sequence) Therefore, we do not treat a belief sequence as a set but rather as a linear order much like an entrenchment (see [GM88] [Geo97]) Since we take relevance into account we cannot use an entrenchment ordering in our method. This procedure for inference serves as a...

.... sequence) Therefore, we do not treat a belief sequence as a set but rather as a linear order much like an entrenchment (see [GM88] [Geo97]) except that two orderings, level of relevance and temporal order determine the sequence. This procedure for inference serves as a...

Cited by:   More
Non-Monotonic Inference on Sequenced Belief Bases.. - Chopra, Georgatos..   (Correct)
Relevance Sensitive Non-Monotonic Inference on Belief.. - Chopra, Georgatos, Parikh (2000)   (Correct)
Non-Monotonic Inference on Belief Sequences - Chopra, Georgatos, Parikh (1999)   (Correct)

Active bibliography (related documents):   More   All
0.7:   Possibilistic Reasoning - A Mini-survey and Uniform Semantics - Liau, Lin (1996)   (Correct)
0.5:   Describing the Approaches - Cooper, Crouch, van Eijck, Fox, van.. (1994)   (Correct)
0.3:   Conditional Logics of Belief Change - Friedman, Halpern (1994)   (Correct)

Similar documents based on text:   More   All
1.4:   Withdrawal and Entrenchment - Meyer (2000)   (Correct)
1.3:   Refined Epistemic Entrenchment - Meyer, Labuschagne, al. (2000)   (Correct)
0.5:   Nonmonotonic Inference Based on Expectations - Gärdenfors, Makinson (1994)   (Correct)

Related documents from co-citation:   More   All
3:   A Dyadic Representation of Belief (context) - Hansson - 1992
3:   Ordering-based representations of rational inference - Georgatos - 1996
3:   the logic of theory change: Partial meet contraction and revision functions (context) - Alchourr'on, Gardenfors et al. - 1985

BibTeX entry:   (Update)

K. Georgatos. Entrenchment relations: A uniform approach to nonmonotonic inference. In Proceedings of the International Joint Conference on Qualitative and Quantitative Practical Reasoning (ESCQARU/FAPR 97), number 1244 in Lecture Notes in Computer Science, pages 282-297, Berlin, 1997. Springer-Verlag. http://citeseer.ist.psu.edu/georgatos97entrenchment.html   More

@inproceedings{ georgatos97entrenchment,
    author = "Konstantinos Georgatos",
    title = "Entrenchment Relations: A Uniform Approach to Nonmonotonicity",
    booktitle = "{ECSQARU}-{FAPR}",
    pages = "282-297",
    year = "1997",
    url = "citeseer.ist.psu.edu/georgatos97entrenchment.html" }
Citations (may not include all citations):
850   A logic for default reasoning (context) - Reiter - 1980  ACM   DBLP
759   Negation as failure (context) - Clark - 1978  ACM   DBLP
451   Circumscription: A form of non-monotonic reasoning (context) - McCarthy - 1980
224   preferential models and cumulative logics (context) - Kraus, Lehmann et al. - 1990
166   Computing circumscription (context) - Lifschitz - 1985  ACM   DBLP
151   Reasoning about Change (context) - Shoham - 1988  ACM
129   What does a conditional knowledge base entail (context) - Lehmann, Magidor - 1992
121   Harvard University Press (context) - Lewis - 1973
118   Non-monotonic logic (context) - McDermott, Doyle - 1980
105   Theoretical foundations for nonmonotonic reasoning in expert.. (context) - Gabbay - 1985
101   Inconsistency management and prioritized syntax entailment (context) - Benferhat, Cayrol et al. - 1993
96   the semantics of updates in databases (context) - Fagin, Ullman et al. - 1983
95   Possibilistic logic - Dubois, Lang et al. - 1994  ACM
94   General patterns in nonmonotonic reasoning (context) - Makinson - 1994  ACM
91   Artificial Intelligence (context) - Ginsberg - 1986  ACM   DBLP
87   General theory of cumulative inference (context) - Makinson - 1989  ACM   DBLP
78   Revisions of knowledge systems using epistemic entrenchment (context) - Gardenfors, Makinson - 1992  ACM   DBLP
77   the logic of theory change: partial meet contraction and rev.. (context) - Alchourron, Gardenfors et al. - 1985
57   a natural ordering of defaults with tractable applications t.. (context) - Pearl - 1990
57   Conditional entailment: Bridging two approaches to default r.. (context) - Geffner, Pearl - 1992  ACM   DBLP
56   Belief revision (context) - Gardenfors, Rott - 1994  ACM
51   Adding priorities and specificity to default logic (context) - Brewka - 1994  ACM   DBLP
48   Nonmonotonic inference based on expectations (context) - Gardenfors, Makinson - 1994  ACM   DBLP
46   Relations between the logic of theory change and nonmonotoni.. (context) - Makinson, Gardenfors - 1991  ACM   DBLP
33   A theory of conditionals (context) - Stalnaker - 1968
32   Iterated belief change based on epistemic entrenchment - Nayak - 1994
30   How to prefer more specific defaults in terminological defau.. - Baader, Hollunder - 1993  DBLP
28   Epistemic entrenchment and possibilistic logic (context) - Dubois, Prade - 1991  ACM   DBLP
24   Annals of Mathematics and Artificial Intelligence (context) - Marek, Nerode et al. - 1990  ACM
19   Changing conditional beliefs unconditionally - Nayak, Foo et al. - 1996  ACM
19   Preferential belief change using generalized epistemic entre.. (context) - Rott - 1992  DBLP
14   Hypothetical Reasoning (context) - Rescher - 1964  ACM
13   as the conditional logic of nonmonotonicity (context) - Lamarre - 1991
12   Research Notes in Artificial Intelligence (context) - Touretzky, of - 1986
12   Epistemic entrenchment with incomparabilities and relational.. (context) - Lindstrom, Rabinowicz - 1991  ACM   DBLP
11   belief revision and conditional logic (context) - Katsuno, Satoh et al. - 1991
9   the logic of theory base change (context) - Williams - 1994
9   A semantic approach to nonmonotonic reasoning: inference ope.. (context) - Lindstrom - 1990
8   The Leibniz Center for Research in Computer Science (context) - Freund, Lehmann et al. - 1994
7   A preference-based approach to default reasoning (context) - Delgrande - 1994  ACM
7   From ordering-based nonmonotonic reasoning to conditional lo.. (context) - del, Herzig et al. - 1994  ACM   DBLP
7   Pragmatic logics (context) - Bell - 1991  DBLP
6   Ordered presentation of theories (context) - Ryan - 1992
4   the use of epistemic entrenchment in nonmonotonic reasoning (context) - Wobcke - 1992
4   Ordering-based representations of rational inference - Georgatos - 1996  ACM   DBLP
4   Default consequence relations as a logical framework for log.. (context) - Bochman - 1995  ACM   DBLP
2   presuppositions and the theory of counterfactuals (context) - Veltman - 1976
2   Modal logics for qualitative possibility and beliefs (context) - Boutilier - 1992  ACM   DBLP
1   Partition and revision: The semantics of conditionals (context) - Kratzer - 1981
1   Relevance as deduction: A logical approach to information re.. (context) - Amati, Georgatos - 1996
1   From monotonicity to nonmonotonicity via a theorem prover (context) - Lamarre - 1992
1   Preferential inference and revision using partial entrenchme.. (context) - Georgatos
1   Conditional logics for default reasoning (context) - Boutilier - 1992

Documents on the same site (http://www.cs.engr.uky.edu/~lpnmr/papers.html):   More
Logic Programs as Definitions: a framework for and an.. - Denecker, De Schreye   (Correct)
How to Progress a Database (and Why) I. Logical Foundations - Fangzhen Lin (1994)   (Correct)
Domain Theory Meets Default Logic - Rounds, Zhang (1995)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC