LISP 知識表現と推論(1) -知識情報処理の歴史と知識を表現する言語とProlog デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される知識情報処理の歴史と知識を表現する言語とPrologと述語論理 2022.01.03 LISPprologSymbolic Logicエキスパートシステム:expertsystem検索技術:Search Technology
Symbolic Logic 論理学をつくる 第2部論理学を拡げる 読書メモ 人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(述語論理とタブロー、PPL、IPL) 2021.11.16 Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic集合論:Set theory
Symbolic Logic 論理学をつくる 第1部論理学をはじめる 読書メモ 人工知能、数学の基礎のための論理学の教科書(命題論理から述語論理、そして意味論と多値論理、直感主義論理) 2021.10.03 Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic
