抄録
ファジィ論理プログラミングは, ファジィ論理に基づくファジィプログラミング言語Fuzzy Prolog の数学的基礎である.本論文では, ファジィ論理プログラミングを, (1)ファジィ確定節;不確定な主張を表現する論理式, (2)ファジィ論理的帰結;正しい結論と特徴付けられたファジィ確定節, (3)SLD-導出;ファジィ確定節の集合からファジィ論理的帰結を導き出す手続き, (4)導出の度合;最も確からしいファジィ論理的帰結を与える値, の4つから定義する.本稿の主要な結論は, SLD-導出の健全性と完全性, すなわち, ファジィ確定節がファジィ論理的帰結であることと, ファジィSLD-導出によって導出されることが, 同値となることである。
