知識表現と推論(1) -知識情報処理の歴史と知識を表現する言語とProlog
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される知識情報処理の歴史と知識を表現する言語とPrologと述語論理
Prolog
実用Common Lisp 読書メモ
LISPを用いた各種人工知能技術の基本的なアイデアの解説(GPS、ELIZA、SUDENT、記号処理システム、自然言語処理システム、Prolog、エキスパートシステム等)
The Art of Prolog: Prologの技芸
人工知能研究や計算言語学と深い関わりを持つ論理型言語Prologの参考図書
エキスパートシステムとCLIPSについて
前向き推論によるエキスパートシステム、CLIPS概要
Clojure core.logicとminiKanren
Clojureでの論理プログラミング、miniKanren、Core.logic
Prologと知識情報処理
人工知能、論理プログラミングに用いられるProlog概要
確率と論理の統合(1) ベイジアンネットとKBMCとPRMとSRL
確率と論理の統合、知識ベース(KBMC)によるベイジアンネットの自動生成、prolog、後ろ向き推論