エキスパートシステム:expertsystem

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

Artificial Life and Agent Technologies

Artificial life technology, an indispensable technology for digital transformation and artificial intelligence tasks (reproducing the behavior of life on a computer and expressing intelligence)

2022.01.02

エキスパートシステム:expertsystem人工知能:Artificial Intelligence

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

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

Sensor Data & IOT Technologies

Overview of sensor information handling, which is a central element of IOT technologies used for digital transformation and artificial intelligence tasks.

2021.10.02

IOT技術:IOT TechnologyStream Data Processingエキスパートシステム:expertsystem推論技術:inference Technology機械学習:Machine Learning

Clara Rule based expert system (data exchange with external parties)

Implementing an Expert System with Clojure, Clara Rules

2021.04.14

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

Clara Rule’s expert system (simple usecase)

Implementation of an expert system using Clara rules in Clojure

2021.04.03

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