Switch to: References

Citations of:

The preferential-models approach to non-monotonic logics

In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press. pp. 137--161 (1988)

Add citations

You must login to add citations.
  1. A Resource-bounded Default Logic.Gregory Wheeler - 2004 - In J. Delgrande & T. Schaub (eds.), Proceedings of NMR 2004. AAAI.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • The nature of nonmonotonic reasoning.Charles G. Morgan - 2000 - Minds and Machines 10 (3):321-360.
    Conclusions reached using common sense reasoning from a set of premises are often subsequently revised when additional premises are added. Because we do not always accept previous conclusions in light of subsequent information, common sense reasoning is said to be nonmonotonic. But in the standard formal systems usually studied by logicians, if a conclusion follows from a set of premises, that same conclusion still follows no matter how the premise set is augmented; that is, the consequence relations of standard logics (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Review of Ernest Davis: Representations of Commonsense Knowledge. [REVIEW]Barry Smith - 1994 - Minds and Machines 4 (2):245-249.
    Review of a compendium of alternative formal representations of common-sense knowledge. The book is centered largely on formal representations drawn from first-order logic, and thus lies in the tradition of Kenneth Forbus, Patrick Hayes and Jerry Hobbs.
    Download  
     
    Export citation  
     
    Bookmark