Formalization of Dynamic Belief Revision and its Application to Real-time Planning for Web Servises
| Project/Area Number |
19300053
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
SATOH Ken National Institute of Informatics, 情報学プリンシプル研究系, 教授 (00271635)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
FUKUTA Naoki 静岡大学, 情報学部, 助教 (30345805)
|
|---|
| Project Period (FY) |
2007 – 2009
|
| Project Status |
Completed (Fiscal Year 2009)
|
| Budget Amount *help |
¥14,690,000 (Direct Cost: ¥11,300,000、Indirect Cost: ¥3,390,000)
Fiscal Year 2009: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2008: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2007: ¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000)
|
|---|
| Keywords | 動的信念変更 / 投機的計算 / エージェント / プラニング / ウェブサービス / 全域アブダクション / IFF手法 |
|---|
| Research Abstract |
We applied our previous model of speculative computation with dynamic belief revision into web-services and developed a visualization tool for execution of speculative web-services. We also developed lightweight web-service synthesis in order to enable speculative synthesized web-services easily.
|
Report
(4 results)
Research Products
(15 results)
