Prolog

Knowledge Representation and Reasoning (1) – History of Knowledge Information Processing, Languages for Representing Knowledge and Prolog

History of knowledge information processing used in digital transformation and artificial intelligence tasks, and languages for representing knowledge, Prolog and predicate logic

2022.01.03

LISPprologSymbolic Logicエキスパートシステム:expertsystem検索技術:Search Technology

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.)

2021.11.23

LISPprolog推論技術:inference Technology数理論理学:Mathematical logic

The Art of Prolog

A reference book on Prolog, a logic programming language with deep connections to artificial intelligence research and computational linguistics.

2021.10.16

prolog推論技術:inference Technology

Expert System and CLIPS

Expert system with forward reasoning, CLIPS overview

2021.03.31

prologエキスパートシステム:expertsystem推論技術:inference Technology

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

Prolog and Knowledge Information Processing

Overview of Prolog used for artificial intelligence and logic programming

2021.03.28

prolog推論技術:inference Technology

Integration of probability and logic (1) Bayesian Net, KBMC, PRM and SRL

Integration of probability and logic, automatic generation of Bayesian nets using knowledge base (KBMC), prolog, backward reasoning

2021.03.17

機械学習:Machine Learning確率・統計:Probability and Statistics