Symbolic Logic

Symbolic Logic

ルールベースと知識ベースとエキスパートシステムと関係データ

デジタルトランスフォーメーション(DX)、人工知能(AI)タスクへの活用の知識情報処理ハンドリングとしてのルールベースと知識ベースとエキスパートシステムと関係データ
LISP

知識情報処理技術

人工知能タスクの中で最も重要な知識情報を扱うための技術概要
Symbolic Logic

論理学をつくる 第2部論理学を拡げる 読書メモ

人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(述語論理とタブロー、PPL、IPL)
Clojure

LISPと人工知能

人工知能(AI)タスクに活用されるデータとプログラムの垣根を無くす(program as data)関数型言語であるLISPについて
LISP

The Seasoned Schemer

人工知能(AI)タスクに活用されるLISPの派生語であるSchemaによる関数型言語の教科書の続編
LISP

The Reasoned Schemer

人工知能(タスク)活用されるLISPの派生語であるSchemaによる論理プログラミングDSL:minikanrenの概要
LISP

The Little Schemer

人工知能(AI)タスクに活用されるLISPの派生語であるSchemaによる関数型言語の教科書(再帰と無名関数、λ関数にYコンビネーターそして簡単なインタープリタ)
Symbolic Logic

論理学をつくる 第1部論理学をはじめる 読書メモ

人工知能、数学の基礎のための論理学の教科書(命題論理から述語論理、そして意味論と多値論理、直感主義論理)
Symbolic Logic

機械学習における数学について

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)など、あらゆるコンピュータプログラミングやアルゴリズムの基礎となる数学について
Symbolic Logic

会話とAI(チューリングテストから考える)

cahtbotの検討のためのAIとしての会話とチューリングテストに対する考察
タイトルとURLをコピーしました