Symbolic Logic ISWC2011論文集より
ISWC2011論文集より
知識情報をハンドリングする人工知能技術の一つであるセマンティックウェブ技術の国際学会であるISWC2011より。
前回はISWC2010について述べた。今回はドイツのボンで開か...
Symbolic Logic
Symbolic Logic Symbolic Logic ISWC2009論文集より
ISWC2009論文集より
知識情報をハンドリングする人工知能技術の一つであるセマンティックウェブ技術の国際学会であるISWC2009より。
前回はISWC2008について述べた。今回はアメリカのワシント...
Symbolic Logic 法律関連タスクのコンピューターによる処理
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクとして活用される知識情報処理の応用としての計算機による法律情報の処理(欧州の事例)
LISP 知識表現と推論(1) -知識情報処理の歴史と知識を表現する言語とProlog
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される知識情報処理の歴史と知識を表現する言語とPrologと述語論理
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の概要