研究課題
(1)先行推論に基づく反応的システムを航空管制システムへの応用典型的な反応システムである航空管制システムにおいて先行推論に基づく反応システムを応用することを提案し、実際の事例研究として先行推論に基づく反応システムを用いて空港離着陸管制を実現することについて調査した。また、空港離着陸管制において、行動推論に基づいて意思決定機構を提案しその有効性の実証を行った。(2)汎用前向き推論エンジンFreeEnCalの高速化汎用前向き推論エンジンFreeEnCalにおける導出アルゴリズムと中間結果重複検査アルゴリズムを改良し、FreeEnCalの高速化を行い、その有効性を示した。(3)先行推論に基づく反応的システムの開発保守環境の開発先行推論に基づく反応的システムを永続計算システムとして設計、開発、運用、保守するためのソフトウェア工学環境を提案し、開発している。
すべて 2010 2009
すべて 雑誌論文 (3件) (うち査読あり 3件) 学会発表 (2件)
International Journal of Computational Science (印刷中)
Lecture Notes in Artificial Intelligence 5572
ページ: 68-76
Telecom Frontier, SCAT Technical Journal 65
ページ: 34-41