アルゴリズム:Algorithms Turing’s Theory of Computation Overview and Reference Books and Neural Turing Machines
An introduction to Turing's theory of computation, the basic computer theory on which artificial intelligence technology is based.
数理論理学:Mathematical logic
アルゴリズム:Algorithms LISP Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp Reading Memo
Explanation of basic ideas of various artificial intelligence techniques using LISP (GPS, ELIZA, SUDENT, symbol processing systems, natural language processing systems, Prolog, expert systems, etc.)
推論技術:inference Technology Making Logic Part 4 – Logic is Interesting from Here Non-Classical Logic Reading Notes
Fundamentals of logic (non-classical logic, multi-valued logic, intuitionistic logic, and haphazard logic) in mathematical logic used for reasoning mechanisms in artificial intelligence tasks.
推論技術:inference Technology Creating Logic, Part 3 – Another Look at Logic Reading Notes
Foundations of logic (deductive reasoning, syntax and semantics) in mathematical logic used for reasoning mechanisms in artificial intelligence tasks.
Symbolic Logic Creating Logic, Part 2: Expanding Logic Reading Notes
Fundamentals of logic (predicate logic and tableau, PPL, IPL) in mathematical logic utilized for reasoning mechanisms in artificial intelligence tasks.
微分積分:Calculus This is a good introduction to deep learning (Machine Learning Startup Series)Reading Notes
Overview of deep learning for digital transformation and artificial intelligence tasks, including machine learning, gradient descent, regularization, error back propagation, self-encoders, convolutional neural networks, recurrent neural networks, Boltzmann machines, and reinforcement learning.
推論技術:inference Technology Protected: Statistics as a post-modern science
Mathematical statistics and probabilistic statistical methods used in digital transformation and artificial intelligence tasks, and considerations for inference and machine learning
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)
人工知能:Artificial Intelligence What is meaning (1)
Artificial Intelligence (Robots) and the Meaning of Words from a Philosophical Perspective, Semantic and Formal Approaches
アルゴリズム:Algorithms Structures, Algorithms, and Functions
The meaning of words from the perspective of algebraic structures, formal logic and mathematical logic