Symbolic Logic

Rule base, knowledge base, expert system and relational data

Rule-based and knowledge-based and expert systems and relational data as knowledge information processing handling for use in digital transformation and artificial intelligence tasks.

2022.01.01

Symbolic Logicデータベース技術:DataBase Technology数理論理学:Mathematical logic検索技術:Search Technology

Knowledge Information Processing Technologies

Overview of techniques for handling the most important knowledge information in artificial intelligence tasks.

2021.12.19

LISPprologSymbolic Logicエキスパートシステム:expertsystemセマンテックウェブ技術:Semantic web Technologyデータベース技術:DataBase Technology推論技術:inference Technology数理論理学検索技術:Search Technology

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

LISP and Artificial Intelligence

About LISP, a functional language that eliminates the barrier between data and programs (program as data) used for artificial intelligence (AI) tasks

2021.10.17

ClojureLISPSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology自然言語処理:Natural Language Processing

The Seasoned Schemer

A sequel to the textbook on functional languages with Schema, a derivative of LISP used for artificial intelligence (AI) tasks.

2021.10.17

LISPSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology自然言語処理:Natural Language Processing

The Reasoned Schemer

Logic Programming with Schema, a Derivative of LISP Used for Artificial Intelligence (Tasks): An Overview of DSL:minikanren

2021.10.17

LISPSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology自然言語処理:Natural Language Processing

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

2021.10.17

LISPSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology自然言語処理:Natural Language Processing

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

Mathematics in Machine Learning

On the mathematics underlying all computer programming and algorithms, including digital transformation (DX), artificial intelligence (AI), and machine learning (ML)

2021.07.21

Symbolic Logicアルゴリズム:Algorithms数学:Mathematics

Conversation and AI (Thinking from the Turing Test)

Considerations for conversation and Turing test as AI for chatbot study

2021.06.08

Symbolic Logicアルゴリズム:Algorithms人工知能:Artificial Intelligence