数理論理学

Symbolic Logic

オントロジーベースの知識プラットフォームによるプラント運用における機器の健全性支援

  イントロダクション 以前、"プラントエンジニアリングオントロジーISO15926とAI技術との融合"でも述べたがプラントエンジニアリングは多数の要素が絡む複雑な技術であり、また膨大なナレッジデータを必要とするため...
グラフ理論

保護中: 正定値行列の情報幾何(1)双対的な幾何構造の導入

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される正定値行列の情報幾何としての双対的な幾何構造の導入(リーマン計量、接ベクトル空間、半正定値計画問題、自己平衡性、レビ-チビタ接続、リーマン幾何、測地線、ユークリッド幾何、∇-測地線、接ベクトル、テンソル量、双対平坦性、正定値行列集合)
Symbolic Logic

確率と論理を融合したモデリング(2) PLL(確率論理的学習)

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される確率と論理の融合モデリング(PLL(確率論理的学習)、ILP、PRISM)
アルゴリズム:Algorithms

保護中: 弱ラベル学習のためのサポートベクトルマシン(1)半教師あり学習

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるサポートベクトルマシンの応用としての弱ラベル学習(訓練事例の一部だけにラベル情報が与えられている半教師あり学習)
アルゴリズム:Algorithms

ブロックチェーンの衝撃 ビットコイン、FinTechからIoTまで社会構造を覆す破壊的技術 – 読書メモ

数学 機械学習技術 人工知能技術 プログラミング技術  デジタルトランスフォーメーション アルゴリズム  暗号&セキュリティ プロックチェーンの衝撃 ビットコイン、FinTechからIoTまで社会構造を覆す破壊的技術より。 ...
アルゴリズム:Algorithms

保護中: ガウス過程の概要(5)ガウス過程回帰の一般化

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される確率的生成モデルの拡張としのガウス過程のコーシー分布をロバスト性担保、ガウス過程識別モデル、ポアソン分布を用いた機械の故障や素粒子の崩壊等の一般化について
ベイズ推定

確率論入門 読書メモ

確率論入門 読書メモ 確率論入門より 「確率をめぐる数学的考察は、賭け事に関してパスカルとフェルマが交わした往復書簡に始まると言われる。組み合わせの概念に基づく古典的確率論は、20世紀になるとボレルやコルモゴ...
アルゴリズム:Algorithms

保護中: 劣モジュラ最適化を用いた構造正則化学習(3)構造正則化問題の劣モジュラ最適化による定式化

離散情報の最適化手法である劣モジュラ関数最適化の構造正則化問題への適用と劣モジュラ最適化を用いた定式化(線形近似と最急効果法、加速近接勾配法、FISTA、パラメトリック劣モジュラ最小化、分割アルゴリズム)
Symbolic Logic

知識グラフとビッグデータ処理

機械学習技術 人工知能技術 深層学習技術    自然言語処理技術 セマンティックウェブ技術 オントロジー技術 知識情報処理  AI学会論文集を集めて    デジタルトランスフォーメーション技術 「Knowledge Graphs an...
Symbolic Logic

Inductive logic programming 2020-2021論文集より

機械学習技術 人工知能技術 自然言語処理技術 セマンティックウェブ技術 オントロジー技術 デジタルトランスフォーメーション技術  知識情報処理技術  AI学会論文を集めて   推論技術 前回はILP2019について述べた。今回はコロナ...
タイトルとURLをコピーしました