2007 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)3次元時空間相関論理を提案した.3次元空間領域における空間領域間の隣接関係,点の場所と到達可能関係,動いている物体間の相対的速さに関する基本述語と公理を時間相関論理に導入し,3次元空間領域における物体の動きについての推論の妥当性を基礎付けるための3次元時空間相関論理を提案した.これは,3次元空間領域における物体の動きに関係する実世界問題に,先行推論に基づく反応的システムを応用する際に必要不可欠な論理基礎になる.
(2)汎用前向き推論エンジンFreeEnCa1を開発した.時間相関論理に基づいて先行推論,規範相関論理に基づいて行動推論,演繹的推論,帰納的推論,仮説生成的推論など様々な前向き推論を,利用者により定義され提示された推論規則に基づいて自動的に実行できる汎用前向き推論エンジンFreeEnCa1を開発した.このような汎用前向き推論エンジンは,先行推論に基づく反応的システムにおける汎用的構成部分の実現にとって必要不可欠なものである.
(3)内包的な連言と内包的な選言を持つ基本的相関論理の関係的意味論を構築した。恒真定数,相関的含意,相関論理における内包的連言結合子(fusion)と内包的選言結合子(fission)より更に弱い内包的連言結合子と内包的選言結合子をDunnの分配束論理DLLに導入し拡張した基本的論理体系の関係的意味論を構築した。また,否定を含む場合の関係的意味論も示した。これは,強相関論理とその様々な拡張論理体系の形式的意味論を構築するための土台になる。
(4)時空間相関論理に基づいて定性的行動推論手法を提案した。定量的行動推論は,先行推論に基づく反応的システムにとって,限定されている時間内に結論を導けない問題点を指摘し,時空間相関論理に基づいて定性的行動推論手法を提案した。
|
