2013-02-06 5 述語論理とファジィ論理 ぱらぱらめくる『人口知能概論』 ぱらぱらめくるシリーズ 人工知能 形式論理、論理式、命題論理 1階、2階述語論理(参考) 述語論理における推論 命題、リテラル、節、スコーレム定数・スコーレム関数 単一化…この辺りは群論とかの臭いがする 導出・定理証明 ホーン節と論理プログラミング prolog ファジィ論理 集合としての解釈と論理としての解釈とそれに値を与える関数 その他の論理 単調論理と非単調論理 サーカムスクリプション(2階述語論理) 様相論理
