代数の文章題を解くプログラムに関する考察
ウェブ技術 デジタルトランスフォーメーション技術 人工知能技術 機械学習 自然言語処理技術 推論技術 セマンティックウェブ技術 深層学習技術 オンライン学習 強化学習技術 チャットボットと質疑応答技術 ユーザーインターフェース技術 知識情報...
数理論理学:Mathematical logic
数理論理学とGNN
機械学習技術 人工知能技術 深層学習技術 自然言語処理技術 セマンティックウェブ技術 知識情報処理 オントロジー技術 AI学会論文集を集めて デジタルトランスフォーメーション技術 Python グラフニューラルネットワーク 説明できる機械学...
組合せ最適化の概要と実装の為のライブラリと参考図書
機械学習技術 人工知能技術 自然言語処理技術 確率的生成モデル デジタルトランスフォーメーション技術 アルゴリズム 人工知能技術の理論と数学とアルゴリズム 機械学習における数学 深層学習 本ブログのナビ
組み合わせ最適化問題とは
組合せ...
保護中: 深層強化学習の弱点である環境認識の改善の為の2つのアプローチの実装
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される深層強化学習の弱点である環境認識の改善の為の2つのアプローチの実装(逆予測型、制約型、表現学習、模倣学習、再構成型、予測型、WorldModels、遷移関数、報酬関数、表現学習、VAE、Vision Model、RNN、Memory RNN、モンテカルロ法、TD Search、モンテカルロ木探索、モデルベースの学習、Dyna、深層強化学習の弱点)
保護中: 説明できる機械学習(17)反事実的説明 (Counterfactual Explanations)
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される反事実的説明による機械学習結果の説明(Anchor、Growing Spheresアルゴリズム、Python、Alibi、カテゴリカル特徴量、羅生門効果、LIME、全結合型ニューラルネット、反事実生成アルゴリズム、ユークリッド距離、中央絶対偏差、Nelder-Mead法、因果意味論、原因)
命題論理の充足可能性判定問題(SAT:Boolean SAtisfiability)の概要と実装
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクにに活用される命題論理の充足可能性判定問題(SAT:Boolean SAtisfiability)の概要と実装(Clojure Rollingstones、Pyhton、PySAT、z3-solver、C++、2-SAT、ゲームAI、自然言語処理の高速化、組合せ最適化問題の効率化、ハイパーパラメータの最適化、コンピュータセキュリティ、ソフトウェア仕様の自動検証、チップ設計の自動検証、zChaff、WalkSAT、GRASP、CryptoMiniSat、MapleSAT、Scavel、PicoSAT、MiniSAT、CaDiCaL、Lingeling、Glucose、Ｐ≠ＮＰ予想、論理問題)
保護中: 統計数学理論におけるカーネル法の基礎としての表現定理とラデマッハ複雑度
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される統計数学理論におけるカーネル法の基礎としての表現定理とラデマッハ複雑度(グラム行列、仮説集合、判別境界、過剰適合、マージン損失、判別関数、予測半正定値、普遍カーネル、再生核ヒルベルト空間、予測判別誤差、L1ノルム、ガウスカーネル、指数カーネル、2項カーネル、コンパクト集合、経験ラデマッハ複雑度、ラデマッハ複雑度、表現定理)
保護中: ガウス過程による教師なし学習(1)ガウス過程潜在変数モデルの概要とアルゴリズム
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)に活用される確率的生成モデルの応用であるガウス過程潜在変数モデル(GPLVM)を用いた教師なし学習の概要とアルゴリズム、ベイズガウス過程潜在変数モデル(Bayesian GPLVM)
論理やルールと確率/機械学習の融合
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される論理やルールと機械学習の融合(帰納論理プログラミング、統計関係学習、知識ベースモデル構築、ベイジアンネット、確率論理学習、隠れマルコフモデル)
保護中: グラフィカルモデルのMAP割り当ての計算の為の最大伝搬法
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される確率的生成モデルで最大伝搬法で確率値の最大化状態(MAP割り当て)を推定する(TRW最大伝搬法、STA条件、サイクルののある因子グラフ上の最大伝搬法、木のグラフ上での最大伝搬法、メッセージ伝搬によるMAP推定)