Symbolic Logic

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.
Symbolic Logic

Backward inference and Forward inference

Forward reasoning to infer from facts, backward reasoning to formulate and organize hypotheses
Clojure

Clojure core.logic and miniKanren

core.logic for logic programming in Clojure
タイトルとURLをコピーしました