Taxonomic plan reasoning

Artificial Intelligence

Volumn 84, Issue 1-2, 1996, Pages 1-35

  Devanbu, Premkumar T ^a   Litman, Diane J ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

Artificial intelligence; Knowledge representation; Reasoning; Reuse

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; AUTOMATA THEORY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; KNOWLEDGE BASED SYSTEMS;

CLASSIFICATION OF SCENARIOS AND PLANS; REPRESENTATION LANGUAGE; TAXONOMIC PLAN REASONING; TERM SUBSUMPTION;

KNOWLEDGE REPRESENTATION;

EID: 0030190180     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(95)00091-7     Document Type: Article

References (43)

1. J.F. Allen, Maintaining knowledge about temporal intervals, Commun. ACM 26 (1983) 832-843.
2. J.F. Allen, Planning as temporal reasoning, in: Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1991) 3-14.
3. A. Artale and E. Franconi, A computational account for a description logic of time and action, in: Proceedings Fourth International Conference on Principles of Knowledge Representation and Reasoning, Bonn (1994) 3-14.
4. F. Baader and B. Hollunder, KRIS: knowedge representation and inference system, Sigart Bull. 2 (3) (1991) 8-14.
5. C. Backström, Computational Complexity of Reasoning about Plans (L.J. Foto & Montage/Roland Offset, Linkoping, 1992).
6. A. Borgida, Towards the systematic development of description logic reasoners: CLASP reconstructed, in: Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992) 259-269.
7. A. Borgida, On the relationship between description logic and predicate calculus queries. Tech. Rept. DCS-TR-295A, Department of Computer Science, Rutgers University, New Brunswick, NJ (1993).
8. R.J. Brachman, D. McGuinness, P. Patel-Schneider, L. Resnick and A. Borgida, Living with CLASSIC: when and how to use a KL-ONE-like language, in: J. Sowa, ed., Principles of Semantic Networks (Morgan Kaufmann, Los Altos, CA, 1991) 401-456.
9. R.J. Brachman and J.G. Schmolze, An overview of the KL-ONE knowledge representation system, Cognit. Sci. 9 (1985) 171-216.
10. P. Devanbu, Software information systems, Ph.D. Thesis, Rutgers University, New Brunswick, NJ (1994).
11. P. Devanbu, R.J. Brachman, P. Selfridge and B. Ballard, LASSIE - a knowledge-based software information system, Commun. ACM 34 (5) (1991).
12. P. Devanbu and D. Litman, Plan-based terminological reasoning, in: Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1991) 128-138.
13. J. Doyle and R.S. Patil, Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services, Artif. Intell. 48 (1991) 261-297.
14. S. Feiner and K. McKeown, Generating coordinated multimedia explanations, in: Proceedings 6th Conference on Artificial Intelligence for Applications, Santa Barbara, CA (1990) 290-296.
15. R.E. Fikes and N.J. Nilsson, Strips: a new approach to the application of theorem proving to problem solving, Artif. Intell. 2 (1971) 189-208.
16. G. Fischer and M. Schneider, Knowledge-based communication processes in software engineering, in: Proceedings Seventh International Software Engineering Conference, Orlando, FL (1984).
17. M.P. Georgeff, Planning, in: J.F. Traub, B.J. Grosz, B.W. Lampson and N.J. Nilsson, eds., Annual Review of Computer Science (Annual Reviews, Palo Alto, CA, 1987) 359-400.
18. D. Harel, First Order Dynamic Logic (Springer, Berlin, 1979).
19. J. Heinsohn, D. Kudenko, B. Nebel and H.J. Profitlich, RAT: representation of actions using terminological logics, DFKI, Saarbrücken, Germany (1992).
20. S. Kambhampati and J. A. Hendler, Flexible reuse of plans via annotation and verification, in: Proceedings 5th IEEE Conference on Applications of AI (1989).
21. H.A. Kautz, A formal theory of plan recognition, Ph.D. Thesis, University of Rochester, Rochester, NY (1987).
22. C.A. Knoblock, J.D. Tenenberg and Q. Yang, Characterizing abstraction hierarchies for planning, in: Proceedings AAAI-91, Anaheim, CA (1991) 692-697.
23. D. Litman and P. Devanbu, CLASP (classification of scenarios and plans): user's guide, Tech. Rept., Bell Laboratories, Murray Hill, NJ (1990).
24. R.M. MacGregor, A deductive pattern matcher, in: Proceedings AAA1-88, St. Paul, MN (1988) 403-408.
25. R. MacGregor, The evolving technology of classification-based knowledge representation systems, in: J. Sowa, ed., Principles of Semantic Networks (Morgan Kaufmann, Los Altos, CA, 1991) 385-400.
26. R.M. MacGregor, A description classifier for the predicate calculus, in: Proceedings AAAI-94, Seattle, WA (1994) 213-220.
27. E. Mays, R. Dionne and R. Weida, K-REP system overview, Sigart Bull. 2 (3) (1991) 93-97.
28. P.F. Patel-Schneider, Small can be beautiful in knowledge representation, in: Proceedings IEEE Workshop on Principles of Knowledge-Based Systems, Denver, CO (1984).
29. P.F. Patel-Schneider and A. Borgida, The (non-standard) treatment of individuals and user functions in CLASSIC concept definitions, Tech. Rept., Bell Laboratories, Murray Hill, NJ (1991).
30. P.F. Patel-Schneider, B. Owsnicki-Klewe, A. Kobsa, N. Guarino, R. MacGregor, W.S. Mark, D.L. McGuinness, B. Nebel, A. Schmiedel and J. Yen, Term subsumption languages in knowledge representation, AI Mag. 11 (2) (1990) 16-23.
31. E. Sacerdoti, Planning in a hierarchy of abstraction spaces, Artif. Intell. 5 (1974) 115-135.
32. E.D. Sacerdoti, A Structure for Plans and Behavior (Elsevier, New York, 1977).
33. R. Sedgewick, Algorithms (Addison-Wesley, Reading, MA, 1988).
34. C.L. Sidner, Plan parsing for intended response recognition in discourse, Comput. Intell. 1 (1985) 1-10.
35. W. Swartout and R. Neches, The shifting terminological space: an impediment to evolvability, in: Proceedings AAAI-86, Philadelphia, PA (1986) 936-941.
36. J.D. Tenenberg, Inheritance in automated planning, in: Proceedings First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ont. (1989) 475-485.
37. M.B. Vilain, The restricted language architecture of a hybrid representation system, in: Proceedings IJCAI-85, Los Angeles, CA (1985) 547-551.
38. W. Wahlster, E. Andre, S. Bandyopadhyay, W. Graf and T. Rist, WIP: the coordinated generation of multimodal presentations from a common representation, in: Proceedings International Workshop on Computational Theories of Communication and their Applications: Problems and Prospects, Trentino (1990).
39. R.A. Weida, Ph.D. Dissertation, Tech. Rept., Department of Computer Science, Columbia University, New York (to appear).
40. R. Weida and D. Litman, Terminological reasoning with constraint networks and an application to plan recognition, in: Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992) 282-293.
41. R. Weida and D. Litman, Subsumption and recognition of heterogeneous constraint networks, in: Proceedings Tenth IEEE Conference on Artificial Intelligence for Applications (CAIA-94), San Antonia, TX (1994) 381-388.
42. M.P. Wellman, Formulation of tradeoffs in planning under uncertainty, Ph.D. Thesis, MIT, Cambridge, MA (1988).
43. J. Yen, R. Neches and R. MacGregor, CLASP: integrating term subsumption systems and production systems, IEEE Trans. Knowledge Data Eng. 3 (1991) 25-31.