言葉をベースとした拡張型述語知識の推論処理法

抄録

本報告では，知識構成要素を言葉（概念）とする拡張型の述語論理表現を対象とした推論法を提案する．本方法は概念の意味的な包摂関係に着目し，これまでのオーダーソート論理を拡張した推論法である．