Daniel Lehmann, Menachem Magidor  Home/Search
Context Related
| cs.huji.ac.il/%7Elehmann/papers...LM.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.huji.ac.il/~lehmann/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a logical approach to nonmonotonic reasoning based on the notion of a nonmonotonic consequence relation. A conditional knowledge base, consisting of a set of conditional assertions of the type if . . . then . . . , represents the explicit defeasible knowledge an agent has about the way the world generally behaves. We look for a plausible definition of the set of all conditional assertions entailed by a conditional knowledge base. In a previous paper [17], S. Kraus and... (Update)
Context of citations to this paper: More
...is satis ed as well . This evaluation rule is well known from many conditional logics (see for instance (Boutilier, 1994; Lehmann and Magidor, 1992)) This choice is based on the optimistic assumption that all worlds are accessible to the agent by means of the performance of...
...logics that are based on conditionals. For example, nonmonotonic logics that are equivalent to the rational closure defined by Lehmann (1989) fail to predict the following inference, which seems intuitively acceptable (where B, D, F, K are logically independent in a...
Cited by: More
Probabilistic Default Reasoning with Conditional Constraints - Lukasiewicz (2000) (Correct)
Distance Semantics for Belief Revision - Lehmann, Magidor, Schlechta (1999) (Correct)
Generics And Defaults - Pelletier, Asher (1995) (Correct)
Active bibliography (related documents): More All
1.0: Nonmonotonic Reasoning, Preferential Models and Cumulative.. - Kraus, Lehmann, Magidor (1990) (Correct)
0.5: The Role of Abductive Reasoning within the Process of Belief.. - Pagnucco (1996) (Correct)
0.5: Reasoning and Knowledge over Impossible Worlds - López-Ortiz (Correct)
Similar documents based on text: More All
0.9: A Note on the Rational Closure of Knowledge Bases With Both.. - Booth, Paris (1998) (Correct)
0.5: Nonmonotonic Reasoning, Conditional Objects and.. - Benferhat, Dubois, Prade (1997) (Correct)
0.4: Default reasoning from conditional knowledge bases: Complexity.. - Eiter, al. (2000) (Correct)
Related documents from co-citation: More All
9: Nonmonotonic reasoning, preferential models and cumulative logics - Kraus, Lehmann et al. - 1990
8: Theoretical foundations for non-monotonic reasoning in expert systems (context) - Gabbay - 1985
5: A Logic for Default Reasoning (context) - Reiter - 1980
BibTeX entry: (Update)
Lehmann, D. "What does a conditional knowledge base entail?" Proc. of The First Intl. Conf. on Knowledge Representation and Reasoning, R. Brachman and H. Levesque, eds., Morgan Kaufman, 1989. http://citeseer.ist.psu.edu/lehmann89what.html More
@inproceedings{ lehmann89what,
author = "Daniel Lehmann",
title = "What Does a Conditional Knowledge Base Entail?",
booktitle = "Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning",
publisher = "Morgan Kaufmann",
address = "Toronto, Canada",
editor = "Ron Brachman and Hector Levesque",
year = "1989",
url = "citeseer.ist.psu.edu/lehmann89what.html" }
Citations (may not include all citations):850 A logic for default reasoning (context) - Reiter - 1980
759 Negation as failure (context) - Clark - 1978
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985
224 preferential models and cumulative logics (context) - Kraus, Lehmann et al. - 1990
182 Probabilistic Reasoning in Intelligent Systems: Networks of .. (context) - Pearl - 1988
91 Artificial Intelligence (context) - Ginsberg - 1986
87 General theory of cumulative inference (context) - Makinson - 1988
69 A semantical approach to nonmonotonic logics (context) - Shoham - 1987
60 The Logic of Conditionals (context) - Adams - 1975
57 a natural ordering of defaults with tractable applications t.. (context) - Pearl - 1990
48 Non-standard Analysis (context) - Robinson - 1966
46 An approach to default reasoning based on a firstorder condi.. (context) - Delgrande - 1988
42 a form of non monotonic reasoning (context) - McCarthy - 1980
41 Impediments to universal preferencebased default theories - Doyle, Wellman - 1991
29 An inquiry into computer understanding (context) - Cheeseman - 1988
27 Conditional logic (context) - Nute - 1984
21 What does a conditional knowledge base entail (context) - Lehmann - 1989
12 Foundations of Infinitesimal Calculus (context) - Keisler - 1976
11 Non-monotonic logic (context) - McDermott, Doyle - 1980
11 Lattice Theory (context) - Gratzer - 1971
10 transitivity and contraposition (context) - Freund, Lehmann et al. - 1991
8 A probabilistic interpretation for lazy nonmonotonic reasoni.. (context) - Satoh - 1989
8 A first-order logic for prototypical properties (context) - Delgrande - 1987
8 Preferential logics: the predicate calculus case (context) - Lehmann, Magidor - 1990
7 Chance and Time (context) - Harper, Stalnaker et al. - 1981
7 A semantic analysis of conditional logic (context) - Stalnaker, Thomason - 1970
4 Papers from (context) - Tarski, Semantics - 1923
4 Non standard measure theory and its applications (context) - Cutland - 1983
3 volume 2 of Annual Reviews in Computer Science (context) - Reiter - 1987
3 Rational logics and their models: a study in cumulative logi.. (context) - Lehmann, Magidor - 1988
3 A semantic characterization of disjunctive relations (context) - Freund - 1991
2 General propositions and causality (context) - Ramsey - 1925
2 The contrary-to-fact conditional (context) - Chisholm - 1946
1 A sketch of some recent developments in the theory of condit.. (context) - Harper - 1981
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.huji.ac.il/~lehmann/): More
Another perspective on Default Reasoning - Lehmann (1992) (Correct)
Optimal Solutions for Multi-Unit Combinatorial Auctions.. - Gonen, Lehmann (2000) (Correct)
Preferred History Semantics for Iterated Updates - Berger, Lehmann, Schlechta (1999) (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