多エージェント系自己認識論理に基づく構造的知識の表現とその推論の効率化

基于多智能体自我意识逻辑的结构知识表示与高效推理

• 批准号: 06780342
• 负责人: 外山 勝彦
• 金额: $ 0.58万
• 依托单位: Chukyo University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06780342/
• 关键词: 非単調論理; 知識表現; 自己認識論理; マルチエージェント; 決定手続き; 因果関係; 属性継承; 状態継続

本研究では,知識をモジュール化し,各モジュールを知的行為主体であるエージェントと見なし,エージェント間でメタ知識の通信が行われるような多エージェント型知識システムの形式化に関する基礎的な研究を行った.そのために,多エージェント系自己認識論理(MAEL)を形式化し,その諸性質を解明した.また,これに基づき,階層や時間順序を持つ構造的知識の表現と利用に関する手法を与えた.具体的には,MAELの意味論を明らかにし,健全かつ完全な定理集合は論理式集合に対する演算の不動点として特徴付けられることを示した.また,MAELに基づく知識表現については,特に,階層的知識における属性継承,および時間的知識における状態継続や因果関係,さらに時間の流れに対して逆向きの推論といった非単調推論が含まれる概念の表現を明らかにした.これにより,従来の知識表現において問題点とされていた多重拡張問題や時間射影問題を避けることが可能であることを示した.一方,タブロ-法に基づくMAELの決定手続きに導出原理を導入することにより,新しい決定手続きを開発し,その完全性を示すとともに,手続きの一層の効率改善と任意の知識を表すメタ変数の導入を図った.さらに,Prologのメタプログラミング手法を用いて計算機上への実現を行い,メタ変数の展開手法についても明らかにした.その結果,導出原理を用いた場合はタブロ-法を用いた場合に対して,大幅に速く処理できることを示した.さらに,TMSを用いた推論を利用するための基礎的な調査を行い,その問題点を明らかにした.本研究の成果から,多エージェント系として構造的知識を捉える手法は,知識表現手法として優れた形式性を有していると考えられる.

This study で は, knowledge を モ ジ ュ ー ル し, each モ ジ ュ ー ル を known behavior main body で あ る エ ー ジ ェ ン ト と see な し, エ ー ジ ェ ン ト between で メ の タ knowledge communication line が わ れ る よ う な more エ ー ジ ェ ン ト type knowledge シ ス テ ム の formal に masato す る based な を line っ た. そ の た め に, more エ ー ジ ェ ン ト yourself to know logical (MAEL) formally し を, そ の the nature を interpret し た. ま た, こ れ に base づ き, class や time sequence を utilizing つ structure knowledge の performance と に masato す る gimmick を and え た. Theory of concrete に は, MAEL の mean を Ming ら か に し, sound か つ な theorems set は narrative set completely に す seaborne る calculus の fixed point と し て 徴 pay especially け ら れ る こ と を shown し た. ま た, MAEL に base づ く knowledge representation に つ い て は, に, class knowledge に お け る attribute 継 bearing, お よ び time knowledge に お け る state 継 続 や Causal masato, さ ら に time の flow れ に し seaborne て reverse き の inference と い っ た non 単 adjustable inference が containing ま れ る concept の performance を Ming ら か に し た. こ れ に よ り, 従 to の knowledge performance に お い て problem point と さ れ て い た multiple company, avoid a problem や time projective を け る こ と が may で あ る こ と を shown し た. Side, タ ブ に ロ - method base づ く MAEL の decided to hand 続 き に export principle を import す る こ と に よ り, new し い decided to hand 続 き を open 発 し, そ の completeness を shown す と と も に, hand 続 き の layer の sharper rate improve と arbitrary の knowledge を table す メ タ - several の import を 図 っ た. さ ら に, Prolog の メ タ プ ロ グ ラ ミ ン グ gimmick を use い て computer へ の be presently を い, メ タ - several の expansion technique に つ い て も Ming ら か に し た. そ の as a result, the principle of export を using い た occasions は タ ブ を ロ - method using い た occasions に し seaborne て, sharp に speed く 処 Richard で き る こ と を shown し た. さ ら に, TMS を with い た inference を using す る た め の based な survey line を い そ の point problem Youdaoplaceholder0 Ming ら た に た た. Achievements of this study の か ら, much エ ー ジ ェ ン ト department と し て construct knowledge を catch え る は approach, knowledge expression と し て optimal れ た form を have し て い る と exam え ら れ る.

项目成果

Katsuhiko Toyama: "Representation of Persistence and Causality in Multi-Autoepistemic Logic" Proc.7th Australian Joint Conference on AI. 605- (1994)

Katsuhiko Toyama：“多重自体认知逻辑中的持久性和因果关系的表示”Proc.第七届澳大利亚人工智能联合会议。