Loading article…
| パラダイム | エージェント指向プログラミング |
|---|---|
| デザイン： | アナンド・ラオ |
| 初登場 | 1996年 |
| 主な実装 | |
| ジェイソン | |
AgentSpeak はエージェント指向プログラミング言語です。これは、論理プログラミングと、（認知）自律エージェントのための信念・欲求・意図ソフトウェア モデル（BDI）アーキテクチャに基づいています。この言語は元々AgentSpeak(L)と呼ばれていましたが、AgentSpeak としてより一般的になり、この用語は元の言語のバリエーションを指すためにも使用されます。
歴史
1996年、アナンド・ラオはBDIアーキテクチャに基づくロジックベースのエージェントプログラミング言語を作成し、それをAgentSpeak(L)と名付けました。 [1]これは、マルチエージェントシステムの文献で頻繁に引用される論文となりました。当初の構想では、AgentSpeakは、手続き型推論システム(PRS) [2]などのBDIアーキテクチャの実用的な実装と、様相論理を使用したBDIアーキテクチャの背後にあるアイデアの形式化との関係を理解するのに役立つことを目的とした抽象的なエージェントプログラミング言語でした。[3]
様々な著者がAgentSpeak(L)言語のさらなる形式化に貢献しました。[4]近年、この言語は研究開発の両面で復活しました。研究の面では、AgentSpeakの拡張[5] [6] [7]とモデル検査を使用したAgentSpeakプログラムの形式検証の両方の研究が行われてきました。[8] [9]この言語は、Jasonプラットフォームの開発により、最も人気のあるエージェント指向言語の1つでもあります。
AgentSpeak(L) は、マルチエージェント プログラミングコンテストの最初から最近の大会まで、 マルチエージェント プログラミング コンテストのソリューションを開発するための最も優れた手段でもあります。
例
Jason をベースにした AgentSpeak(L) の Hello World プログラム:
//印刷するメッセージを示す信念。
メッセージ("Hello World!")。
//当初の目標
！始める。
//プラン
+!開始: メッセージ(M) <-
.print(M). //メッセージを印刷するためのJasonの内部アクション。
参照
参考文献
- ^ 「Anand S. Rao、1996年。AgentSpeak(L): BDIエージェントが論理計算可能言語で発言。マルチエージェントワールドにおける自律エージェントのモデリングに関する第7回ヨーロッパワークショップ(MAAMAW-96)の議事録」。
- ^ マイケル・P・ジョージフ、エイミー・L・ランスキー：反応的推論と計画。AAAI 1987：677–682
- ^ A.RaoとM.Georgeff。BDIロジックの決定手順。Journal of Logic and Computation 8(3), 293–343 (1998)。
- ^ Mark d'Inverno、Michael Luck：「エンジニアリングAgentSpeak(L):形式計算モデル」J. Log. Comput. 8(3): 233-260 (1998)。
- ^ RHBordini、JFHubner、M.Wooldridge。Jason を使用した AgentSpeak でのマルチエージェント システムのプログラミング。John Wiley & Sons、2007 年。
- ^ Rafael H. Bordini、Alvaro F. Moreira: エージェント指向プログラミング言語の BDI プロパティの証明。アン。数学。アーティフ。知性。 42(1–3): 197–226 (2004)
- ^ Renata Vieira、Alvaro F. Moreira、Michael Wooldridge、Rafael H. Bordini: エージェント指向プログラミング言語における音声行為ベースのコミュニケーションの形式意味論について。 J.アーティフ。知性。解像度(JAIR) 29: 221-267 (2007)
- ^ Rafael H. Bordini、Michael Fisher、Willem Visser、Michael Wooldridge: モデル検査ラショナルエージェントIEEEインテリジェントシステム19(5):46–52 (2004)。
- ^ ラファエル H. ボルディーニ、マイケル フィッシャー、ウィレム ヴィッサー、マイケル ウールドリッジ: モデル検査によるマルチエージェント プログラムの検証。自律エージェントとマルチエージェント システム 12(2): 239–256 (2006)
外部リンク
- SourceForgeの AgentSpeak は、AgentSpeak の拡張機能のインタープリターです。