Defaults and relevance in model-based reasoning

Artificial Intelligence

Volumn 97, Issue 1-2, 1997, Pages 169-193

  Khardon, Roni ^a   Roth, Dan ^b  

^a HARVARD UNIVERSITY   (United States)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

Common sense reasoning; Context; Default reasoning; Knowledge representation; Learning to reason; Reasoning with models

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FUZZY SETS; KNOWLEDGE BASED SYSTEMS; LEARNING SYSTEMS; MATHEMATICAL MODELS;

COMMON SENSE REASONING; DEFAULT REASONING; REITER'S DEFECT LOGIC; RELEVANCE REASONING;

KNOWLEDGE REPRESENTATION;

EID: 0031359622     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(97)00044-1     Document Type: Article

References (32)

1. N. Alon, J. Bruck, J. Naor, M. Naor and R. Roth, Construction of asymptotically good low-rate error-correcting codes through pseudo-random graphs, IEEE Trans. Inform. Theory 38 (1992) 509-516.
2. N.H. Bshouty, Exact learning via the monotone theory, Inform. and Comput. 123 (1995) 146-153.
3. P.N. Johnson-Laird, Mental Models (Harvard University Press, Cambridge, MA, 1983).
4. P.N. Johnson-Laird and R.M.J. Byrne, Deduction (Lawrence Erlbaum, London, 1991).
5. H. Kautz, M. Kearns and B. Selman, Horn approximations of empirical data, Artificial Intelligence 14 (1995) 129-145.
6. H. Kautz and B. Selman, Hard problems for simple default logics, Artificial Intelligence 49 (1991) 243-279.
7. R. Khardon and D. Roth, Learning to reason, in: Proceedings AAAI-94, Seattle, WA (1994) 682-687.
8. R. Khardon and D. Roth, Learning to reason with a restricted view, in: Workshop on Computational Learning Theory (1995) 301-310.
9. R. Khardon and D. Roth, Reasoning with models, Artificial Intelligence 87 (1996) 187-213.
10. J. Kolodner, Case-Based Reasoning (Morgan Kaufmann, Los Altos, CA, 1993).
11. S.M. Kosslyn, Image and Mind (Harvard University Press, Cambridge, MA, 1983).
12. H.J. Levesque, Making believers out of computers, Artificial Intelligence 30 (1986) 81-108.
13. H.J Levesque, Is reasoning too hard?, in: Proceedings 3rd NEC Research Symposium (1992).
14. J. McCarthy and P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer and D. Michie, eds., Machine Intelligence, Vol. 4 (Edinburgh University Press, Edinburgh, 1969).
15. M. Minsky, A framework for representing knowledge, in: P.H. Winston, ed., The Psychology of Computer Vision ( McGraw-Hill, New York, 1975); also in: R.J. Brachman and H.J. Levesque, Readings in Knowledge Representation (Morgan Kaufmann, Los Altos, CA, 1985).
16. M. Minsky, A framework for representing knowledge, in: P.H. Winston, ed., The Psychology of Computer Vision ( McGraw-Hill, New York, 1975); also in: R.J. Brachman and H.J. Levesque, Readings in Knowledge Representation (Morgan Kaufmann, Los Altos, CA, 1985).
17. J. Naor and M. Naor, Small-bias probability spaces: Efficient constructions and applications, SIAM J. Comput. 22 (1993) 838-856.
18. C.H. Papadimitriou, On selecting a satisfying truth assignment, in: Proceedings 32nd Annual IEEE Symposium on Foundations of Computer Science (1991).
19. J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Morgan Kaufmann, Los Altos, CA, 1988).
20. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
21. R. Reiter, Nonmonotonic reasoning, in: Annual Reviews of Computer Science (Annual Reviews Inc., Palo Alto, CA, 1987) 147-188.
22. R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57-95.
23. D. Roth, Learning to reason: the non-monotonic case, in: Proceedings IJCAI-95, Montreal, Que. (1995) 1178-1184.
24. D. Roth, On the hardness of approximate reasoning, Artificial Intelligence 82 (1996) 273-302.
25. D. Schuurmans and R. Greiner, Learning default concepts, in: Proceedings 10th Canadian Conference on Artificial Intelligence (CSCSI-94), Banff, Alta. (1994).
26. B. Selman, Tractable default reasoning, Ph.D. Thesis, Department of Computer Science, University of Toronto, Ont. (1990).
27. B. Selman and H. Kautz, Model-preference default theories, Artificial Intelligence 45 (1990) 287-322.
28. B. Selman and H. Kautz, Knowledge compilation and theory approximation, J. ACM 43 (1996) 193-224.
29. B. Selman and H.J. Levesque, Abductive and default reasoning: a computational core, in: Proceedings AAAI-90, Boston, MA (1990) 343-348.
30. D.S. Touretzky, J.F. Horty and R.H Thomason, A clash of intuitions: the current state of nonmonotonic multiple inheritance systems, in: Proceedings IJCAI-87, Milan, Italy (Morgan Kaufmann, Los Altos, CA, 1987).
31. L.G. Valiant, A theory of the learnable, Comm. ACM 21 (1984) 1134-1142.
32. L.G. Valiant, Rationality, in: Workshop on Computational Learning Theory (1995) 3-14.