【講演概要】

言葉をベースとする拡張型述語論理形式の知識表現法

石川 勉 (拓殖大学工学部情報工学科)



知識構成要素として日常的に使用する“言葉”を用いる知識表現法を提案する. 本表現法は,対話文等の比較的単純な文(単文および一部の複文)をその表現対象とし, かつ電子化辞書等を用いて容易に変換可能とすることを前提としたものである. 基本的な表現形式は,推論処理との整合性等から従来の述語論理を拡張した形式とし, 表現対象の自然言語文を知識表現の基本式である述語式, 関係式およびそれらから構成される論理式で表現する. また,これら述語式,関係式は基本的に“言葉”をベースとしており, 単語あるいは句をその構成要素とする.