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

演題番号	1F4-3
題目	言葉をベースとした拡張型述語知識の推論処理法
著者	北野正樹 (拓殖大学　工学部　情報工学科) 石川勉 (拓殖大学　工学部　情報工学科)
時間	6月7日(水) 17:40～18:00
概要	本報告では，知識構成要素を言葉（概念）とする拡張型の述語論理表現を対象とした推論法を提案する．本方法は概念の意味的な包摂関係に着目し，これまでのオーダーソート論理を拡張した推論法である．
論文	PDFファイル