• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Plausibility Measures and Default Reasoning (1996)

Cached

  • Download as a PDF
  •  
  • Download as a PS

Download Links

  • [robotics.stanford.edu]
  • [robotics.stanford.edu]
  • [www.cs.cornell.edu]
  • [www.cs.huji.ac.il]
  • [www.cs.huji.ac.il]
  • [robotics.stanford.edu]
  • [robotics.stanford.edu]
  • [robotics.stanford.edu]

  • Other Repositories/Bibliography

  • CiteULike
  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Nir Friedman , Joseph Y. Halpern
Venue:Journal of the ACM
Citations:68 - 10 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@ARTICLE{Friedman96plausibilitymeasures,
    author = {Nir Friedman and Joseph Y. Halpern},
    title = {Plausibility Measures and Default Reasoning},
    journal = {Journal of the ACM},
    year = {1996},
    volume = {48},
    pages = {1297--1304}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

this paper: default reasoning. In recent years, a number of different semantics for defaults have been proposed, such as preferential structures, ffl-semantics, possibilistic structures, and -rankings, that have been shown to be characterized by the same set of axioms, known as the KLM properties. While this was viewed as a surprise, we show here that it is almost inevitable. In the framework of plausibility measures, we can give a necessary condition for the KLM axioms to be sound, and an additional condition necessary and sufficient to ensure that the KLM axioms are complete. This additional condition is so weak that it is almost always met whenever the axioms are sound. In particular, it is easily seen to hold for all the proposals made in the literature. Categories and Subject Descriptors: F.4.1 [Mathematical Logic and Formal Languages]:

Citations

1639 A Mathematical Theory of Evidence - Shafer - 1976
468 Nonmonotonic reasoning, preferential models and cumulative logics - Kraus, Lehmann, et al. - 1990
352 H: Theory of probability - Jeffreys - 1961
238 Ordinal Conditional Functions: A Dynamic Theory of Epistemic States - Spohn - 1988
207 What does a conditional knowledge base entail - Lehmann, Magidor - 1992
203 A(1988) Two modelings for theory change - Grove
174 Counterfactuals - Lewis - 1976
148 Revisions of Knowledge Systems Using Epistemic Entrenchment - Gardenfors, Makinson - 1988
146 The Logic of Conditionals,” D - Adams - 1975
144 System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning - Pearl - 1990
104 Fuzzy Measure Theory - Wang, Klir - 1993
100 Rank-based systems: A simple approach to belief revision, belief update, and reasoning about evidence and actions - Goldszmidt, Pearl - 1992
88 Conditional logics of normality: A modal approach - Boutilier - 1994
82 A semantical approach to nonmonotonic logics - Shoham - 1987
79 Probabilistic semantics for nonmonotonic reasoning: A survey - Pearl - 1989
78 An introduction to possibilistic and fuzzy logics - Dubois, Prade - 1988
75 A maximum entropy approach to nonmonotonic reasoning - Goldszmidt, Morris, et al. - 1990
60 An analysis of some deontic logics - Hansson - 1969
44 Possibilistic logic, preferential models, non-monotonicity and related issues - Dubois, Prade - 1991
43 Statistical foundations for default reasoning - Bacchus, Grove, et al. - 1995
43 Quick completeness proofs for some logics of conditionals - Burgess - 1981
32 On the complexity of conditional logics - Friedman, Halpern - 1994
30 A Symbolic Generalization of Probability Theory - Darwiche - 1992
27 A unified view of consequence relation, belief revision and conditional logic - Katsuno, Satoh - 1991
23 On the connection between non-monotonic inference systems and conditional logics - Crocco, Lamarre - 1992
19 Saturation, nonmonotonic reasoning and the closed-world assumption - Bossu, Siegel - 1985
15 R.Ben-Eliyahu: “A modal logic for subjective default reasoning - Ben-David - 1994
15 High probabilities, model preference and default arguments - Geffner - 1992
13 Plausibility measures: a user's manual - Friedman, Halpern - 1995
13 A qualitative Markov assumption and its implications for belief change - Friedman, Halpern - 1996
10 Defaults as generalized quantifiers - Schlechta
8 Conditional first-order logic revisited - Friedman, Halpern, et al. - 1996
7 Knowledge in Flux - ardenfors, P - 1988
5 Filters and partial orders - Schlechta - 1997
4 Uncertainty measures, decomposability and admissibility - Weber - 1991
3 Default Reasoning - Geffner - 1992
3 Fuzzy integrals and fuzzy measures with their values in complete lattices - Greco - 1987
2 Revisions of knowledge systems using epistemic entrenchment - ardenfors, P, et al. - 1988
2 Doxastic normality logic: A qualitative probabilistic modal framework for defaults - Weydert - 1994
1 Preferential orders and plausibility measures. Unpublished manuscript - Freund - 1996
1 Relations between the theory of change and nonmonotonic logic - ardenfors, P, et al. - 1989
1 Deontic Logic: Introductory and systematic readings - ed - 1971
1 Plausibility Measures and Default Reasoning \Delta 39 - Shoham - 1987
1 Ordinal conditionalfunctions: a dynamic theory of epistemic states - Spohn - 1987
1 Plausibility Measures and Default Reasoning \Delta 39 - Pearl - 1990
1 Plausibility measuresand default reasoning - Friedman, Halpern - 1995
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University