• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2009 年度 実績報告書

先行予測に基づく反応的システムの実現と応用

研究課題

研究課題/領域番号 18300005
研究機関埼玉大学

研究代表者

程 京徳  埼玉大学, 大学院・理工学研究科, 教授 (30217228)

研究分担者 後藤 祐一  埼玉大学, 大学院・理工学研究科, 助教 (70400801)
キーワード反応的システム / 先行推論 / 時間相関論理 / 行動推論 / 規範相関論理 / 汎用先行推論エンジン / 時間規範相関論理 / 永続計算システム
研究概要

(1)先行推論に基づく反応的システムを航空管制システムへの応用
典型的な反応システムである航空管制システムにおいて先行推論に基づく反応システムを応用することを提案し、実際の事例研究として先行推論に基づく反応システムを用いて空港離着陸管制を実現することについて調査した。また、空港離着陸管制において、行動推論に基づいて意思決定機構を提案しその有効性の実証を行った。
(2)汎用前向き推論エンジンFreeEnCalの高速化
汎用前向き推論エンジンFreeEnCalにおける導出アルゴリズムと中間結果重複検査アルゴリズムを改良し、FreeEnCalの高速化を行い、その有効性を示した。
(3)先行推論に基づく反応的システムの開発保守環境の開発
先行推論に基づく反応的システムを永続計算システムとして設計、開発、運用、保守するためのソフトウェア工学環境を提案し、開発している。

  • 研究成果

    (5件)

すべて 2010 2009

すべて 雑誌論文 (3件) (うち査読あり 3件) 学会発表 (2件)

  • [雑誌論文] A Fast Algorithm for Derivation Process in Forward Reasoning Engines2010

    • 著者名/発表者名
      Takahiro Koh, Yuichi GOTO, Jingde CHENG
    • 雑誌名

      International Journal of Computational Science (印刷中)

    • 査読あり
  • [雑誌論文] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009

    • 著者名/発表者名
      Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
    • 雑誌名

      Lecture Notes in Artificial Intelligence 5572

      ページ: 68-76

    • 査読あり
  • [雑誌論文] 先行推論に基づく永続的反応システム(招待論文)2009

    • 著者名/発表者名
      程京徳
    • 雑誌名

      Telecom Frontier, SCAT Technical Journal 65

      ページ: 34-41

    • 査読あり
  • [学会発表] Fast Anticipatory Reasoning for Computing Anticipatory Systems2009

    • 著者名/発表者名
      Takahiro KOH, Yuichi GOTO, Jingde CHENG
    • 学会等名
      Ninth International Conference on Computing Anticipatory Systems
    • 発表場所
      Liege, Belgium
    • 年月日
      20090803-20090808
  • [学会発表] Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems2009

    • 著者名/発表者名
      Yuichi GOTO, Ryota KUBONIWA, Jingde CHENG
    • 学会等名
      Ninth International Conference on Computing Anticipatory Systems
    • 発表場所
      Liege, Belgium
    • 年月日
      20090803-20090808

URL: 

公開日: 2011-06-16   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi