組織構成エージェントについて

:performative

タスク通知  (task-announcement)   /   直接落札  (directed-award)

:to

CnpManager[@リポジトリ名]

:content

( request :to エージェント名 :env エージェントが存在するリポジトリ名(※1) :wp インスタンシエート先のワークプレース名(※1) :content  実際のタスクの内容 :award OAV形式の落札情報(※1) :wait 入札待ち/落札を送信するまでの待ち時間(ミリ秒)(※1) )

(※1)   省略可能。CnpManager.dashの(initial_facts)にある (_default)ファクトを書き換えることによって初期値を変更できる。

(_default :env "r1:_localhost" // デフォルトのリポジトリ :wp "w1:_localhost" // インスンタンシエート先のデフォルト :award (RWP :url "r1:_localhost") // 落札内容のデフォルト :wait 15000 // デフォルトの待ち時間(15秒) )

1. default.txtのdash.loadpathで指定したディレクトリにCnpManager.dashを置くか、
   起動後に[File] > [Open]で読み込む。
   
   
2. (2)の属性値を記述し、[Send]ボタンを押す。
   
   
3. 必要であれば、[>>]ボタンを押して、次に進む。
   
   
4. 結果が[log]タブかコンソールに出力される。
   
   

  本組織構成プロトコル(Dash-Org)をインクルードしたエージェント群を使って組織構成する には、送信メッセージ中にACLエディタには無い属性を付加する必要がある。また、いくつかのメッセージについては、 replyを用いて返信する必要があり、ACLエディタのみでは困難である。そのため、利用者の要求をプロトコルに適した 書式に変換し、タイムアウトなどの処理を代わりに行ってくれる組織構成エージェント(CnpManager)を 用意した。しかしながら、要求が拒否された場合や、エラーメッセージを受信した場合などの処理は含まれていないため 個々の領域に適した組織を構成するためには、別途、エージェントを設計する必要がある。そこで、エージェントを設計 するにあたって必要となるメッセージについて述べる。

  本プロトコルは、契約ネットプロトコルを基にしたプロトコルであり、木構造の組織を構成することが できる。ここでは、ルートに相当するノードをルートエージェント、中間に相当するノードをマネージャエージェント、 リーフに相当するノードをコントラクタエージェントと呼ぶ。各ノード間は、ルートに近い方を契約の受注側、リーフに 近い方を受注側として表現し、エージェント間のメッセージは、この2ノード間でしか行われない。

ルートエージェント
	|
マネージャエージェント
|		|
コントラクタ エージェント		コントラクタ エージェント

次に、ルートエージェントを含めた組織構成プロトコルの流れ図を示す。各メッセージの書式については、 後述する。

• タスク通知(task-announcement)
  
  　タスク通知の書式を以下に示す。ワークプレースからリポジトリに対して送信する場合など必要であれば :arrival属性も付加する(以下のreplyを除くメッセージについても同様)。 タスク識別子の型に制限はないが、数値か文字列が望ましい。
  
  

  1 (send :performative "task-announcement" 2 :to [ エージェント名 ] 3 :content (task :name XYZ :属性1 値1 :属性2 値2 ... ) 4 :tid タスク識別子 5 )

  
  
  
• 直接落札(directed-award)
  
  　基本的な書式は、タスク通知の場合と同様で、パフォーマティブのみが異なる。
  
  

  1 (send :performative "directed-award" 2 :to [ エージェント名 ] 3 :content (task :name XYZ :属性1 値1 :属性2 値2 ... ) 4 :tid タスク識別子 5 )

  
  
  
• 落札(award)
  
  
  • タスク通知の場合
    　採用する入札を決定した後、次に示す落札メッセージを送信する。採用しなかった入札に対しては、 次項で示す、交渉終了(negotiation-end)メッセージを送信する。コントラクタ側では、 落札や交渉終了メッセージの:inReplyTo属性の値も見ているのでsend アクションは使えないので注意する必要がある。
    
    

    1 (reply :performative "award" 2 :to [ 入札メッセージをバインドした変数 ] 3 :content (task :name XYZ :属性1 値1 :属性2 値2 ... ) 4 :tid タスク識別子 5 :award 落札内容(型は無制限) 6 :wp インスタンシエート先のワークプレース名 7 :manager コントラクタ側に知っていて欲しいマネージャ等のエージェント名  8 )

    
    
  • 直接落札の場合
    　タスク通知の時のような入札メッセージがないのでreplyは使えない。後述の拒否 (refusal)メッセージが来ないと判断できる状態になったら、このメッセージを コントラクタ側に対して送信する。
    
    

    1 (send :performative "award" 2 :to [ タスクを依頼したエージェント名 ] 3 :content (task :name XYZ :属性1 値1 :属性2 値2 ... ) 4 :tid タスク識別子 5 :award 落札内容(型は無制限) 6 :wp インスタンシエート先のワークプレース名 7 :manager コントラクタ側に知っていて欲しいマネージャ等のエージェント名  8 )

    
    
  
  
• 交渉終了(negotiation-end)
  
  　このメッセージは、以下の場合に送信する必要がある。このメッセージにおけるタスク識別子は、 タスク通知／直接落札メッセージにつけたものと同じものを指定する必要がある。
  
  
  1. 採用しなかった入札を送信してきたエージェントの落札待ちを解除する。
  2. タスク分割を行っている場合、分割タスクの一部が不成立になった状態で、既に直接落札を送信して しまったエージェントとの契約を解除する。
  
  
  • タスク通知の場合
    

    1 (reply :performative "negotiation-end" 2 :to [ 入札メッセージをバインドした変数 ] 3 :content (task :name XYZ :属性1 値1 :属性2 値2 ... ) 4 :tid タスク識別子 5 )

    
    
  • 直接落札の場合(入札メッセージがないのでreplyは使えない)
    

    1 (send :performative "negotiation-end" 2 :to [ タスクを依頼したエージェント名 ] 3 :content (task :name XYZ :属性1 値1 :属性2 値2 ... ) 4 :tid タスク識別子 5 )

    
    
  
  

• 入札(bid)
  
  　タスク通知に対してコントラクタ側から送られてくる入札メッセージを以下に示す。
  
  

  1 (Msg :performative "bid" 2 :from 入札を送信してきたエージェント名 3 :content (task :name XYZ :属性1 値1 :属性2 値2 ... ) 4 :tid タスク識別子(タスク通知に記述したものと同値) 5 )

  
  
• 拒否(refusal)
  
  　直接落札に対してコントラクタ側が実現不可能と判断した場合、入札メッセージを返してくる。
  
  

  1 (Msg :performative "refusal" 2 :from サブタスクを依頼したエージェント名 3 :content (task :name XYZ :属性1 値1 :属性2 値2 ... ) 4 :tid タスク識別子(直接落札に記述したものと同値) 5 )

  
  
• 動作可能(acceptance)
  
  　落札(award)メッセージを送信し、コントラクタ側のインスタンシエート処理が終了した ことを知らせるために送られてくる。
  
  

  1 (Msg :performative "acceptance" 2 :from 落札の送信先となっていたエージェント名 3 :content (task :name XYZ :属性1 値1 :属性2 値2 ... ) 4 :tid タスク識別子(タスク通知に記述したものと同値) 5 :members ((コントラクタ1 ()) (コントラクタ2 ()) ...) 6 )

  
  

  [ 戻る ]

  メンバ名を取得する

  【解説】 　ここでは、ワークプレースに生成されたエージェントが、組織を構成しているエージェントの名前を知るための方法について述べる。そのエージェントが組織構成においてコントラクタであった場合は、ワーキングメモリ中にマネージャエージェントの名前が格納されているファクトが生成されているので、そのファクトをバインドすることで取得できる。しかし、マネージャエージェントであった場合は、リポジトリエージェントに対してコントラクタ名を問い合わせる必要がある。但し、コントラクタ名を問い合わせられるのは (Status)ファクトから取得できるリポジトリエージェント名のみであり、他のリポジトリエージェントに対して問い合わせることはできない。 コントラクタの場合 ワーキングメモリに生成されるファクト (Members :manager < マネージャ名 > :contractor ()) マネージャの場合 送信時のメッセージ形式 (Msg :performative "request-contractor-name" :to < エージェント名 > :arrival < リポジトリ名 > :content < 任意 > ) 属性 記述内容 説明 : performative request-contractor-name  (固定) : to リポジトリエージェント名  (Status)ファクトから取得可能 : arrival リポジトリ名  (Status)ファクトから取得可能 : content (任意)  現在、内部では使用されていない 受信時のメッセージ形式 (Msg :performative "inform" :from < エージェント名 > :departure < リポジトリ名 > :content < エージェントリスト > ) 属性 記述内容 説明 : performative inform  (固定) : from リポジトリエージェント名  (Status)ファクトから取得可能 : departure リポジトリ名  (Status)ファクトから取得可能 : content エージェントリスト  後述の「エージェントリストについて」の参照。

  [ 戻る ]

  エージェントリストについて (: membersの属性値について)

  エージェントリストとは、組織を構成しているエージェントの名前をリストにしたものである。組織構成の過程でインスタンシエートに成功していた場合は、ワークプレース上での名前が格納され、失敗してした場合は、リポジトリ上の名前が格納される。要素の基本的な組を次に示す。 (マネージャ (コントラクタ1 ()) (コントラクタ2 ()) ...) 　分割したサブタスクを請け負っているコントラクタ群が存在する場合は、エージェント名の次の要素としてコントラクタのエージェント名を1番目の要素とするリストを追加する。コントラクタが複数ある場合には、エージェントの数だけリストが追加される。各コントラクタについても同様に、そのエージェントをマネージャとしたリストが格納されていく。コントラクタが存在しない場合は、からのリスト「 ( ) 」が格納される。 　例として次のような組織を構成した場合、ルートエージェントが受信した動作可能(acceptance)メッセージの : memebersの属性値を以下に示す。 (マネージャ1 (マネージャ2 (コントラクタ2 ()) (コントラクタ3 ())) (コントラクタ1 ())) ルート ｜ マネージャ1 ／ ＼ マネージャ2   マネージャ2   ／ ＼ コントラクタ2   コントラクタ3

• エージェントが不在／DVMが存在しない
  
  　指定したエージェントや環境が存在しない場合、ルートエージェントに対して以下のメッセージが 送信されてくる。注意点としては、存在しないエージェント/DVMに対してメッセージを送信した エージェントがエラーメッセージを受信した後、直接、ルートエージェントに対して下記のメッセージを 送信してくるのではなく、木構造を遡りながら送られてくるので、メッセージ自体の送信元は、必ずしも 最初のエラーを受信したエージェントになるとは限らない。
  
  

  1 (Msg :performative "Error" 2 :from [ エージェント名 ] 3 :content エラーメッセージ 4 :tid タスク識別子 5 :cnp NO_SUCH_AGENT / NO_SUCH_DVM 6 )

  
  
  
• インスタンシエートに失敗
  　指定したワークプレースが存在しない等の理由によりインスタンシエートに失敗すると、エージェントが 不在だった場合と同様な流れで下記のエラーメッセージが送られてくる。タスク分割を行っているエージェントが インスタンシエートに失敗した場合、それ以下のエージェントには落札メッセージが送信されず、インスタンシエート も行われず、交渉終了メッセージが送信される。
  
  

  1 (Msg :performative "Error" 2 :from [ エージェント名 ] 3 :content エラーメッセージ 4 :tid タスク識別子 5 :cnp INSTANTIATE_FAILED 6 )

  
  
  

インデックスへ   前のページに戻る