ملخص: The dynamic aspects of knowledge representation systems, namely, reasoning with represented knowledge and revising represented knowledge, are the most important aspects of such systems. In this book, these aspects are investigated in the context of hybrid representation systems based on KL-ONE. After a general introduction to knowledge representation, reasoning, and revision, a typical member of the family of hybridi representation systems based on KL-ONE is introduced and analyzed from a semantic and algorithmic point of view. This analysis leads to new complexity reaults about subsumption determination and a characterization of a proposed hybrid inference algorithm as conditionally complete. Additionally, it is shown that so-called terminological cycles can be integrated smoothly into the framework.

طبعة: Heidelberg,New York: Springer-Verlag Springer-Verlag
لغة: إنجليزية
الوصف المادي: 270p. ;24 cm
ISBN: 3540524436