人工知能:Artificial Intelligence The economy is driven by “emotions” Introduction to microeconomics based on behavioral psychology 人工知能:Artificial Intelligence経済学
Clojure Clara Rule’s expert system (simple usecase) Implementation of an expert system using Clara rules in Clojure Clojureエキスパートシステム:expertsystem推論技術:inference Technology
Clojure Expert systems in Clojure (clara rule,rete4frames) Implementing a CLIPS-like expert system in Clojure, Clara rules, reteframe Clojureエキスパートシステム:expertsystem推論技術:inference Technology
prolog Expert System and CLIPS Expert system with forward reasoning, CLIPS overview prologエキスパートシステム:expertsystem推論技術:inference Technology
Symbolic Logic Backward inference and Forward inference Forward reasoning to infer from facts, backward reasoning to formulate and organize hypotheses Symbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology
Clojure Clojure core.logic and miniKanren core.logic for logic programming in Clojure ClojureSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology
prolog Prolog and Knowledge Information Processing Overview of Prolog used for artificial intelligence and logic programming prolog推論技術:inference Technology
アルゴリズム:Algorithms Protected: public-key cryptography algorithm Public Key Cryptography Algorithms for the Education of Beginners アルゴリズム:Algorithmsデータ圧縮/セキュリティ:Data compression and security
機械学習:Machine Learning Overview of deep learning methods Overview of deep learning for beginners, classification by the Artificial Intelligence Society, hierarchical neural networks, coders, restricted Boltzmann machines. 機械学習:Machine Learning深層学習:Deep Learning
アルゴリズム:Algorithms Protected: Proof of Indeterminacy Algorithms for identifying the limits of algorithms, proving undecidability, and problems that cannot be computed. アルゴリズム:Algorithms数理論理学:Mathematical logic