Predicate Logic

LISP

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
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.
2021.11.16
Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic集合論:Set theory
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)
2021.10.03
Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic
タイトルとURLをコピーしました