Abstract
This paper outlines a formal theory for defining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central problems of defining an extensional semantics, and, based on this, a subsumption/specialization relation as well as the inheritance of descriptions for action concepts is addressed, as an extension to the respective notions for static object concepts. The suggested approach is based on the view of actions as transformers between world states, where a world state corresponds to an instantiation of object concepts coherent with the knowledge base. A model-theoretic, extensional semantics for action concepts is defined – in accordance with the semantics for object concepts – as the set of world states which are in the domain/ range of the transformation function associated with the action concept, as specified through the precondition and effect formulae stated in the action description. The specialization/subsumption relation for action concepts is defined based on the set inclusion of the sets of world states which fulfill the precondition (effect) formula.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Artale, A., Franconi, E.: A Temporal Description Logic for Reasoning about Actions and Plans. Journal of Artificial Intelligence Research 9, 463–506 (1998)
Artale, A., Franconi, E.: A Computational Account for a Description Logic of Time and Action. In: Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, Bonn, Germany, pp. 3–14 (1994)
Artale, A., Franconi, E.: Time, Actions, and Plans Representation in a Description Logic. International Journal of Intelligent Systems (1995)
Artale, A., Franconi, E.: Hierarchical Plans in a Description Logic of Time and Action
Bettini, C.: A Formalization of Interval-Based temporal Subsumption in First-Order Logic. In: Lakemeyer, G., Nebel, B. (eds.) ECAI-WS 1992. LNCS (LNAI), vol. 810, Springer, Heidelberg (1994)
Bettini, C.: Time Dependent Concepts: Representation and Reasoning Using Temporal Description Logics. Data and Knowledge Engineering 22(1), 1–38 (1997)
Brachman, R.J., Schmolze, J.G.: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2), 171–216 (1985); Also Fairchild Technical Report No 655 (1984)
Devanbu, P.T., Litman, D.J.: Taxonomic Plan Reasoning. Artificial Intelligence 84, 1–35 (1996)
Heinsohn, J., Kudenko, D., Nebel, B., Profitlich, H.-J.: RAT: Representation of Actions Using Terminological Logics, DFKI Technical Report (1992)
Kemke, C.: Die Darstellung von Aktionen in Vererbungshierarchien (The Representation of Actions in Inheritance Hierarchies). In: Hoeppner (ed.) GWAI 1988, Proceedings of the German Workshop on Artificial Intelligence, Springer, Heidelberg (1988)
Kemke, C.: Representation of Domain Knowledge in an Intelligent Help System. In: Proceedings of the Second IFP Conference on Human-Computer Interaction INTER-ACT 1987, Stuttgart, FRG, pp. 215–200 (1987)
Kemke, C.: What Do You Know about Mail? Knowledge Representation in the SINIX Consultant. Artificial Intelligence Review 14, 253–275 (2000); Reprinted in Hegner, S.J., McKevitt, P., Norvig, P., Wilensky, R. (eds.): Intelligent Help Systems for UNIX. Kluwer Academic Publishers, Boston (2000)
Kemke, C.: About the Ontology of Actions. Technical Report MCCS-01-328, Computing Research Laboratory, New Mexico State University (2001)
Lifschitz, V.: On the Semantics of STRIPS. In: The 1986 Workshop on Reasoning about Actions and Plans, pp. 1–10. Morgan Kaufmann, San Francisco (1987)
Patel-Schneider, P.F., Owsnicki-Klewe, B., Kobsa, A., Guarino, N., MacGregor, R., Mark, W.S., McGuiness, D.L., Nebel, B., Schmiedel, A., Yen, J.: Term Subsumption Languages in Knowledge Representation. AI Magazine 11(2), 16–23 (1990)
Liebig, T., Roesner, D.: Action Hierarchies in Description Logics. In: Workshop on Description Logics (1995)
Weida, R., Litman, D.: Terminological Reasoning with Constraint Networks and an Application to Plan Recognition. In: Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA , pp. 282–293(1992)
Weida, R., Litman, D.: Subsumption and Recognition of Heterogeneous Constraint Networks. In: Proceedings of CAIA 1994 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kemke, C. (2003). A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases. In: Zhong, N., Raś, Z.W., Tsumoto, S., Suzuki, E. (eds) Foundations of Intelligent Systems. ISMIS 2003. Lecture Notes in Computer Science(), vol 2871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39592-8_95
Download citation
DOI: https://doi.org/10.1007/978-3-540-39592-8_95
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20256-1
Online ISBN: 978-3-540-39592-8
eBook Packages: Springer Book Archive