Symbolic Logic デジタルゲームAIの歴史(2)(人との機械のインタラクションの知能化) 人工知能技術獲得のヒントの為のゲームAI概要、人と機械のインタラクション、エージェント、C4 2021.04.24 Symbolic Logicアルゴリズム:Algorithmsゲーム人工知能:Artificial Intelligence
Symbolic Logic 後ろ向き推論と前向き推論 事実から推論する前向き推論、仮説を立てて整理していく後ろ向き推論 2021.03.30 Symbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology
Clojure Clojure core.logicとminiKanren Clojureでの論理プログラミング、miniKanren、Core.logic 2021.03.29 ClojureSymbolic Logic推論技術:inference Technology
