A formal approach to describing action concepts in taxonomical knowledge bases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2871, Issue , 2003, Pages 657-662

  Kemke, Christel ^a  

^a UNIVERSITY OF MANITOBA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; INTELLIGENT SYSTEMS; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; OBJECT ORIENTED PROGRAMMING; SEMANTICS; TAXATION;

ACTION DESCRIPTIONS; CENTRAL PROBLEMS; DESCRIPTION LOGIC; FORMAL APPROACH; KNOWLEDGE BASIS; KNOWLEDGE REPRESENTATION LANGUAGE; MODEL-THEORETIC; TRANSFORMATION FUNCTIONS;

SEMANTICS; KNOWLEDGE BASED SYSTEMS;

ACTION CONCEPTS; FORMAL THEORY; REPRESENTATION LANGUAGES; TAXANOMICAL KNOWLEDGE;

EID: 7444244455     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39592-8_95     Document Type: Conference Paper

References (18)

1. Artale A. and E. Franconi, A Temporal Description Logic for Reasoning about Actions and Plans, Journal of Artificial Intelligence Research, 9,pp. 463-506, 1998
2. Artale A. and E. Franconi, A Computational Account for a Description Logic of Time and Action, Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, pp. 3-14, Bonn, Germany, 1994
3. Artale A. and E. Franconi, Time, Actions, and Plans Representation in a Description Logic, International Journal of Intelligent Systems, 1995
4. Artale A. and E. Franconi, Hierarchical Plans in a Description Logic of Time and Action
5. Bettini, C. A Formalization of Interval-Based temporal Subsumption in First-Order Logic, In: Lecture Notes in Artificial Intelligence, LNAI-810, Springer, 1994
6. Bettini, C. Time Dependent Concepts: Representation and Reasoning Using Temporal Description Logics, Data and Knowledge Engineering, 22(1), pp.1-38, 1997
7. Brachman, R.J. and J.G. Schmolze, An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2): 171-216, 1985. Also Fairchild Technical Report No 655, 1984
8. Devanbu, P. T. and D. J. Litman, Taxonomic Plan Reasoning, Artificial Intelligence, 84, pp. 1-35, 1996
9. Heinsohn, J., D. Kudenko, B. Nebel, and H.-J. Profitlich, RAT: Representation of Actions Using Terminological Logics, DFKI Technical Report, 1992
10. Kemke, C. Die Darstellung von Aktionen in Vererbungshierarchien (The Representation of Actions in Inheritance Hierarchies). In: Hoeppner (ed.), GWAI-88, Proceedings of the German Workshop on Artificial Intelligence, Springer, 1988
11. Kemke, C. Representation of Domain Knowledge in an Intelligent Help System. In Proceedings of the Second IFP Conference on Human-Computer Interaction INTERACT’87, pp. 215-200, Stuttgart, FRG, 1987
12. Kemke, C. What Do You Know about Mail? Knowledge Representation in the SINIX Consultant. Artificial Intelligence Review, 14 : 253-275, Kluwer Academic Publishers, 2000. Reprinted in Stephen J. Hegner, Paul McKevitt, Peter Norvig, Robert Wilensky (eds.): Intelligent Help Systems for UNIX. Kluwer Academic Publishers, Boston, USA & Dordrecht, The Netherlands, 2000
13. Kemke, C. About the Ontology of Actions. Technical Report MCCS-01-328, Computing Research Laboratory, New Mexico State University, 2001
14. Lifschitz, V. On the Semantics of STRIPS, In: The 1986 Workshop on Reasoning about Actions and Plans, pp.1-10, Morgan Kaufmann, 1987
15. Patel-Schneider, P. F., B. Owsnicki-Klewe, A. Kobsa, N. Guarino, R. MacGregor, W. S. Mark, D. L. McGuiness, B. Nebel, A. Schmiedel, and J. Yen, Term Subsumption Languages in Knowledge Representation, AI Magazine, 11(2): 16-23, 1990
16. Liebig, T. and D. Roesner, Action Hierarchies in Description Logics, Workshop on Description Logics, 1995.
17. Weida R. and D Litman, Terminological Reasoning with Constraint Networks and an Application to Plan Recognition, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, pp. 282-293, Cambridge, MA, 1992
18. Weida R. and D Litman, Subsumption and Recognition of Heterogeneous Constraint Networks, Proceedings of CAIA-94, 1994