A High-Level Programming Language for Probabilistic Systems
Project/Area Number |
21700046
|
Research Category |
Grant-in-Aid for Young Scientists (B)
|
Allocation Type | Single-year Grants |
Research Field |
Software
|
Research Institution | National Institute of Informatics |
Principal Investigator |
HOSOBE Hiroshi 国立情報学研究所, アーキテクチャ科学研究系, 准教授 (60321577)
|
Project Period (FY) |
2009 – 2011
|
Project Status |
Completed (Fiscal Year 2011)
|
Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2010: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2009: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
Keywords | 制約プログラミング / ソフト制約 / 確率的システム / ソフトウェア学 / プログラム処理系 |
Research Abstract |
We developed constraint programming technology for modeling, simulation, and reasoning of systems. Our main contribution is that we formulated probabilistic constraint satisfaction problems as a framework for modeling probabilistic systems and also presented a technique for statistically analyzing their properties. We also provided a theoretical result on semiring-based constraint satisfaction problems, a technique for efficiently solving linear constraints with preferences, and a technique for simultaneously solving nonlinear constraints and ordinary differential equations.
|
Report
(4 results)
Research Products
(5 results)