5 述語論理とファジィ論理 ぱらぱらめくる『人口知能概論』

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