Inheritance comes of age: Applying nonmonotonic techniques to problems in industry

Artificial Intelligence

Volumn 103, Issue 1-2, 1998, Pages 237-271

  Morgenstern, Leora ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Applications; Artificial intelligence; Benefits inquiry; Commercial applications; Expert systems; First order logic; Inheritance; Inheritance networks; Insurance; Medical AI; Medical insurance; Nonmonotonic reasoning; Rule based systems; Semantic networks

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ALGORITHMS; EXPERT SYSTEMS; FORMAL LOGIC; PROBLEM SOLVING;

FORMULA AUGMENTED SEMANTIC NETWORKS; INHERITANCE NETWORKS; NONMONOTONIC REASONING; SEMANTIC NETWORKS;

ARTIFICIAL INTELLIGENCE;

EID: 0032131392     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(98)00073-3     Document Type: Article

References (43)

1. K. Ashley, Modeling Legal Argument: Reasoning with Cases and Hypotheses, MIT Press, Cambridge, MA, 1991.
2. G. Brewka, Preferred subtheories: an extended logical framework for default reasoning, in: Proc. IJCAI-1989, Detroit, MI, 1989, pp. 1043-1048.
3. W.F. Clocksin, C.S. Mellish, Programming in Prolog, 3rd ed., Springer, Boston, MA, 1987.
4. A. Darwiche, J. Pearl, On the logic of iterated belief revision, in: R. Fagin (Ed.), Proc. 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, San Mateo, CA, 1994, pp. 5-23.
5. E. Davis, Representations of Commonsense Knowledge, Morgan Kaufmann, San Mateo, CA, 1990.
6. J. Delgrande, T. Schaub, A general approach to specificity in default reasoning, in: Proc. Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR-94), Bonn, Germany, Morgan Kaufmann, San Mateo, CA, 1994, pp. 146-157.
7. W.H. Dowling, J.H. Gallier, Linear time algorithms for testing the satisfiability of propositional Horn formulae, Journal of Logic Programming 3 (1984) 267-284.
8. D. Etherington, Reasoning with Incomplete Information, Morgan Kaufmann, Los Altos, CA, 1988.
9. P. Gardenfors, Knowledge in Flux, MIT Press, Cambridge, MA, 1988.
10. H. Geffner, Default Reasoning: Causal and Conditional Theories, MIT Press, Cambridge, MA, 1990.
11. M. Gelfond, H. Prszymusinska, Formalization of inheritance reasoning in autoepistemic logic, Fundamenta Informaticae 13 (1990) 403-443.
12. M. Ginsberg (Ed.), Readings in Nonmonotonic Reasoning, Morgan Kaufmann, San Mateo, CA, 1987.
13. G. Gottlob, Complexity results for nonmonotonic logics, Journal of Logic and Computation 2 (3) (1992) 397-425.
14. B. Grosof, Building commercial agents: an IBM research perspective, in: Proc. 2nd International Conference on Practical Applications of Intelligent Agents and Multi-Agent Technology (PAAM-97), 1997. Available as IBM Research Report RC20835 and at http://www.research.ibm.com/people/g/grosof.
15. B. Grosof, Proritized conflict handling for logic programs, IBM Research Report RC20836, 1997. Also at http://www.research.ibm.com/people/g/grosof.
16. B. Grosof, Generalizing prioritization, in: J. Allen, R. Fikes, E. Sandewall (Eds.), Proc. 2nd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, Morgan Kaufmann, San Mateo, CA, 1991, pp. 289-300.
17. S. Hanks, D. McDermott, Nonmonotonic logic and temporal projection, Artificial Intelligence 33 (3) (1987) 379-412.
18. J. Horty, Some direct theories of nonmonotonic inheritance, in: D. Gabbay, C. Hogger, J. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning, Oxford University Press, Oxford, 1994, pp. 111-187.
19. J. Horty, R. Thomason, Mixing strict and defeasible inheritance, in: Proc. AAAI-1988, St. Paul, MN, Morgan Kaufmann, San Mateo, CA, 1988, pp. 427-432.
20. J. Horty, R. Thomason, D. Touretzky, A skeptical theory of inheritance in nonmonotonic semantic networks, Artificial Intelligence 42 (1990) 311-349.
21. H. Kautz, B. Selman, Hard problems for simple default logics, in: R. Brachman, H. Levesque, R. Reiter (Eds.), Proc. 1st International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ontario, Morgan Kaufmann, San Mateo, CA, 1989, pp. 189-197.
22. W. Kneale, M. Kneale, The Development of Logic, Clarendon Press, Oxford, 1962.
23. S. Kraus, D. Lehman, M. Magidor, Nonmonotonic reasoning, preferential models, and cumulative logics, Artificial Intelligence 44 (1990) 167-207.
24. E. Mays, R. Dionne, R. Weida, K-REP system overview. SIGART Bulletin 2 (3) (1991).
25. J. McCarthy, Circumscription - a form of nonmonotonic reasoning, Artificial Intelligence 13 (1980) 27-39.
26. J. McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence 28 (1986) 86-116.
27. D. McDermott, J. Doyle, Nonmonotonic logic I, Artificial Intelligence 13 (1980) 41-72.
28. L. Morgenstern, Inheriting well-formed formulae in a formula-augmented semantic network, in: Principles of Knowledge Representation and Reasoning: Proc. 5th International Conference (KR-96), 1996, pp. 268-279.
29. L. Morgenstern, New problems for inheritance theories, in: Proc. 3rd Symposium on Formal Theories of Commonsense Reasoning, Stanford, January 1996. Available at http://www-formal.stanford.edu/leora.
30. L. Morgenstern, The problem with solutions to the frame problem, in: K. Ford, Z. Pylyshyn (Eds.), The Robot's Dilemma Revisited, Ablex, Norwood, NJ, 1996, pp. 99-133.
31. L. Morgenstern, M. Singh, An expert system using nonmonotonic techniques for benefits inquiry in the insurance industry, in: Proc. IJCAI-97, Nagoya, Japan, 1997.
32. R. Moore, Semantical considerations on nonmonotonic logic, Artificial Intelligence 25 (1) (1985) 75-94.
33. Proceedings of the Conference on Practical Applications of Prolog, 1997.
34. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
35. R. Reiter, G. Criscuolo, On interacting defaults, in: Proc. IJCAI-1981, Vancouver, BC, 1981, pp. 270-276.
36. T. Schaub, P. Nicolas, An implementation platform for query-answering in default logics: the XRay system, its implementation and evaluation, in: J. Dix, U. Furbach, A Nerode (Eds.), Logic Programming and Nonmonotonic Reasoning, Springer, Berlin, 1997.
37. J. Schmolze, T. Lipkis, Classification in the KL-ONE Representation System, in: Proc. IJCAI-1983, Karlsruhe, Germany, 1983.
38. B. Selman, H. Levesque, The complexity of path-based defeasible inheritance, Artificial Intelligence 62 (2) (1993) 303-340.
39. M. Shanahan, Solving the Frame Problem, MIT Press, Cambridge, MA, 1997.
40. Y. Shoham, Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence, MIT Press, Cambridge, MA, 1988.
41. L. Stein, Resolving ambiguity in nonmonotonic inheritance hierarchies, Artificial Intelligence 55 (1992) 259-310.
42. D. Touretzky, The Mathematics of Inheritance Systems, Morgan Kaufmann, Los Altos, CA, 1986.
43. L. Zadeh, Fuzzy sets, in: D. Dubois, H. Prade, R. Yager (Eds.), Readings in Fuzzy Sets and Intelligent Systems, Morgan Kaufmann, San Mateo, CA, 1992.