prisma.def.v1_1

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

          ?otcAveragePrice <- (OTCAveragePrice (avgprice ?AvgPrice) (time ?T))
          ?otcTrading <- (OTCTrading (quantity ?TradingQty) (time ?T))
          (MyName (name ?MyName))
          (CapacityAt (time ?T) (quantity ?CapQty))
          (not (RiskAttitude (attitude averse)))
          (TradingOpen (time ?T))
          (OTCContract (status sold) (time ?T) (quantity ?SupQty) (supplyId ?SupplyId))
          (test (?CapQty >= (?ProdQty + ?SupQty)))
          =>
          (modify ?otcSupply (status sold))
          (modify ?otcTrading (quantity (?TradingQty + ?SupQty)))
          (modify ?otcAveragePrice (avgprice (((?AvgPrice * ?TradingQty) + (?SupQty * ?SupPrice)) / (?TradingQty + ?SupQty))))
          (modify ?production (quantity (?ProdQty + ?SupQty)))
       )
       (ErfolgreichenVerkaufVerbuchen4b
          ?otcSupply <- (OTCSupply (status selling) (time ?T) (quantity ?SupQty) (expectedCost ?SupPrice) (id ?supplyId))
          ?utilization <- (UtilizationRate (rate ?IsRate) (time ?T))
          ?production <- (Production (quantity ?ProdQty) (time ?T))
          ?otcAveragePrice <- (OTCAveragePrice (avgprice ?AvgPrice) (time ?T))
          ?otcTrading <- (OTCTrading (quantity ?TradingQty) (time ?T))
          (MyName (name ?MyName))
          (LoadForecast (time ?T) (stddev ?Stddev))
          (CapacityAt (time ?T) (quantity ?CapQty))
          (RiskAttitude (attitude averse))
          (TradingOpen (time ?T))
          (OTCContract (status sold) (time ?T) (quantity ?SupQty) (supplyId ?SupplyId))
          (test (?CapQty >= ((?ProdQty + ?SupQty) + ?Stddev)))
          =>
          (modify ?otcSupply (status sold))
          (modify ?otcTrading (quantity (?TradingQty + ?SupQty)))
          (modify ?otcAveragePrice (avgprice (((?AvgPrice * ?TradingQty) + (?SupQty * ?SupPrice)) / (?TradingQty + ?SupQty))))
          (modify ?production (quantity (?ProdQty + ?SupQty)))
       )
       (ErfolgreichenVerkaufVerbuchen4c
          ?otcSupply <- (OTCSupply (status selling) (time ?T) (quantity ?SupQty) (expectedCost ?SupPrice) (id ?supplyId))
          ?utilization <- (UtilizationRate (rate ?IsRate) (time ?T))
          ?production <- (Production (quantity ?ProdQty) (time ?T))
          ?otcAveragePrice <- (OTCAveragePrice (avgprice ?AvgPrice) (time ?T))
          ?otcTrading <- (OTCTrading (quantity ?TradingQty) (time ?T))
          (MyName (name ?MyName))
          (CapacityAt (time ?T) (quantity ?CapQty))
          (SpinningReserve (price ?SprPrice))
          (not (RiskAttitude (attitude averse)))
          (TradingOpen (time ?T))
          (OTCContract (status sold) (time ?T) (quantity ?SupQty) (supplyId ?SupplyId))
          (test (?CapQty < (?ProdQty + ?SupQty)))
          =>
          (assert (OTCDemand (status init) (quantity ((?ProdQty + ?SupQty) - ?CapQty)) (expectedCost ?SprPrice)))
          (modify ?otcSupply (status sold))
          (modify ?otcTrading (quantity (?TradingQty + ?SupQty)))
          (modify ?otcAveragePrice (avgprice (((?AvgPrice * ?TradingQty) + (?SupQty * ?SupPrice)) / (?TradingQty + ?SupQty))))
          (modify ?production (quantity (?ProdQty + ?SupQty)))
       )
       (ErfolgreichenVerkaufVerbuchen4d
          ?otcSupply <- (OTCSupply (status selling) (time ?T) (quantity ?SupQty) (expectedCost ?SupPrice) (id ?supplyId))
          ?utilization <- (UtilizationRate (rate ?IsRate) (time ?T))
          ?production <- (Production (quantity ?ProdQty) (time ?T))
          ?otcAveragePrice <- (OTCAveragePrice (avgprice ?AvgPrice) (time ?T))
          ?otcTrading <- (OTCTrading (quantity ?TradingQty) (time ?T))
          (MyName (name ?MyName))
          (LoadForecast (time ?T) (stddev ?Stddev))
          (CapacityAt (time ?T) (quantity ?CapQty))
          (RiskAttitude (attitude averse))
          (TradingOpen (time ?T))
          (OTCContract (status sold) (time ?T) (quantity ?SupQty) (supplyId ?SupplyId))
          (test (?CapQty < ((?ProdQty + ?SupQty) + ?Stddev)))
          =>
          (assert (OTCDemand (status init) (quantity ((?ProdQty + ?SupQty) - ?CapQty)) (expectedCost ?SprPrice)))
          (modify ?otcSupply (status sold))
          (modify ?otcTrading (quantity (?TradingQty + ?SupQty)))
          (modify ?otcAveragePrice (avgprice (((?AvgPrice * ?TradingQty) + (?SupQty * ?SupPrice)) / (?TradingQty + ?SupQty))))
          (modify ?production (quantity (?ProdQty + ?SupQty)))
       )
    )
    (:Primitive AbstractTaskId9
     :time (1)
     :cost (0)
     :produced_facts ((:type JOLoadForecast
                       :id newLoadForecast
                       :modifiers 1
                       :attributes ((status ?var671)
                                    (name ?var432)
                                    (className ?var673)
                                    (expectedLoad ?var674)
                                    (toTime ?var440)
                                    (fromTime ?var442)
                                   )
                      )
                     )
    )
    (:Primitive AbstractTaskId8
     :time (1)
     :cost (0)
     :produced_facts ((:type JOPriceForecast
                       :id newJOPriceForecast
                       :modifiers 1
                       :attributes ((status ?var378)
                                    (expectedPrice ?var379)
                                    (name ?var380)
                                    (className ?var381)
                                    (toTime ?var382)
                                    (fromTime ?var383)
                                   )
                      )
                     )
    )
    (:Primitive AbstractTaskId7
     :time (1)
     :cost (0)
     :produced_facts ((:type JOMarginalCostMatrix
                       :id var629
                       :modifiers 1
                       :attributes ((status ?var630)
                                    (matrix ?var631)
                                    (name ?var632)
                                    (NumberOfRows ?var633)
                                    (className ?var634)
                                    (toTime ?var635)
                                    (isQuadratic ?var636)
                                    (fromTime ?var637)
                                   )
                      )
                     )
    )
    (:Rulebase AbstractTaskId6
       (sendtoLoggerAndLoadGenerator
          ?JOLF <- (JOLoadForecast (status ?var430) (name ?forAgent) (className ?var432) (expectedLoad ?var433) (toTime ?var434) (fromTime ?var435))
          =>
          (if (true == false) then
 (send_message (type inform) (content ?JOLF) (receiver ?Logger)) (send_message (type inform) (content ?JOLF) (receiver ?LoadGenerator)))
       )
       (sendRealisedLoad
          ?tl <- (TariffLoad (status asRequested) (forAgent ?Receiver))
          =>
          (send_message (type inform) (content ?tl) (receiver ?Receiver))
       )
    )
    (:Rulebase AbstractTaskId5
       (logging
          ?var43 <- (JOPopulation (status unknown) (name ?forAgent) (className ?var46) (individuals ?var47))
          ?var48 <- (JOPopulation (status improved) (name ?forAgent) (className ?var51) (individuals ?var52))
          =>
          (send_message (type inform) (content ?var43) (receiver Logger))
          (send_message (type inform) (content ?var48) (receiver Logger))
          (send_message (type inform) (content ?var48) (receiver ?forAgent))
          (retract ?var43)
          (retract ?var48)
       )
    )
    (:Rulebase AbstractTaskId4
       (SimpleSending
          ?var64 <- (JOPopulation (status unknown) (name ?var66) (className ?var67) (individuals ?var68))
          =>
          (send_message (type inform) (content ?var64) (receiver GAService))
       )
    )
    (:Primitive AbstractTaskId3
     :time (1)
     :cost (0)
     :consumed_facts ((:type myName
                       :id myName
                       :modifiers 21
                       :attributes ((name ?g.name)
                                   )
                      )
                      (:type JOLoadForecast
                       :id joLoadForecast
                       :modifiers 5
                       :attributes ((status ?var592)
                                    (name ?gebot.name)
                                    (className ?var594)
                                    (expectedLoad ?var595)
                                    (toTime >=?g.LastTimeUnit)
                                    (fromTime <=?g.FirstTimeUnit)
                                   )
                      )
                      (:type JOPriceForecast
                       :id joPriceForecast
                       :modifiers 5
                       :attributes ((status ?var599)
                                    (expectedPrice ?var600)
                                    (name ?gebot.name)
                                    (className ?var602)
                                    (toTime >=?g.LastTimeUnit)
                                    (fromTime <=?g.FirstTimeUnit)
                                   )
                      )
                      (:type Risk
                       :id risk
                       :modifiers 21
                       :attributes ((adding ?var332)
                                    (maxVaR ?var333)
                                    (minPaR ?var334)
                                   )
                      )
                      (:type Interest
                       :id interest
                       :modifiers 21
                       :attributes ((rate ?var336)
                                    (toTime ?var337)
                                    (fromTime ?var338)
                                   )
                      )
                      (:type Capacity
                       :id capacity
                       :modifiers 5
                       :attributes ((name ?myName.name)
                                    (toTime >=?g.LastTimeUnit)
                                    (quantity ?var342)
                                    (fromTime <=?g.FirstTimeUnit)
                                   )
                      )
                      (:type JOMarginalCostMatrix
                       :id var402
                       :modifiers 5
                       :attributes ((status ?var403)
                                    (matrix ?var404)
                                    (name ?myName.name)
                                    (NumberOfRows ?var406)
                                    (className ?var407)
                                    (toTime >=?g.LastTimeUnit)
                                    (isQuadratic ?var409)
                                    (fromTime <=?g.FirstTimeUnit)
                                   )
                      )
                     )
     :produced_facts ((:type Gebot
                       :id g
                       :modifiers 1
                       :attributes ((tag ?var1038)
                                    (verkauf_leistung ?var583)
                                    (name ?myName.name)
                                    (kauf_preis ?var585)
                                    (FirstTimeUnit ?var1042)
                                    (kauf_leistung ?var586)
                                    (LastTimeUnit ?var1044)
                                    (verkauf_preis ?var587)
                                   )
                      )
                     )
    )
    (:Rulebase AbstractTaskId2
       (sendGebot
          ?gebot <- (Gebot (verkauf_leistung ?var93) (name ?agentName) (kauf_preis ?var91) (kauf_leistung ?var95) (verkauf_preis ?var92))
          =>
          (send_message (type inform) (content ?gebot) (receiver Boerse))
          (retract ?gebot)
       )
    )
  END_TASK_LIST

  BEGIN_GENERATION_PLAN
    BEGIN_PREAMBLE
      :platform "Windows"
      :directory "."
    END_PREAMBLE
    BEGIN_AGENT_LIST
      (:id AgentId6
       :generate false
       :status Saved
       :has_gui false
       :dns_file "dns.db"
      )
      (:id AgentId5
       :generate false
       :status Saved
       :has_gui false
       :dns_file "dns.db"
      )
      (:id AgentId4
       :generate false
       :status Saved
       :has_gui false
       :dns_file "dns.db"
      )
      (:id AgentId3
       :generate false
       :status Saved
       :has_gui false
       :dns_file "dns.db"
      )
      (:id AgentId2
       :generate false
       :status Saved
       :has_gui false
       :dns_file "dns.db"
      )
      (:id AgentId1
       :generate false
       :status Saved
       :has_gui true
       :dns_file "dns.db"
      )
      (:id AgentId0
       :generate false
       :status Saved
       :has_g