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

マルチエージェント環境における合意形成モデルの非単調論理に基づく形式化と実現

基于非单调逻辑的多智能体环境下共识模型的形式化与实现

基本信息

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

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-11780262/
关键词：
信念変更マルチエージェント非単調論理自己認識論理

项目摘要

本研究では,まず,マルチエージェントシステムにおいて,各エージェントが持つ知識の間の無矛盾性を知識の最小限の変更により維持し,エージェント間の合意として形成できる知識,および,その合意形成操作を形式化した.特に,すべてのエージェントの知識を平等に扱う一般的なモデルを構築し,既存の知識変更モデルの自然な一般化であることを示した.このモデルでは,知識変更は知識の解釈の間の順序関係に基づいて定義される.また,この合意形成のための知識変更モデルを計算機上に実現するために,非単調論理のひとつであるマルチエージェント自己認識論理(MAEL)との論理的関連を明らかにし,MAELに基づく推論システムを提案した.特に,その推論を効率的に実行するために,MAELから論理プログラムへの変換手法を提案し,その変換の正当性を証明した.その際,マルチエージェントからシングルエージェントへ帰着する手法,論理的含意能力やメタ知識推論能力を論理プログラムに補完する手法を開発した.さらに,マルチエージェント環境における真理維持システムとしてDTMSが知られているが,その上での知識無矛盾性維持アルゴリズムを提案し,計算機上に実現した.以上の結果,既存の知識変更モデルを包含する一般的なモデルを得ることができ,マルチエージェントの合意形成のための理論的手法を実現するための基礎を構築することができたと考えられる.

In this study, we do not know how to maintain the minimum level of contradictory knowledge, and we do not agree to form a formal framework for the formation of knowledge. In particular, we need to know more about the equality of knowledge, the general knowledge and the generalization of nature. We need to know more about how to understand the order and order of each other, and how to define the definition of each other. It is intended to form an information system that can be used on the computer, not on the computer, but not on the MAEL system. MAEL is used to discuss the proposal for information management. In this paper, we recommend that the rate of discussion should be discussed, and that the MAEL should be rationalized, that the proposal should be made, and that the justification should be clarified. In the world, the meaning of reason, the ability of intellectual reasoning, the ability of knowledge and reasoning, the ability of knowledge and reasoning. To maintain the truth and truth of the environment, to maintain the truth of the environment, to maintain the knowledge of the DTMS, to maintain the contradictory nature of knowledge, to maintain the proposal for environmental protection, and to realize the results on the computer. As a result of the above results, the existing knowledge system includes the general information system, which results in the formation of a theoretical approach to the theory of information.