权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

多エージェント系非単調論理に基づく知識表現と分散TMSによるその推論の効率化

基于多智能体非单调逻辑的知识表示和分布式TMS高效推理

基本信息

批准号：
05780306
负责人：
外山勝彦
金额：
$ 0.58万
依托单位：
Chukyo University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1993
资助国家：
日本
起止时间：
1993 至无数据
项目状态：
已结题

项目摘要

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

The subject of this research is the knowledge and knowledge of each subject. Between the communication of knowledge and communication, the research on the basics of knowledge and knowledge, and the formalization of knowledge.そのために, 多エージェント法学法(MAEL)をFormalizationし,そのvarious properties をclarificationした. The expression of the knowledge of the structure of また, これにbased づき, hierarchical chronological sequence, and つ utilizes the に关するtechnique を and えた.まず.Theoretical system としてのMAELについては, そのmeaning theory を明らかにし, sound かつcomplete The set of all theorems and the set of theoretical formulas are the fixed point of the calculus and the fixed point of the calculation.また, MAEL's base knowledge expression については, special knowledge, class knowledge における attribute 継成, およびtime knowledge における status継続やcausality, さらに时の流れに対して reverse きの inference といったnon-singular inference がcontaining まれるconcept のexpression を明らかにした.これにより, 従来のknowledge expression においてproblem とされていたmultiple Zhang problem やtime projection problem をavoid けることがpossible であることをshow した. One party, タブロ-法にbasedづくMAELのdetermination hand: ずきに derivation principle を import することにより, new しい decision hand 続きを开発し, そのcompleteness をshow すとともに, 手続きの一layerのefficiency improvementとarbitraryのknowledgeをTableすメタ剉numの Importを図った.さらに、Prolog のメタプログラミング Technique を Use いて on the computer への実appear を行い、Export the original The reason is the use of the occasion, the method is the use of the occasion, and the handling of the situation is large and early.さらに、TMS を Use いたInference をUse the するための basics to investigate を行い、そのproblem points を明らかにした. The results of this research include a multi-system knowledge structure, a knowledge expression technique, and a formal knowledge expression technique.