形式的検証機能を備えたインターネットエージェントプログラミングシステム(セッション1)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では, 形式的検証機能を備えたエージェントプログラミングシステムを提案する.その言語は, if-thenルールに基づく単純なセマンティクスをもち, またインターネットエージェントの動作を記述するには十分な, いくつかのエージェントのアクションが与えられている.形式的検証に関しては, CTLのモデルチェックアルゴリズムを利用する.その入力として, エージェントシステムのふるまいの論理的記述が必要であり, 従来はこの記述を人手により作成していたが, ここで導入される言語では, それを自動的に合成することが可能になる.また, 検証すべき要求仕様に対して, その仕様に関連するプログラムの部分だけを自動的に抽出する方法を導入し, 自動合成される状態遷移の論理的記述を簡約化することも可能にした.この言語に対する処理系は, Java上のinterpreterとして実装されており, Jadeなどの他のエージェント開発環境にひけをとらない実行スピードを実現している.
- 2005-09-21
著者
関連論文
- Techniques to accelerate request processing for Byzantine fault tolerance (コンピュテーション)
- UC frameworkにおけるfunctionalityの合成について(情報通信基礎サブソサイエティ合同研究会)
- OWLオントロジー間の自動対応付け手法の提案と評価(「さまざまな分野の形式的検証最前線」及びAI一般)
- Byzantine Agreement on the Order of Processing Received Requests is Solvable Deterministically in Asynchronous Systems
- BDIアーキテクチャにおけるコミットメント戦略を実現するための形式的検証手続き(ソフトウェア基礎,プログラム理論)
- エージェントの相互信念を扱う拡張BDI logicの演繹体系
- 合理的エージェントの心的状態に関する整合性の実現と応用について(ソフトウェアエージェントとその応用論文)
- エージェントの相互信念を扱う拡張BDI logicの演繹体系
- BDI Logicのsequent calculusによる演繹体系(マルチエージェント)
- 確率的近似法を用いた頑強なオンライン評判メカニズム(分散協調とエージェント)