述語論理

LISP

知識表現と推論(1) -知識情報処理の歴史と知識を表現する言語とProlog

デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される知識情報処理の歴史と知識を表現する言語とPrologと述語論理
Symbolic Logic

論理学をつくる 第2部論理学を拡げる 読書メモ

人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(述語論理とタブロー、PPL、IPL)
Symbolic Logic

論理学をつくる 第1部論理学をはじめる 読書メモ

人工知能、数学の基礎のための論理学の教科書(命題論理から述語論理、そして意味論と多値論理、直感主義論理)
モバイルバージョンを終了
タイトルとURLをコピーしました