LISP The Little Schemer
A textbook on functional languages in Schema, a derivative of LISP used for AI tasks (recursion and anonymous functions, lambda functions, Y-combinators and a simple interpreter).
Symbolic Logic
LISP Symbolic Logic Creating Logic, Part I: Beginning Logic Reading Notes
A textbook of logic for artificial intelligence and basic mathematics (from propositional logic to predicate logic, and then semantics and multi-valued logic, intuitionistic logic)
Symbolic Logic Mathematics in Machine Learning
On the mathematics underlying all computer programming and algorithms, including digital transformation (DX), artificial intelligence (AI), and machine learning (ML)
Symbolic Logic Conversation and AI (Thinking from the Turing Test)
Considerations for conversation and Turing test as AI for chatbot study
Symbolic Logic Behavior Trees and their implementation in Unity
Overview of artificial intelligence technology used in game AI, etc., state management using behavior trees, difference from FSM
Symbolic Logic Basic technology for digital game AI (time-based recognition technology)
Overview of game AI for tips on acquiring artificial intelligence technology, time recognition technology, auto-planning, goal-oriented planning, time-scale hierarchy technology, chain-type planning.
Symbolic Logic Digital game AI Technology(spatial recognition technology)
Game AI overview, spatial recognition technology, and knowledge representation for tips on acquiring artificial intelligence technology.
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