SAT

推論技術: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、P≠NP予想、論理問題)
Symbolic Logic

保護中: 統計的因果探索の基礎(3)因果的マルコフ条件、忠実性、PCアルゴリズム、GESアルゴリズム

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクのための統計的因果探索の基礎での因果的マルコフ条件、忠実性、制約に基づくアプローチ(PCアルゴリズム、FCIアルゴリズムと巡回性のある場合のCCDアルゴリズム)、スコアに基づくアプローチ(ベイズ情報量基準(BIC)、GESアルゴリズム)
人工知能:Artificial Intelligence

AAAI Classic paper 人工知能技術の温故知新

人工知能(AI)やデジタルトランスフォーメーション(DX)タスクに活用されるさまざまな技術アイデア(ロボット、知識データ、プランニング、SAT等)が含まれるAAAIが監修した過去の優秀論文AAAI Classics
モバイルバージョンを終了
タイトルとURLをコピーしました