A logical framework for default reasoning

Artificial Intelligence

Volumn 36, Issue 1, 1988, Pages 27-47

  Poole, David ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC; SYSTEMS SCIENCE AND CYBERNETICS - COGNITIVE SYSTEMS;

DEFAULT REASONING; FIRST-ORDER MODEL THEORY; THEORIST;

ARTIFICIAL INTELLIGENCE;

EID: 0024066001     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(88)90077-X     Document Type: Article

References (29)

1. Tweety—Still flying: Some remarks on abnormal birds, applicable rules and a default prover
2. A first-order conditional logic for prototypical properties
3. A truth maintenance system
4. An assumption-based TMS
5. On inheritance hierarchies with exceptions
6. Formalizing nonmonotonic reasoning systems
7. The multiple extension problem revisited
8. Applying theory formation to the planning problem
9. Default reasoning as circumscription
10. In defence of logic
11. What's wrong with non-monotonic logic
12. Applications of circumscription to formalizing common-sense knowledge
13. Non-monotonic logic I
14. The role of logic in knowledge representation and commonsense reasoning
15. Semantical considerations on nonmonotonic logic
16. Towards solving the multiple extension problem: Combining defaults and probabilities
17. On the comparison of theories: Preferring the most specific explanation
18. Theorist: A logical reasoning system for defaults and diagnosis
19. Variables in hypotheses
20. A logic for default reasoning
21. On interacting defaults
22. Implicit ordering of defaults in inheritance systems