Simplified Semantic Structures for Representing Belief States in Multi-Agent Environments

概要

論文の詳細を見る
Modeling a complicated system as a multiagent system is one of the most promising ways of designing a large, complex system. If we can assume that each agent in a multi-agent system has mental states (beliefs, knowledge, desires and so on), we can formalize each agent's behaviors in an abstract way without being bothered by system implementation details. We present semantic structures that are useful for representing belief states in multi-agent environments. One of the structures is a restriction of oartial Kripke structures studied by Jaspars and Thijsse: we assume that each agent can access from a state of a strucure to at most one state. We call the restricted structures only-child partial Kripke structures. We show some properties of only-child partial Kripke structures. Another structure is a restriction of the alternate nonstandard strutures defined by Fagin et al. To deal with the logical-omniscience problem. We show several relatonships between partial Kripke structures and the restriction of alternate nonstandard structures. Using the results, we show that the outputs of a belief estimation algorithm we previously developed can be characterized by using only-shild partial Kripke structures. Finally, we show that only-shild partial Kripke structures are more appropriate for the belief estimation problem than the restricted nonstandard structures.
一般社団法人電子情報通信学会の論文
2001-01-01