Advertisement

A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases

  • Christel Kemke
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2871)

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.

Keywords

Knowledge Representation Description Logic Atomic Formula World State Object Concept 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Artale, A., Franconi, E.: A Temporal Description Logic for Reasoning about Actions and Plans. Journal of Artificial Intelligence Research 9, 463–506 (1998)zbMATHMathSciNetGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Artale, A., Franconi, E.: Time, Actions, and Plans Representation in a Description Logic. International Journal of Intelligent Systems (1995)Google Scholar
  4. 4.
    Artale, A., Franconi, E.: Hierarchical Plans in a Description Logic of Time and ActionGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Bettini, C.: Time Dependent Concepts: Representation and Reasoning Using Temporal Description Logics. Data and Knowledge Engineering 22(1), 1–38 (1997)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    Devanbu, P.T., Litman, D.J.: Taxonomic Plan Reasoning. Artificial Intelligence 84, 1–35 (1996)CrossRefGoogle Scholar
  9. 9.
    Heinsohn, J., Kudenko, D., Nebel, B., Profitlich, H.-J.: RAT: Representation of Actions Using Terminological Logics, DFKI Technical Report (1992)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Kemke, C.: About the Ontology of Actions. Technical Report MCCS-01-328, Computing Research Laboratory, New Mexico State University (2001)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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)Google Scholar
  16. 16.
    Liebig, T., Roesner, D.: Action Hierarchies in Description Logics. In: Workshop on Description Logics (1995)Google Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    Weida, R., Litman, D.: Subsumption and Recognition of Heterogeneous Constraint Networks. In: Proceedings of CAIA 1994 (1994)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Christel Kemke
    • 1
  1. 1.Department of Computer ScienceUniversity of ManitobaWinnipegCanada

Personalised recommendations