Symbolic Logic ルールベースと知識ベースとエキスパートシステムと関係データ デジタルトランスフォーメーション(DX)、人工知能(AI)タスクへの活用の知識情報処理ハンドリングとしてのルールベースと知識ベースとエキスパートシステムと関係データ 2022.01.01 Symbolic Logicデータベース技術:DataBase Technology数理論理学:Mathematical logic検索技術:Search Technology
LISP 知識情報処理技術 人工知能タスクの中で最も重要な知識情報を扱うための技術概要 2021.12.19 LISPprologSymbolic Logicエキスパートシステム:expertsystemセマンテックウェブ技術:Semantic web Technologyデータベース技術:DataBase Technology推論技術:inference Technology数理論理学検索技術:Search Technology集合論:Set theory
Symbolic Logic 論理学をつくる 第2部論理学を拡げる 読書メモ 人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(述語論理とタブロー、PPL、IPL) 2021.11.16 Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic集合論:Set theory
Clojure LISPと人工知能 人工知能(AI)タスクに活用されるデータとプログラムの垣根を無くす(program as data)関数型言語であるLISPについて 2021.10.17 ClojureLISPSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology自然言語処理:Natural Language Processing
LISP The Seasoned Schemer 人工知能(AI)タスクに活用されるLISPの派生語であるSchemaによる関数型言語の教科書の続編 2021.10.17 LISPSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology自然言語処理:Natural Language Processing
LISP The Reasoned Schemer 人工知能(タスク)活用されるLISPの派生語であるSchemaによる論理プログラミングDSL:minikanrenの概要 2021.10.17 LISPSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology自然言語処理:Natural Language Processing
LISP The Little Schemer 人工知能(AI)タスクに活用されるLISPの派生語であるSchemaによる関数型言語の教科書(再帰と無名関数、λ関数にYコンビネーターそして簡単なインタープリタ) 2021.10.17 LISPSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology自然言語処理:Natural Language Processing
Symbolic Logic 論理学をつくる 第1部論理学をはじめる 読書メモ 人工知能、数学の基礎のための論理学の教科書(命題論理から述語論理、そして意味論と多値論理、直感主義論理) 2021.10.03 Symbolic Logic推論技術:inference Technology数理論理学:Mathematical logic
Symbolic Logic 機械学習における数学について デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)など、あらゆるコンピュータプログラミングやアルゴリズムの基礎となる数学について 2021.07.21 Symbolic Logicアルゴリズム:Algorithms数学:Mathematics
Symbolic Logic 会話とAI(チューリングテストから考える) cahtbotの検討のためのAIとしての会話とチューリングテストに対する考察 2021.06.08 Symbolic Logicアルゴリズム:Algorithms人工知能:Artificial Intelligence