prisma.def.v1_1

人工智能中Agent开发包。多 Agent 系统是处理自治 Agent 之间知识层的协作问题

                                                       (supplyId ?var87)
                                                      )
                                         )
                                   :time 0
                                   :cost 0.0
                                  )
                                 )
                     )
                     (:name AgentId10
                      :relation peer
                      :abilities ((:fact (:type OTCContract
                                          :id var439
                                          :modifiers 1
                                          :attributes ((status ?var440)
                                                       (name ?var441)
                                                       (demandId ?var442)
                                                       (price ?var443)
                                                       (time ?var444)
                                                       (quantity ?var445)
                                                       (supplyId ?var446)
                                                      )
                                         )
                                   :time 0
                                   :cost 0.0
                                  )
                                 )
                     )
                    )
    )
    (:name AgentId1
     :class ZeusAgent
     :planner_width 7
     :planner_length 20
     :doublebook_fraction 0
     :tasks (AbstractTaskId14
             AbstractTaskId13
             AbstractTaskId12
             AbstractTaskId11
             AbstractTaskId8
             AbstractTaskId4
             AbstractTaskId3
             AbstractTaskId2
             AbstractTaskId0
             AbstractTaskId15
             AbstractTaskId10
             AbstractTaskId16
            )
     :protocols ((:name "zeus.actors.graphs.ContractNetRespondent"
                  :type Respondent
                  :constraints ((:fact (:type ZeusFact
                                        :id var399
                                        :modifiers 1
                                       )
                                 :type 0
                                 :strategy "zeus.actors.graphs.DefaultRespondentEvaluator"
                                )
                                (:fact (:type ZeusFact
                                        :id var358
                                        :modifiers 1
                                       )
                                 :type 0
                                 :strategy "zeus.actors.graphs.LinearRespondentEvaluator"
                                 :parameters ("no.quibblerange" "2" "step.default" "2" "max.percent" "104" "min.percent" "95")
                                )
                               )
                 )
                 (:name "zeus.actors.graphs.ContractNetInitiator"
                  :type Initiator
                  :constraints ((:fact (:type ZeusFact
                                        :id var398
                                        :modifiers 1
                                       )
                                 :type 0
                                 :strategy "zeus.actors.graphs.DefaultInitiatorEvaluator"
                                )
                                (:fact (:type ZeusFact
                                        :id var357
                                        :modifiers 1
                                       )
                                 :type 0
                                 :strategy "zeus.actors.graphs.LinearInitiatorEvaluator"
                                 :parameters ("step.default" "2" "no.quibblerange" "2" "max.percent" "130" "min.percent" "96")
                                )
                               )
                 )
                )
     :acquaintances ((:name AgentId2
                      :relation peer
                      :abilities ((:fact (:type OTCContract
                                          :id var349
                                          :modifiers 1
                                          :attributes ((status ?var105)
                                                       (name ?var350)
                                                       (demandId ?var111)
                                                       (price ?var351)
                                                       (time ?var352)
                                                       (quantity ?var353)
                                                       (supplyId ?var115)
                                                      )
                                         )
                                   :time 0
                                   :cost 0.0
                                  )
                                 )
                     )
                     (:name AgentId10
                      :relation peer
                      :abilities ((:fact (:type OTCContract
                                          :id var431
                                          :modifiers 1
                                          :attributes ((status ?var432)
                                                       (name ?var433)
                                                       (demandId ?var434)
                                                       (price ?var435)
                                                       (time ?var436)
                                                       (quantity ?var437)
                                                       (supplyId ?var438)
                                                      )
                                         )
                                   :time 0
                                   :cost 0.0
                                  )
                                 )
                     )
                    )
    )
    (:name AgentId0
     :class ZeusAgent
     :planner_width 1
     :planner_length 20
     :doublebook_fraction 0
     :tasks (AbstractTaskId1
             AbstractTaskId17
            )
     :initial_facts ((:type AgentName
                      :id Boersenname
                      :modifiers 0
                      :attributes ((name PrismaXchange)
                                  )
                     )
                    )
    )
    (:name AgentId10
     :class ZeusAgent
     :planner_width 7
     :planner_length 20
     :doublebook_fraction 0
     :tasks (AbstractTaskId14
             AbstractTaskId13
             AbstractTaskId12
             AbstractTaskId11
             AbstractTaskId8
             AbstractTaskId4
             AbstractTaskId3
             AbstractTaskId2
             AbstractTaskId0
             AbstractTaskId15
             AbstractTaskId10
             AbstractTaskId16
            )
     :protocols ((:name "zeus.actors.graphs.ContractNetRespondent"
                  :type Respondent
                  :constraints ((:fact (:type ZeusFact
                                        :id var399
                                        :modifiers 1
                                       )
                                 :type 0
                                 :strategy "zeus.actors.graphs.DefaultRespondentEvaluator"
                                )
                                (:fact (:type ZeusFact
                                        :id var358
                                        :modifiers 1
                                       )
                                 :type 0
                                 :strategy "zeus.actors.graphs.LinearRespondentEvaluator"
                                 :parameters ("no.quibblerange" "2" "step.default" "2" "max.percent" "104" "min.percent" "95")
                                )
                               )
                 )
                 (:name "zeus.actors.graphs.ContractNetInitiator"
                  :type Initiator
                  :constraints ((:fact (:type ZeusFact
                                        :id var398
                                        :modifiers 1
                                       )
                                 :type 0
                                 :strategy "zeus.actors.graphs.DefaultInitiatorEvaluator"
                                )
                                (:fact (:type ZeusFact
                                        :id var357
                                        :modifiers 1
                                       )
                                 :type 0
                                 :strategy "zeus.actors.graphs.LinearInitiatorEvaluator"
                                 :parameters ("step.default" "2" "no.quibblerange" "2" "max.percent" "130" "min.percent" "96")
                                )
                               )
                 )
                )
     :acquaintances ((:name AgentId2
                      :relation peer
                      :abilities ((:fact (:type OTCContract
                                          :id var349
                                          :modifiers 1
                                          :attributes ((status ?var105)
                                                       (name ?var350)
                                                       (demandId ?var111)
                                                       (price ?var351)
                                                       (time ?var352)
                                                       (quantity ?var353)
                                                       (supplyId ?var115)
                                                      )
                                         )
                                   :time 0
                                   :cost 0.0
                                  )
                                 )
                     )
                     (:name AgentId1
                      :relation peer
                      :abilities ((:fact (:type OTCContract
                                          :id var423
                                          :modifiers 1
                                          :attributes ((status ?var424)
                                                       (name ?var425)
                                                       (demandId ?var426)
                                                       (price ?var427)
                                                       (time ?var428)
                                                       (quantity ?var429)
                                                       (supplyId ?var430)
                                                      )
                                         )
                                   :time 0
                                   :cost 0.0
                                  )
                                 )
                     )
                    )
    )
    (:name AgentId9
     :class ZeusAgent
     :planner_width 7
     :planner_length 20
     :doublebook_fraction 0
     :tasks (AbstractTaskId14
             AbstractTaskId13
             AbstractTaskId12
             AbstractTaskId11
             AbstractTaskId8
             AbstractTaskId4
             AbstractTaskId3
             AbstractTaskId2
             AbstractTaskId0
             AbstractTaskId15
             AbstractTaskId10
             AbstractTaskId16
            )
     :protocols ((:name "zeus.actors.graphs.ContractNetRespondent"
                  :type Respondent
                  :constraints ((:fact (:type ZeusFact
                                        :id var399
                                        :modifiers 1
                                       )
                                 :type 0
                                 :strategy "zeus.actors.graphs.DefaultRespondentEvaluator"
                                )
                                (:fact (:type ZeusFact
                                        :id var358
                                        :modifiers 1
                                       )
                                 :type 0
                                 :strategy "zeus.actors.graphs.LinearRespondentEvaluator"
                                 :parameters ("no.quibblerange" "2" "step.default" "2" "max.percent" "104" "min.percent" "95")
                                )
                               )
                 )
                 (:name "zeus.actors.graphs.ContractNetInitiator"
                  :type Initiator
                  :constraints ((:fact (:type ZeusFact
                                        :id var398
                                        :modifiers 1
                                       )
                                 :type 0
                                 :strategy "zeus.actors.graphs.DefaultInitiatorEvaluator"
                                )
                                (:fact (:type ZeusFact
                                        :id var357
                                        :modifiers 1
                                       )
                                 :type 0
                                 :strategy "zeus.actors.graphs.LinearInitiatorEvaluator"
                                 :parameters ("step.default" "2" "no.quibblerange" "2" "max.percent" "130" "min.percent" "96")
                                )
                               )
                 )
                )
     :acquaintances ((:name AgentId1
                      :relation peer
                      :abilities ((:fact (:type OTCContract
                                          :id var359