Symbolic Logic History of Digital Game AI (2)(Intelligent Man Machine Interaction) Game AI overview, human-machine interaction, agents, C4, for tips on acquiring artificial intelligence technology. 2021.04.24 Symbolic Logicアルゴリズム:Algorithmsゲーム人工知能:Artificial Intelligence
Symbolic Logic Backward inference and Forward inference Forward reasoning to infer from facts, backward reasoning to formulate and organize hypotheses 2021.03.30 Symbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology
Clojure Clojure core.logic and miniKanren core.logic for logic programming in Clojure 2021.03.29 ClojureSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology