エージェントコーディネーションのための形式的モデル
Formal Models for Coordinating Agents
複数の自律的な動作主体(エージェント)が存在する系において,エージェントどうしを協調さ
せ,系全体として目的通りの動作を行わせるさせるための方法論について研究する.このよ
うな系を表現するための形式的モデルとしてペトリネットベースのモデルを用い,エージェント
の挙動およびエージェントが動作する環境をどのように設計するかについて研究する.
PN^2: Petri nets in a Petri net


ドキュメント
PN^2: An Elementary Model for Design and Analysis of Multi-Agent Systems ([pdf], 235k)
エージェント指向ペトリネットの理論的解析について ([pdf], 209k)
ペトリネットによるマルチエージェントシステムのモデル化 ([pdf], 2,976k)
On Solvability of an Agent-Based Control Problem under Dynamic Environment ([pdf], 72k)



[戻る]