| 研究概要 |
本研究は, 述語と引数の区別を持たない論理体系「タプル論理」の枠組みの中で, 自然言語文, 特に日本語の基本的構文である名詞文(述語が名詞+断定辞からなる文)と用言文(述部が動詞, 形容詞などからなる文)を表現し, それら構文中に現れる「すべての」や「ある」などの限量的表現の意味を, Syllogism(いわゆる三段論法)とその拡張公理体系を用いて数学的に厳密に記述することを目指している. 今年度は, なるべく広い範囲の構文を扱えるようにSyllogism体系をいくつかの方向から拡張し, それらの論理的完全性を証明することを中心課題として研究を進めた. またその応用として, 簡単な日本語質問応答システムを試作した. 具体的成果は以下の通りである.
1.古来のSyllogism体系(L)で扱うことのできる命題は, 名詞文に対応する命題だけである. 昨年度の研究では,用言文を扱えるようにするために, 「動詞命題」を導入して体系Lを拡張する方法を示したが, 今年度は, この拡張体系LVの公理系を整備し, 数学的な意味論を与えるとともに, その意味論の下での完全性を証明した.
2.体系Lで用いることのできる名辞(普通名詞に相当する「名前」)は, すべてアトミックなものであり, いくつかの名辞から合成された複合名辞は扱えなかった. 昨年度の研究においては, 連言名辞と呼ぶ合成名辞を扱えるように拡張したSyllogism体系LCを提案したが, 今年度は体系LCをさらに拡張して, 連言, 選言, 補, の3種の名辞演算子を許すような体系LCCを提案し, 公理系と意味論を与えるとともに, 完全性を証明した.
3.昨年度は, 基本的な構造の日本語文をタプル論理の中で, 「文タプル」と呼ぶ形式で表す方法を与えた. 今年度は, この形式で表された日本語文に対する推論機構として上述の体系LVを組み込む方法を与え, これに基づく日本語質問応答システムを試作した.
|
