数理論理学:Mathematical logic

アルゴリズム:Algorithms

チューリングの計算理論概要と参考図書とニューラルチューリングマシン

人工知能技術(AI)のベースとなるコンピューターの基本理論であるチューリング計算理論入門概要
LISP

実用Common Lisp 読書メモ

LISPを用いた各種人工知能技術の基本的なアイデアの解説(GPS、ELIZA、SUDENT、記号処理システム、自然言語処理システム、Prolog、エキスパートシステム等)
推論技術:inference Technology

論理学をつくる 第4部-論理学はここから先が面白い 非古典論理 読書メモ

人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(非古典論理、多値論理、直観主義論理、様相論理)
推論技術:inference Technology

論理学をつくる 第3部-論理をもう一つの目で見る 読書メモ

人工知能(Ai)タスクでの推論機構に活用される数理論理学の中での論理学の基礎(演繹推論とシンタクスとセマンティクス)
Symbolic Logic

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

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

保護中: ポスト近代科学としての統計学

デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される数理統計学と確率統計的手法および推論や機械学習に関する考察
Symbolic Logic

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

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

意味とは何か(1)哲学入門

哲学的観点から見た人工知能(ロボット)と言葉の意味、意味論的アプローチと形式論的アプローチ
アルゴリズム:Algorithms

構造とアルゴリズムと関数

代数的構造の視点から見た言葉の意味、形式論理学と数理論理学
アルゴリズム:Algorithms

保護中: 決定不能性の証明

アルゴリズムの限界を見極めるアルゴリズム、決定不能性の証明、計算できない問題について
モバイルバージョンを終了
タイトルとURLをコピーしました