抄録
本論文では、ファジィ量限定子を含む自然言語命題に対し、真理値限定に伴う制約について論じている。例えばMost tall men are heavy is trueに対し、trueで真理値限定したことにより、上記命題を満足する人間集団を考えると、集団を構成する人々に対してtallのファジィ集合のグレード値とheavyのファジィ集合のグレード値に対し制約が存在すると考え、上記制約を具体的に提案している。次に、上記制約の下でファジィ量限定子を含む自然言語命題に対する推論方法を提案している。上記推論方法により、例えばMost tall men are heavy is trueに対し、変形した命題Many tall men are very heavy is trueを推論により導出可能であり、修飾子veryに対応して、ファジィ量限定子Manyを解析的に求めることが可能となる。ここでは、一般に3個のタイプのファジィ量限定子(few等の単調非増加のタイプ、most等の単調非減少のタイプ、several等の単峰形のタイプ)及び単調かつ単射な真理値限定子(true, false, …)を含む命題において、述語部分の修飾による変形に対し、ファジィ推論により、ファジィ量限定子を解析的に求めることができることを示した。
