A Resource-bounded Default Logic

In J. Delgrande & T. Schaub (eds.), Proceedings of NMR 2004. AAAI (2004)
  Copy   BIBTEX


This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferential statistics, including hypothesis testing and the estimation of a populations mean, variance and proportions. The logic replaces classical defaults with ordered pairs consisting of a Reiter default in the first coordinate and a real number within the unit interval in the second coordinate. This real number represents an upper-bound limit on the probability of accepting the consequent of an applied default and that consequent being false. A method for constructing extensions is then defined that preserves this upper bound on the probability of error under a (skeptical) non-monotonic consequence relation.



    Upload a copy of this work     Papers currently archived: 74,662

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

50 (#232,999)

6 months
1 (#419,921)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gregory Wheeler
Frankfurt School Of Finance And Management

References found in this work

Logical Foundations of Probability.Rudolf Carnap - 1950 - Chicago, IL, USA: Chicago University of Chicago Press.
Probability and the Logic of Rational Belief.Henry E. Kyburg Jr - 1961 - Middletown, CT, USA: Wesleyan University Press.
Probability and the Logic of Rational Belief.Henry Ely Kyburg - 1961 - Middletown, CT, USA: Middletown, Conn., Wesleyan University Press.

View all 14 references / Add more references