prisma.def.v1_1

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

          (test (?ContractStatus != accountedFor))
          (not (MyName (name ?OtherName)))
          (CapacityAt (quantity ?CapQty) (time ?T))
          (TradingOpen (time ?T))
          (test ((?ProdQty - ?OtcQty) < 0))
          =>
          (modify ?otcAvgPrice (avgprice (((?AvgPrice * ?TradingQty) - (?OtcQty * ?OtcPrice)) / (?TradingQty - ?OtcQty))))
          (modify ?otcDemand (status bought))
          (modify ?otcTrading (quantity (?TradingQty - ?OtcQty)))
          (modify ?production (quantity (?ProdQty - ?OtcQty)))
          (modify ?contract (status accountedFor) (demandId ?DemandId))
       )
    )
    (:Primitive AbstractTaskId14
     :time (1)
     :cost (0)
     :consumed_facts ((:type JOLoadForecast
                       :id joLoadForecast
                       :modifiers 5
                       :attributes ((status ?var661)
                                    (name ?knownLoad.name)
                                    (className ?var663)
                                    (expectedLoad ?var664)
                                    (toTime >=?knownLoad.time)
                                    (fromTime <=?knownLoad.time)
                                   )
                      )
                      (:type KnownLoad
                       :id var484
                       :modifiers 3
                       :attributes ((name ?knownLoad.name)
                                    (time ?knownLoad.time)
                                    (quantity ?var487)
                                   )
                      )
                     )
     :produced_facts ((:type KnownLoad
                       :id knownLoad
                       :modifiers 1
                       :attributes ((name ?var561)
                                    (time ?var563)
                                    (quantity ?var142)
                                   )
                      )
                     )
    )
    (:Primitive AbstractTaskId13
     :time (1)
     :cost (0)
     :consumed_facts ((:type JOMarginalCostMatrix
                       :id joMarginalCost
                       :modifiers 5
                       :attributes ((status ?var615)
                                    (matrix ?var616)
                                    (name ?myName.name)
                                    (NumberOfRows ?var618)
                                    (className ?var619)
                                    (toTime >=?newMarginalCost.time)
                                    (isQuadratic ?var621)
                                    (fromTime <=?newMarginalCost.time)
                                   )
                      )
                      (:type myName
                       :id myName
                       :modifiers 21
                       :attributes ((name ?var445)
                                   )
                      )
                     )
     :produced_facts ((:type MarginalCost
                       :id newMarginalCost
                       :modifiers 1
                       :attributes ((fromQuantity ?var133)
                                    (name ?myName.name)
                                    (toQuantity ?var135)
                                    (time ?var581)
                                    (cost ?var582)
                                   )
                      )
                     )
    )
    (:Primitive AbstractTaskId12
     :time (1)
     :cost (0)
     :produced_facts ((:type PriceForecast
                       :id priceForecast
                       :modifiers 1
                       :attributes ((expectedPrice ?var128)
                                    (name ?var557)
                                    (time ?var559)
                                   )
                      )
                     )
    )
    (:Primitive AbstractTaskId11
     :time (1)
     :cost (0)
     :consumed_facts ((:type Capacity
                       :id capacity
                       :modifiers 21
                       :attributes ((name ?supplyContract.name)
                                    (toTime >=?supplyContract.time)
                                    (quantity >=((?knownLoad.quantity + ?tradingQuantity.quantity) + ?supplyContract.quantity))
                                    (fromTime <=?supplyContract.time)
                                   )
                      )
                      (:type KnownLoad
                       :id knownLoad
                       :modifiers 5
                       :attributes ((name ?supplyContract.name)
                                    (time ?supplyContract.time)
                                    (quantity ?var85)
                                   )
                      )
                      (:type TradingQuantity
                       :id tradingQuantity
                       :modifiers 17
                       :attributes ((name ?supplyContract.name)
                                    (time ?supplyContract.time)
                                    (quantity ?var90)
                                    (avgPrice ?var459)
                                   )
                      )
                      (:type MarginalCost
                       :id marginalCost
                       :modifiers 5
                       :attributes ((fromQuantity <=(?knownLoad.quantity + ?tradingQuantity.quantity))
                                    (name ?supplyContract.name)
                                    (toQuantity >=((?knownLoad.quantity + ?tradingQuantity.quantity) + ?supplyContract.quantity))
                                    (time ?supplyContract.time)
                                    (cost ?var176)
                                   )
                      )
                      (:type Interest
                       :id interest
                       :modifiers 21
                       :attributes ((rate ?var623)
                                    (toTime >=?supplyContract.time)
                                    (fromTime <=?supplyContract.time)
                                   )
                      )
                      (:type Risk
                       :id risk
                       :modifiers 21
                       :attributes ((adding ?var627)
                                    (maxVaR ?var628)
                                    (minPaR ?var631)
                                   )
                      )
                      (:type PriceForecast
                       :id priceForecast
                       :modifiers 5
                       :attributes ((expectedPrice ?var112)
                                    (name ?supplyContract.name)
                                    (time ?supplyContract.time)
                                   )
                      )
                     )
     :produced_facts ((:type SupplyContract
                       :id supplyContract
                       :modifiers 1
                       :attributes ((name ?var389)
                                    (time ?var554)
                                    (quantity ?var119)
                                   )
                      )
                      (:type TradingQuantity
                       :id newTradingQuantity
                       :modifiers 33
                       :attributes ((name ?supplyContract.name)
                                    (time ?supplyContract.time)
                                    (quantity (?tradingQuantity.quantity + ?supplyContract.quantity))
                                    (avgPrice ?var553)
                                   )
                      )
                     )
    )
    (:Rulebase AbstractTaskId10
       (EingangDesBoersenergebnisses0
          (PXTrading (time ?T) (quantity ?PxQty))
          (PXMarketData (mcp ?Mcp) (time ?T))
          ?money <- (Money (amount ?Amount))
          (GMT (time ?GmtTime))
          (CapacityAt (time ?T) (quantity ?CapQty))
          (TradingPeriod (timeTicks ?TimeTicks))
          (LoadForecast (expVal ?ExpLoad) (time ?T))
          (not (TradingOpen (time ?T)))
          (not (OTCTrading (time ?T)))
          =>
          (assert (TradingOpen (deadline (?GmtTime + ?TimeTicks)) (time ?T)))
          (assert (OTCTrading (time ?T) (quantity 0)))
          (assert (OTCAveragePrice (avgprice 0) (time ?T)))
          (assert (Production (time ?T) (quantity (?ExpLoad + ?PxQty))))
          (modify ?money (amount (?Amount + (?Mcp * ?PxQty))))
       )
       (VerkaufangebotErstellen1a
          (TradingOpen (time ?T))
          (CapacityAt (time ?T) (quantity ?CapQty))
          (Production (time ?T) (quantity ?ProdQty) (unitCost ?ProdUnitCost))
          (ProductionCostOnChange (targetQuantity ?TargetQtyPlus) (actualQuantity ?ProdQty) (targetQuantityUnitCost ?PlusUnitCost) (time ?T))
          (ProductionCostOnChange (targetQuantity ?TargetQtyMinus) (actualQuantity ?ProdQty) (targetQuantityUnitCost ?MinusUnitCost) (time ?T))
          (PXMarketData (mcp ?Mcp) (time ?T))
          (test (?ProdQty <= ?TargetQtyPlus))
          (test (?ProdQty >= ?TargetQtyMinus))
          (test (?CapQty >= ?ProdQty))
          (test (((?Mcp - ?PlusUnitCost) * (?TargetQtyPlus - ?ProdQty)) > (((?ProdUnitCost - ?Mcp) * ?ProdQty) + ((?Mcp - ?MinusUnitCost) * ?TargetQtyMinus))))
          =>
          (if (5 < (?TargetQtyPlus - ?ProdQty)) then
 (bind ?supplyQty 5)
 else
 (bind ?supplyQty (?TargetQtyPlus - ?ProdQty)))
          (assert (OTCSupply (status isOpen) (quantity ?supplyQty) (time ?T) (expectedCost ?PlusUnitCost)))
       )
       (VerkaufpreisFestlegen3a
          (OTCSupply (status isOpen) (quantity ?SupQty) (time ?T) (expectedCost ?SupCost) (id ?SupplyId))
          (not (OTCContract (supplyId ?SupplyId)))
          (MyName (name ?TheName))
          (UtilizationRate (rate ?IsRate) (time ?T))
          (UtilizationTarget (rate ?TargetRate) (time ?T))
          (PXMarketData (mcp ?Mcp) (time ?T))
          (TradingOpen (time ?T))
          (RiskAttitude (riskPremium ?RiskPremium))
          (test (?IsRate >= ?TargetRate))
          (test ((?SupCost * (1 + ?RiskPremium)) < ?Mcp))
          =>
          (assert (OTCContract (name ?TheName) (price ?Mcp) (time ?T) (quantity ?SupQty) (supplyId ?SupplyId)))
       )
       (VerkaufpreisFestlegen3b
          (OTCSupply (status isOpen) (quantity ?SupQty) (time ?T) (expectedCost ?SupCost) (id ?SupplyId))
          (not (OTCContract (supplyId ?SupplyId)))
          (MyName (name ?TheName))
          (UtilizationRate (rate ?IsRate) (time ?T))
          (UtilizationTarget (rate ?TargetRate) (time ?T))
          (PXMarketData (mcp ?Mcp) (time ?T))
          (TradingOpen (time ?T))
          (RiskAttitude (threshold ?Threshold) (riskPremium ?RiskPremium))
          (test (?IsRate >= ?TargetRate))
          (test ((?SupCost * (1 + ?RiskPremium)) >= ?Mcp))
          (test (((?SupCost * (1 + ?RiskPremium)) / ?Mcp) <= (1 + ?Threshold)))
          =>
          (assert (OTCContract (name ?TheName) (price (?SupCost * (1 + ?RiskPremium))) (time ?T) (quantity ?SupQty) (supplyId ?SupplyId)))
       )
       (VerkaufpreisFestlegen3c
          (OTCSupply (status isOpen) (quantity ?SupQty) (time ?T) (expectedCost ?SupCost) (id ?SupplyId))
          (not (OTCContract (supplyId ?SupplyId)))
          (MyName (name ?TheName))
          (UtilizationRate (rate ?IsRate) (time ?T))
          (UtilizationTarget (rate ?TargetRate) (time ?T))
          (PXMarketData (mcp ?Mcp) (time ?T))
          (TradingOpen (time ?T))
          (RiskAttitude (threshold ?Threshold) (attitude ?Attitude) (extraPremium ?ExtraPremium) (riskPremium ?RiskPremium))
          (test (?IsRate >= ?TargetRate))
          (test (((?SupCost * (1 + ?RiskPremium)) / ?Mcp) > (1 + ?Threshold)))
          (test (?Attitude != averse))
          =>
          (assert (OTCContract (name ?TheName) (price (?SupCost * (1 + ?ExtraPremium))) (time ?T) (quantity ?SupQty) (supplyId ?SupplyId)))
       )
       (VerkaufpreisFestlegen3d
          (OTCSupply (status isOpen) (quantity ?SupQty) (time ?T) (expectedCost ?SupCost) (id ?SupplyId))
          (not (OTCContract (supplyId ?SupplyId)))
          (MyName (name ?TheName))
          (UtilizationRate (rate ?IsRate) (time ?T))
          (UtilizationTarget (rate ?TargetRate) (time ?T))
          (PXMarketData (mcp ?Mcp) (time ?T))
          (TradingOpen (time ?T))
          (RiskAttitude (threshold ?Threshold) (riskPremium ?RiskPremium))
          (test (?IsRate < ?TargetRate))
          (test (?IsRate > 0))
          (test (?SupCost < ?Mcp))
          =>
          (assert (OTCContract (name ?TheName) (price ?Mcp) (time ?T) (quantity ?SupQty) (supplyId ?SupplyId)))
       )
       (VerkaufpreisFestlegen3e
          (OTCSupply (status isOpen) (quantity ?SupQty) (time ?T) (expectedCost ?SupCost) (id ?SupplyId))
          (not (OTCContract (supplyId ?SupplyId)))
          (MyName (name ?TheName))
          (UtilizationRate (rate ?IsRate) (time ?T))
          (UtilizationTarget (rate ?TargetRate) (time ?T))
          (PXMarketData (mcp ?Mcp) (time ?T))
          (TradingOpen (time ?T))
          (RiskAttitude (threshold ?Threshold) (attitude friendly) (riskPremium ?RiskPremium) (acceptableLoss ?AcceptableLoss))
          (test (?IsRate < ?TargetRate))
          (test (?IsRate > 0))
          (test (?SupCost >= ?Mcp))
          (test (((?SupCost / ?Mcp) - 1) <= ?AcceptableLoss))
          =>
          (assert (OTCContract (name ?TheName) (price (?SupCost * (1 - ?AcceptableLoss))) (time ?T) (quantity ?SupQty) (supplyId ?SupplyId)))
       )
       (VerkaufpreisFestlegen3f
          (OTCSupply (status isOpen) (quantity ?SupQty) (time ?T) (expectedCost ?SupCost) (id ?SupplyId))
          (not (OTCContract (supplyId ?SupplyId)))
          (MyName (name ?TheName))
          (UtilizationRate (rate 0) (time ?T))
          =>
          (assert (OTCContract (name ?TheName) (price ?SupCost) (time ?T) (quantity ?SupQty) (supplyId ?SupplyId)))
       )
       (ErfolgreichenVerkaufVerbuchen4a
          ?otcSupply <- (OTCSupply (status selling) (time ?T) (quantity ?SupQty) (expectedCost ?SupPrice) (id ?SupplyId))
          ?utilization <- (UtilizationRate (rate ?IsRate) (time ?T))
          ?production <- (Production (quantity ?ProdQty) (time ?T))