A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases
نویسنده
چکیده
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of adapting the subsumption/specialization relations and the definition of inheritance from the well-formulated notions for static object concepts to dynamic action concepts. The description of action concepts integrates a formal notation of preconditions and effects similar to STRIPS planning systems. The approach suggested here anchors action descriptions in the object-concept part of the taxonomy. Object-concepts, their attributes, and relations are integrated as parameters in action descriptions, and are used in precondition and effect formulae, which specify changes in the object-concept part of the taxonomy. The definition of action concepts and their extensional semantics is based on the view of actions as transformers between world states, where preconditions and effects describe constraints on world states. This view allows a definition of inheritance and the subsumption/specialization relation for action concepts in parallel to the respective definitions for object concepts.
منابع مشابه
A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases
T his paper outlines a formal theory for de fin ing 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 n...
متن کاملMedical knowledge reengineering - converting major portions of the UMLS into a terminological knowledge base
We describe a semi-automatic knowledge engineering approach for converting the human anatomy and pathology portion of the UMLS metathesaurus into a terminological knowledge base. Particular attention is paid to the proper representation of part-whole hierarchies, which complement taxonomic ones as a major hierarchy-forming principle for anatomical knowledge. Our approach consists of four steps....
متن کاملTowards an Eecient Description Logics System with Individuals
This report presents the status of the research the author is conducting on the development of a complete Description Logics knowledge representation system. Description Logics knowledge representation systems are based of a family of formal languages for describing complex structured classes. These languages comprise boolean operators and quanti cation over class attributes, as well as the dec...
متن کاملA Model for the Collaborative Design of Multi Point- of-View Terminological Knowledge Bases
Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model and a formal concept model that supoorts collaborative work. The proposed concept model, which is based on terminological logic and IBIS. The terminological logic part is intended to formally express definitions, while the IBIS part enable u...
متن کاملSemantic Relations, Dynamicity, and Terminological Knowledge Bases
The linguistic and conceptual shift in Terminology has led to a more discourse-centered approach with a focus on how terms are used in texts (Temmerman and Kerremans, 2003). This shift has affected the construction of terminological knowledge bases, which have an underlying network of semantic relations. Such a network can be derived from corpus analysis and the extraction of terminological uni...
متن کامل