Most of the formalized frame-based description languages employed in KLONE-style hybrid systems give up expressing default knowledge, instead concentrate on only definitional properties.
In this thesis, we enhance the expressive power of a frame-based description language by representing default relations between concepts, and formalize the enhanced language and its extended terminological reasoning. It is also shown that this enhancement preserves all of the definitional advantages, and does not cause the reasoning to become intractable.
In addition, we investigate how default knowledge can be considered when the enhanced language is integrated with a fact language within hybrid systems.
KL-ONE 형태의 혼성 지식 표현 시스템에서 sublanguage의 하나로 채택되어지는 대부분의 frame-based description language는 정의적 기능에 중점을 두고 디폴트 지식은 전혀 표현하지 않고 있다.
본 논문에서는 기존의 정의적 장점을 손상시키지 않는 한도 내에서 디폴트 지식을 표현하고자 하였다. 그리고 표현력의 증가에 따른 추론 형태의 수정에 대해 살펴보았으며, 제안된 디폴트 지식의 표현이 frame-based description language의 intractability를 가져오는 요인이 아님을 보였다.
Frame-based description language가 혼성 시스템내의 또 하나의 sublanguage인 fact language와 결합될 때, 제안된 디폴트 지식의 표현이 끼치는 영향 및 이를 이용하는 방법에 대해서도 살펴보았다.
