Flageアーキテクチャにおける代数モデル

概要

論文の詳細を見る
エージェントモデルを記述するためのFlageアーキテクチャは、能動的に動作する主体であるエージェントが場を渡り歩きながら、メタレベルアーキテクチャに基づいて、環境変化に対し自動的かつ柔軟に適応するシステムの構築を目的としている。しかし、そのような適応メカニズムを開放型ネットワークにおける現実的なソフトウェア開発ということを考慮した場合、高信頼性を保証するために、検証技術を実現する必要がある。そこで本稿では、そのような検証技術の理論的基盤としての、Flageアーキテクチャの代数モデルについて論ずる。Flageに類似したエージェントモデルの代数モデルとして、書換え論理がある。書換え論理は、並行オブジェクト指向の定式化のための枠組として提案されているが、制約の表現など、エージェントモデルのための枠組として捉えることも可能である。更に、カテゴリ論に基づく宣言的な意味論が与えられているので、検証を行うのにも適している。しかし、書換え論理では、Flageに特徴的なメタレベルアーキテクチャを完全に定式化することが困難である。一方本稿では、書換え論理をベースとしながらも、メタレベルアーキテクチャをも扱ったモデルを提案する。本モデルでは、動的な記述の変更に対し、代数的な意味論を与えることができる。なお本モデルは、カテゴリで意味を与えることにより、メタレベル操作を代数的に扱うことが可能となっている。
一般社団法人情報処理学会の論文
1995-09-20

Flageアーキテクチャにおける代数モデル

スポンサーリンク

概要

著者

関連論文

スポンサーリンク