井上, 博明, 谷, 忠明, 和泉, 憲明, 高松, 忍, 福永, 邦雄
全国大会講演論文集
第51回
(人工知能と認知科学),
121-122,
1995-09-20
本論文では,構成的数学における証明可能性解釈の考え方[1]と,プロパティ理論[4]ならびに情報の論理[2,3]に基づいた一階論理の形式化により,説明テキストの文脈理解を行う手法を提案する.ここでは,ハードウェアやソフトウェアの仕様記述言語,設計支援の自然言語インタフェースや仕様書の知識ベース化などを目的として,ハードウェアシステムやリアルタイムシステムなどの有限状態システムに関する説明テキストを…
情報処理学会