Symbolic Logic ルールベースと知識ベースとエキスパートシステムと関係データ
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクへの活用の知識情報処理ハンドリングとしてのルールベースと知識ベースとエキスパートシステムと関係データ
Symbolic Logic
Symbolic Logic 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としての会話とチューリングテストに対する考察