Modal logic for subjective default reasoning

Artificial Intelligence

Volumn 116, Issue 1-2, 2000, Pages 217-236

  Ben David, Shai ^a   Ben Eliyahu Zohary, Rachel ^b  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; MATHEMATICAL MODELS; PROBABILITY; SET THEORY; THEOREM PROVING;

DEFAULT LOGIC; DEFAULT MODAL LOGIC; DEFAULT REASONING; MODAL LOGIC; NONMONOTONIC REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0033895987     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00081-8     Document Type: Article

References (25)

1. Bacchus F., Grove A.J., Halpern J.Y., Koller D. Statistical foundations for default reasoning. Proc. IJCAI-93, Chambéry, France. 1993;563-569.
2. Bell J.L., Slomson A.B. Models and Ultraproducts. 1969;North-Holland, Amsterdam.
3. Ben-David S., Ben-Eliyahu R. A modal logic for subjective default reasoning. Proc. 9th Annual IEEE Symposium on Logic in Computer Science LICS-94. 1994;477-486.
4. Boutilier C. Conditional logics of normality: A modal approach. Proc. AAAI-90, Boston, MA. 1990;594-599.
5. Boutilier C. What is a default priority. Proc. 9th Canadian Conference on AI AI-92. 1992;140-147 Vancouver, BC.
6. Bull R.A., Segerberg K. Basic modal logic. Gabbay D., Guenthner F. Handbook of Philosophical Logic, Vol. 2, Extensions of Classical Logic. 1984;1-88 Reidel, Dordrecht.
7. Chang C.C., Keisler H.J. Model Theory. 1990;North-Holland, Amsterdam.
8. Chellas B.F. Basic conditional logic. J. Philos. Logic. 4:1975;133-153.
9. Chellas B.F. Modal Logic. 1980;Cambridge University Press, Cambridge.
10. Delgrande J.P. An approach to default reasoning based on a first-order conditional logic: Revised report. Artificial Intelligence. 36:1988;63-90.
11. Friedman N., Halpern J.Y. Plausibility measures and default reasoning. J. ACM. 1998;. in press.
12. Kraus S., Lehmann D., Magidor M. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence. 44:1990;167-206.
13. Lehmann D. Nonmonotonic logics and semantics. Technical Report TR-98-6:1998;The Leibniz Center for Research in Computer Science, Institute of Computer Science, Hebrew University.
14. Lehmann D., Magidor M. What does a conditional knowledge base entail. Artificial Intelligence. 55:1992;1-60.
15. Makinson D. General theory of cumulative inference. Reinfrank M., de Kleer J., Ginsberg M.L., Sandewall E. Proc. 2nd International Workshop on Nonmonotonic Reasoning, Grassau, Germany. Lecture Notes in Artificial Intelligence. 346:1988;1-18 Springer, Berlin.
16. Moore R.C. Semantical consideration on nonmonotonic logic. Artificial Intelligence. 25:1985;75-94.
17. Neufeld E. Defaults and probabilities; extensions and coherence. Proc. 1st International Conference on Principles of Knowledge Representation and Reasoning KR-89. 1989;312-323 Toronto, Ontario.
18. Nute D. Conditional logic. Gabbay D., Guenthner F. Handbook of Philosophical Logic, Vol. 2, Extensions of Classical Logic. 1984;387-439 Reidel, Dordrecht.
19. Pearl J. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. 1988;Morgan Kaufmann, San Mateo, CA.
20. Pearl J. System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. Proc. 3rd Conference on Theoretical Aspects of Reasoning about Knowledge TARK-90. 1990;121-135 Monterey, CA.
21. Reiter R. A logic for default reasoning. Artificial Intelligence. 13:1980;81-132.
22. Schlechta K. Semantics for defeasible inheritance. Proc. ECAI-90, Stockholm, Sweden. 1990;594-597.
23. Schlechta K. Defaults as generalized quantifiers. J. Logic and Comput. 5:(4):1995;473-494.
24. Schlechta K. Filters and partial orders. J. Interest Group in Pure and Applied Logics. 5:(5):1997;753-772.
25. Shoham Y. Reasoning About Change. 1988;MIT Press, Cambridge, MA.