Preferential reasoning in the perspective of Poole default logic

Artificial Intelligence

Volumn 98, Issue 1-2, 1998, Pages 209-235

  Freund, Michael ^a  

^a UNIVERSITÉ D'ORLÉANS   (France)

Author keywords

Default logic; Nonmonotonic reasoning; Poole systems; Preferential relations; Rationality

Indexed keywords

COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS;

NONMONOTONIC REASONING; POOLE DEFAULT LOGIC; PREFERENTIAL REASONING;

KNOWLEDGE REPRESENTATION;

EID: 0031675694     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(97)00053-2     Document Type: Article

References (15)

1. C.E. Alchourron and D. Makinson, On the logic of theory change: partial meet contraction and revision functions, Theoria 48 (1982) 14-37.
2. M. Freund, Injective models and disjunctive relations, J. Logic Comput. 3 (3) (1993) 231-247.
3. M. Freund, Default extensions: dealing with composite information, Artificial Intelligence, to appear.
4. M. Freund, D. Lehmann and P. Morris, Rationality, transitivity and contraposition, Artificial Intelligence 52 (1991) 191-203.
5. P. Gärdenfors and D. Makinson, Nonmonotonic inference based on expectations, Artificial Intelligence 65 (1994) 197-245.
6. P. Gärdenfors and D. Makinson, Relations between the logic of theory change and nonmonotonic logic, in: A. Fuhrmann and M. Morreau, eds., The Logic of Theory Change, Lecture Notes in Computer Science, Vol. 465 (Springer, Berlin, 1990).
7. A. Grove, Two modellings for theory change, J. Philos. Logic 17 (1988) 157-170.
8. S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44 (1990) 167-207.
9. D. Lehmann and M. Magidor, What does a conditional knowledge base entail?, Artificial Intelligence 55 (1992) 1-60.
10. S. Lindström and W. Rabinowicz, Epistemic entrenchment with incomparabilities and relational belief revision, in: A. Fuhrmann and M. Morreau, eds., The Logic of Theory Change, Lecture Notes in Computer Science, Vol. 465 (Springer, Berlin, 1990) 93-126.
11. D. Makinson, General patterns in nonmonotonic reasoning, in: D. Gabbay, Hogger and Robinson, eds., Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. Ill, Nonmonotonic and Uncertain Reasoning (Oxford University Press, Oxford, 1994) 35-110.
12. D. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27-47.
13. D. Poole, Default logic, in: Gabbay, Hogger and Robinson, eds., Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3. Nonmonotonic and Uncertain Reasoning (Oxford University Press, Oxford, 1994).
14. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
15. Y. Shoham, A semantical approach to nonmonotonic logics, in: Proceedings Logics in Computer Science, Ithaca, NY (1987) 275-279.