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

マルチエージェント環境のための様相論理に対する推論システムの研究

研究課題

研究課題/領域番号 08680397
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 知能情報学
研究機関名古屋工業大学

研究代表者

世木 博久  名古屋工大, 工学部, 助教授 (90242908)

研究期間 (年度) 1996 – 1998
研究課題ステータス 完了 (1997年度)
配分額 *注記
1,900千円 (直接経費: 1,900千円)
1997年度: 1,100千円 (直接経費: 1,100千円)
1996年度: 800千円 (直接経費: 800千円)
キーワードマルチエージェント / 様相論理 / 定理の自動証明
研究概要

マルチエージェント環境のための様相論理に対する推論システムの研究について,今年度は以下の3つのテーマについて研究を行った.
1.マルチエージェントシステムに対する知識と時間の様相論理体系の確立
(1)各エージェントが「命題pがある時点tで成り立つことを知っている」というような知識と時間に関する表現が可能な様相論理体系MAKTを提案した.
(2)論理体系MAKTの意味論は可能世界モデル意味論によって定義される.また,MAKTの式に対する推論は,MAKTの式をそれと等価な(不等号につき)一階述語論理の式に変換されて,その一階述語論理式の充足可能性を調べることによって行われる.
(3)以上の結果より,論理体系MAKTに対する効率的な推論方法は,高速な一階述語用の定理証明器を開発することに帰着されるという知見を得た.
2.一階述語定理証明器SATCHMOREの効率化
一階述語用の定理証明器の一つにSATCHMOREがあるが,本研究においては,それに更に改良を行い効率化を図った.すなわち,SATCHMOREで用いられている関連性に加えて,“利用可能性"という新しい条件を付け加えて,定理証明における探索空間の減少を図った.
3.融合型知識ベースに対する推論方式の検討
複数の知識ベース(エージェント)が与えられたとき,それらの知識を融合して推論を行う融合型知識ベース(amalgamated knowledge databases)に対する推論方法について検討を行った.

報告書

(1件)
  • 1996 実績報告書
  • 研究成果

    (3件)

すべて その他

すべて 文献書誌 (3件)

  • [文献書誌] Lifeng He: "Implementing an Automated Reasoning System for Multi-Agent Knowledge and Time" Proc.PRICAI'96 Workshop on Distributed Artificial Intelligence. 44-57 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] Lifeng He: "A Nulti-Agent Cooperative Reasoning System for Analganoted Knouledge Bases" Proc.PRICAI'96 Workshop on Distributed Aritificial Intelligence. 88-101 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 何立風: "定理証明器SATCHMOREの効率化に関する一手法" 情報処理学会論文誌. (探録決定).

    • 関連する報告書
      1996 実績報告書

URL: 

公開日: 1996-04-01   更新日: 2016-04-21  

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

Powered by NII kakenhi