推論技術:inference Technology

命題論理の充足可能性判定問題(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、Ｐ≠ＮＰ予想、論理問題)

2023.03.27

推論技術:inference Technology数理論理学:Mathematical logic

保護中: Clojureでのk-meansを使ったテキスト文書間の類似性の尺度を使った推薦システム

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるClojureでのk-meansを使ったテキスト文書間の類似性の尺度を使った推薦システム(Slope One推薦、トップ・レーティング計算、加重評価、ペアアイテムの平均差、Weighted Slope One、ユーザーベース推薦、協調フィルタリング、アイテムベース推薦、映画推薦データ)

2023.03.15

Clojureアルゴリズム:Algorithmsグラフ理論幾何学:Geometry微分積分:Calculus推論技術:inference Technology最適化:Optimization検索技術:Search Technology機械学習:Machine Learning確率・統計:Probability and Statistics線形代数:Linear Algebra

ナレッジグラフの概要と国際学会(ISWC)での関連発表のまとめ

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるナレッジグラフの概要と国際学会(ISWC)での関連発表のまとめ(ISWC、自然言語処理、推論技術、データ分析、ロボティクス、IOT、検索エンジン、推論エンジン、エンティティ抽出、絵ンティティリンキング、関係学習、深層学習、論理と確率の融合、リレーションシップ抽出、トピックモデル、チャットボット、質問応答、セマンティックウェブ技術、知識情報処理、RDFストア、SPARQL、オントロジーマッチング、データベース技術)

2023.03.05

Symbolic Logicweb技術:web technologyエキスパートシステム:expertsystemグラフ理論セマンテックウェブ技術:Semantic web Technology情報理論/計算理論推論技術:inference Technology最適化:Optimization検索技術:Search Technology機械学習:Machine Learning

保護中: 説明できる人工知能(13)モデル非依存の解釈(Local Surrogate :LIME)

このコンテンツはパスワードで保護されています。閲覧するには以下にパスワードを入力してください。パスワード:

2023.02.17

推論技術:inference Technology機械学習:Machine Learning

保護中: 説明できる人工知能(11)モデル非依存の解釈(Permutation Feature Importance)

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)に活用可能な説明できる機械学習での後付け解釈モデル、モデル非依存解釈手法のうちの一つPermutation Feature Importance

2023.02.03

推論技術:inference Technology検索技術:Search Technology機械学習:Machine Learning

保護中: 説明できる人工知能(12)モデル非依存の解釈(グローバルサロゲート (Global Surrogate))

このコンテンツはパスワードで保護されています。閲覧するには以下にパスワードを入力してください。パスワード:

2023.01.20

推論技術:inference Technology機械学習:Machine Learning

保護中: 説明できる人工知能(10)モデル非依存の解釈(特徴量の相互作用)

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)に活用可能な説明できる機械学習での後付け解釈モデル、モデル非依存解釈手法のうちの一つ特徴量の相互作用

2023.01.05

推論技術:inference Technology検索技術:Search Technology機械学習:Machine Learning

保護中: 説明できる人工知能(9)モデル非依存の解釈(ALE plot)

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)に活用可能な説明できる機械学習での後付け解釈モデル、モデル非依存解釈手法のうちの一つALE plotについて

2022.12.16

推論技術:inference Technology検索技術:Search Technology機械学習:Machine Learning

保護中: ガウス過程による教師なし学習(2)ガウス過程潜在変数モデルの拡張

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される確率的生成モデルの応用であるガウス過程による教師なし学習としてのガウス過程潜在変数モデルの拡張(無限ワープ混合モデル、ガウス過程力学モデル、ポアソン点過程、対数ガウスCox過程、潜在ガウス過程、楕円スライスサンプリング)

2022.12.05

アルゴリズム:Algorithmsグラフ理論ベイズ推定微分積分:Calculus推論技術:inference Technology最適化:Optimization機械学習:Machine Learning深層学習:Deep Learning確率・統計:Probability and Statistics線形代数:Linear Algebra

保護中: ガウス過程による教師なし学習(1)ガウス過程潜在変数モデルの概要とアルゴリズム

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)に活用される確率的生成モデルの応用であるガウス過程潜在変数モデル(GPLVM)を用いた教師なし学習の概要とアルゴリズム、ベイズガウス過程潜在変数モデル(Bayesian GPLVM)

2022.11.21

アルゴリズム:Algorithmsベイズ推定微分積分:Calculus推論技術:inference Technology数理論理学:Mathematical logic最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics線形代数:Linear Algebra