本論文において,我々は自然言語対話システムやエキスパートシステムを構成する際に必要なIF... THEN...ルールベースの推論方法を提案する.本方法においては,入力命題が“QA are F is τ”で IF...THEN ...ルール “IF Q'A' are F' is τA THEN Q''A'' are F'' is τB” が与えられ,推論結果が “Q''A'' are F'' is τB'” (Q, Q', Q'':ファジィ量限定詞, A, A', A'':ファジィ主語, F, F', F'':ファジィ述語, τ, τA, τB, τB':真理値限定詞)の時,真理値限定詞 τB' を求めることができる.我々は,推論結果“Q''A'' are F'' is τB'” を,Qが単調な場合に対し具体例により示す.さらに,様々な含意関数におけるルールの真理値ファジィ集合を求め,これらを使用した際の推論結果に対し考察を加える.
抄録全体を表示