2011 Fiscal Year Final Research Report
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
|
| 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.
|
