文献

J-GLOBAL ID：201502217333645083   整理番号：15A0840002

論理および確率の単一化における最新の開発

Recent Developments in Unifying Logic and Probability

著者 (1件)： RUSSELL Stuart (Univ. California, Berkeley)
資料名： Communications of the ACM (Association for Computing Machinery)  (Communications of the ACM (Association for Computing Machinery))
巻： 58  号： 7  ページ： 88-97  発行年： 2015年07月 
JST資料番号： B0330B  ISSN： 0001-0782  CODEN： CACMA  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

シソーラス用語： *確率モデル ,  *記号論理 ,  一階論理 ,  *知識表現 ,  人工知能推論 ,  システム記述言語 ,  単一化 ,  情報配布 ,  情報源 ,  評価試験 ,  システムインタフェイス

分類 (3件)： システム・制御理論一般  (IA02010H) ,  論理代数  (JB03000H) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： 論理 ,  確率 ,  単一化 ,  開発