2009 Fiscal Year Annual Research Report
| Project/Area Number |
18300005
|
|---|
| Research Institution | Saitama University |
|---|
Principal Investigator |
程 京徳 Saitama University, 大学院・理工学研究科, 教授 (30217228)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
後藤 祐一 埼玉大学, 大学院・理工学研究科, 助教 (70400801)
|
|---|
| Keywords | 反応的システム / 先行推論 / 時間相関論理 / 行動推論 / 規範相関論理 / 汎用先行推論エンジン / 時間規範相関論理 / 永続計算システム |
|---|
| Research Abstract |
(1)先行推論に基づく反応的システムを航空管制システムへの応用
典型的な反応システムである航空管制システムにおいて先行推論に基づく反応システムを応用することを提案し、実際の事例研究として先行推論に基づく反応システムを用いて空港離着陸管制を実現することについて調査した。また、空港離着陸管制において、行動推論に基づいて意思決定機構を提案しその有効性の実証を行った。
(2)汎用前向き推論エンジンFreeEnCalの高速化
汎用前向き推論エンジンFreeEnCalにおける導出アルゴリズムと中間結果重複検査アルゴリズムを改良し、FreeEnCalの高速化を行い、その有効性を示した。
(3)先行推論に基づく反応的システムの開発保守環境の開発
先行推論に基づく反応的システムを永続計算システムとして設計、開発、運用、保守するためのソフトウェア工学環境を提案し、開発している。
|
