The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
La modélisation d’un système complexe en tant que système multi-agents est l’une des manières les plus prometteuses de concevoir un système vaste et complexe. Si nous pouvons supposer que chaque agent dans un système multi-agents a des états mentaux (croyances, connaissances, désirs, etc.), nous pouvons formaliser les comportements de chaque agent de manière abstraite sans être gêné par les détails de mise en œuvre du système. Nous présentons des structures sémantiques utiles pour représenter les états de croyance dans des environnements multi-agents. L'une des structures est une restriction des structures partielles de Kripke étudiées par Jaspars et Thijsse : nous supposons que chaque agent peut accéder depuis un état d'une structure à au plus un état. Nous appelons les structures restreintes des structures Kripke partielles à enfant unique. Nous montrons quelques propriétés des structures de Kripke partielles pour enfants uniques. Une autre structure est une restriction des structures alternatives non standard définies par Fagin et al. pour traiter le problème de la logique-omniscience. Nous montrons plusieurs relations entre les structures partielles de Kripke et la restriction des structures alternatives non standard. En utilisant les résultats, nous montrons que les résultats d’un algorithme d’estimation de croyance que nous avons développé précédemment peuvent être caractérisés en utilisant des structures de Kripke partielles pour enfants uniques. Enfin, nous montrons que les structures de Kripke partielles pour enfants uniques sont plus appropriées au problème d’estimation des croyances que les structures non standard restreintes.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copier
Hirofumi KATSUNO, Hideki ISOZAKI, "Simplified Semantic Structures for Representing Belief States in Multi-Agent Environments" in IEICE TRANSACTIONS on Information,
vol. E84-D, no. 1, pp. 129-141, January 2001, doi: .
Abstract: Modeling a complicated system as a multi-agent 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 partial Kripke structures studied by Jaspars and Thijsse: we assume that each agent can access from a state of a structure 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 structures defined by Fagin et al. to deal with the logical-omniscience problem. We show several relationships 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-child partial Kripke structures. Finally, we show that only-child partial Kripke structures are more appropriate for the belief estimation problem than the restricted nonstandard structures.
URL: https://global.ieice.org/en_transactions/information/10.1587/e84-d_1_129/_p
Copier
@ARTICLE{e84-d_1_129,
author={Hirofumi KATSUNO, Hideki ISOZAKI, },
journal={IEICE TRANSACTIONS on Information},
title={Simplified Semantic Structures for Representing Belief States in Multi-Agent Environments},
year={2001},
volume={E84-D},
number={1},
pages={129-141},
abstract={Modeling a complicated system as a multi-agent 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 partial Kripke structures studied by Jaspars and Thijsse: we assume that each agent can access from a state of a structure 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 structures defined by Fagin et al. to deal with the logical-omniscience problem. We show several relationships 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-child partial Kripke structures. Finally, we show that only-child partial Kripke structures are more appropriate for the belief estimation problem than the restricted nonstandard structures.},
keywords={},
doi={},
ISSN={},
month={January},}
Copier
TY - JOUR
TI - Simplified Semantic Structures for Representing Belief States in Multi-Agent Environments
T2 - IEICE TRANSACTIONS on Information
SP - 129
EP - 141
AU - Hirofumi KATSUNO
AU - Hideki ISOZAKI
PY - 2001
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E84-D
IS - 1
JA - IEICE TRANSACTIONS on Information
Y1 - January 2001
AB - Modeling a complicated system as a multi-agent 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 partial Kripke structures studied by Jaspars and Thijsse: we assume that each agent can access from a state of a structure 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 structures defined by Fagin et al. to deal with the logical-omniscience problem. We show several relationships 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-child partial Kripke structures. Finally, we show that only-child partial Kripke structures are more appropriate for the belief estimation problem than the restricted nonstandard structures.
ER -