Brave nonmonotonic inference and its kinds

Annals of Mathematics and Artificial Intelligence

Volumn 39, Issue 1-2, 2003, Pages 101-121

  Bochman, Alexander ^a  

^a HOLON INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0038759238     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1024456630690     Document Type: Article

References (27)

1. S. Benfehrat, D. Dubois and H. Prade, How to infer from inconsistent beliefs without revising?, in: Proceedings of IJCAI'95, Montreal (1995) pp. 1449-1455.
2. S. Benferhat, D. Dubois and H. Prade, Argumentative inference in uncertain and inconsistent knowledge bases, in: Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence, UAI'93, Washington, DC (Morgan Kaufmann, San Mateo, CA, 1993) pp. 411-419.
3. S. Benferhat, D. Dubois and H. Prade, Nonmonotonic reasoning, conditional objects and possibility theory, Artificial Intelligence 92 (1997) 259-276.
4. A. Bochman, Credulous nonmonotonic inference, in: Proceedings of IJCAI'99, Stockholm, ed. T. Dean (Morgan Kaufmann, San Mateo, CA, 1999) pp. 30-35.
5. A. Bochman, Nonmonotonic reasoning in epistemic states, unpublished (1999).
6. A. Bochman, A Logical Theory of Nonomonotonic Inference and Belief Change (Springer, Berlin, 2001).
7. A. Bochman, Possible worlds semantics for credulous and contraction inference, in: Proceedings of Joint German/Austrian Conference on AI (KI 2001), Vienna, eds. F. Baader, G. Brewka and T. Eiter, Lecture Notes in Artificial Intelligence, Vol. 2174 (Springer, Berlin, 2001) pp. 94-105.
8. S. Brass, On the semantics of supernormal defaults, in: Proceedings of IJCAI-93 (1993) pp. 578-583.
9. J.P. Burgess, Quick completeness proofs for some logics of conditionals, Notre Dame Journal of Formal Logic 22 (1981) 76-84.
10. C. Cayrol, From non-monotonic syntax-based entailment to preference-based argumentation, in: Symbolic and Qualitative Approaches to Reasoning and Uncertainty, ECSQARU'95, Fribourg, Switzerland, eds. C. Froidevaux and J. Kohlas, Lecture Notes in Artificial Intelligence, Vol. 946 (Springer, Berlin, 1995) pp. 99-106.
11. C. Cayrol and M.-C. Lagasquie-Shiex, Non-monotonic syntax-based entailment: A classification of consequence relations, in: Symbolic and Qualitative Approaches to Reasoning and Uncertainty, EC-SQARU'95, Fribourg, Switzerland, eds. C. Froidevaux and J. Kohlas, Lecture Notes in Artificial Intelligence, Vol. 946 (Springer, Berlin, 1995) pp. 107-114.
12. J. Dix and D. Makinson, The relationship between KLM and MAK models for nonmonotonic inference operations, Journal of Logic and Computation 1 (1992) 131-140.
13. D.M. Gabbay, Theoretical foundations for non-monotonic reasoning in expert systems, in: Logics and Models of Concurrent Systems, ed. K.R. Apt (Springer, Berlin, 1985).
14. P. Gardenfors and D. Makinson, Nonmonotonic inference based on expectations, Artificial Intelligence 65 (1994) 197-245.
15. S. Kraus, D. Lehmarm and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44 (1990) 167-207.
16. D. Lehmann and M. Magidor, What does a conditional knowledge base entail?, Artificial Intelligence 55 (1992) 1-60.
17. D. Makinson, General theory of cumulative inference, in: Nonmonotonic Reasoning, ed. M. Reinfrank, Lecture Notes in Artificial Intelligence, Vol. 346 (Springer, Berlin, 1989) pp. 1-18.
18. D. Makinson, General patterns in nonmonotonic reasoning, in: Nonmonotonic and Uncertain Reasoning, eds. D.M. Gabbay et al., Vol. 2, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3 (Oxford University Press, Oxford, 1994) pp. 35-110.
19. Y. Moinard and R. Rolland, Circumscriptions from what they cannot do (preliminary report), Working Papers of Common Sense'98, University of London (1998) pp. 20-41.
20. G. Pinkas and R.P. Lord, Reasoning from inconsistency: A taxonomy of principles for resolving conflict, in: Proceedings of the Third Conference on Principles of Knowledge Representation and Reasoning, KR'92, Cambridge, MA (Morgan Kaufmann, San Mateo, CA, 1992) pp. 709-719.
21. D. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27-47.
22. D. Poole, The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning, Artificial Intelligence 49 (1991) 281-307.
23. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
24. Y. Shoham, Reasoning about Change (Cambridge University Press, 1988).
25. P. Siegel and L. Forget, A representation theorem for preferential logics, in: Principles of Knowledge Representation and Reasoning, Proceedings of Fifth International Conference, KR'96, eds. L.C. Aiello, J. Doyle and S.C. Shapiro (Morgan Kaufmann, San Mateo, CA, 1996) pp. 453-460.
26. J. Van Benthem, Foundations of conditional logic, Journal of Philosophical Logic 13 (1984) 303-349.
27. J. Van Benthem, Partiality and monotonicity in classical logic, Logique et analyse 19(114) (1986) 225-247.