抄録
ファジィPrologは一階ファジィ述語論理に基づく, 論理型のプログラミング言語であり, その数学的基礎をファジィ論理プログラミングと呼ぶ.本論文では, 過去の研究で用いられていた節形式による論理式表現ではなく, 論理プログラミングの基礎を築いたKowalskiの含意演算を用いた論理式表現を用いている.本稿は, まず, 過去のファジィ論理プログラミングの研究の流れを概観する.次に, ファジィ論理における推論を考察し, その結論として, Lukasiewiczの含意が推論に適した含意演算であることを示している.最後に, Lukasiewiczの含意を用いたファジィ論理プログラミングを定義し, その中心的役割を果たす, 手続き的推論法である導出規則の完全性と健全性について明らかにしている.
