確率的制約プログラミング

• Item type: SIG Technical Reports(1)
• 公開日: 1994-07-21
• タイトル: 確率的制約プログラミング
• タイトル / 言語: en
• タイトル: Probabilistic Constraint Programming
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 電子技術総合研究所自然言語研究室
• 著者所属: 東京大学理学部情報科学科
• 著者所属: ソニーコンピュータサイエンス研究所
• 著者所属(英): en
• 著者所属(英): Electrotechnical Laboratory
• 著者所属(英): en
• 著者所属(英): University of Tokyo
• 著者所属(英): en
• 著者所属(英): Sony Computer Science Lab. Inc.
• 著者名: 橋田, 浩一; 宮田, 高志; 長尾, 確
• 著者名(英): K&Ocirciti, Hasida; Takashi, Miyata; Katashi, Nagao
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 制約（情報の流れを捨象した記述のレベル）に基づく情報処理システムの設計における主要な研究課題は、全体として妥当な計算が行なわれることを保証する方法である。ここでは、隠れマルコフモデルや確率的文脈自由文法などの一般化としてHorn節プログラムに確率的意味を与えた上で、最尤推定を行なう計算法を提案する。その計算は、確率的従属事象を効率的に扱うものであり、また一般的な意味でのA^*探索と見なすことができる。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A major research issue in designing information-processing systems based on constraint (level of description abstracting away from information flow) is how to guarantee global adequacy of computation. A probabilistic semantics of Horn clause programs is introduced, which is a generalization of Hidden Markov Models, Stochastic Context-Free Grammars, etc., and a computational method for maximum-likelihood estimation is proposed. This computation deals efficiently with probabilistically dependent events, and is regarded as a sort of A^* search in a general sense.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 情報処理学会研究報告知能と複雑系（ICS）; 巻 1994, 号 67(1994-ICS-095), p. 49-58, 発行日 1994-07-21
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会