test.def

用Multi-Agent平台Zeus开发的一个功能完整的开源安全股票交易系统

BEGIN_GENERATOR
  BEGIN_PREAMBLE
    :system "ZEUS-Agent-Generator"
    :version "1.1"
    :ontology ".:mazedemo.ont"
  END_PREAMBLE

  BEGIN_AGENT_NAME_INDEX
    AgentId6 Euronext
    AgentId5 Broker
    AgentId4 Banque
  END_AGENT_NAME_INDEX

  BEGIN_AGENT_ICON_INDEX
    AgentId6 "..:..:gifs:agent.gif"
    AgentId5 "..:..:gifs:agent.gif"
    AgentId4 "..:..:gifs:agent.gif"
  END_AGENT_ICON_INDEX

  BEGIN_TASK_NAME_INDEX
    AbstractTaskId3 Cotation
    AbstractTaskId2 Trade
    AbstractTaskId1 Register
  END_TASK_NAME_INDEX

  BEGIN_AGENT_LIST
    (:name AgentId6
     :class ZeusAgent
     :planner_width 1
     :planner_length 20
     :doublebook_fraction 0
     :tasks (AbstractTaskId1
             AbstractTaskId3
            )
    )
    (:name AgentId5
     :class ZeusAgent
     :planner_width 1
     :planner_length 20
     :doublebook_fraction 0
     :tasks (AbstractTaskId1
             AbstractTaskId2
            )
     :initial_facts ((:type thisMove
                      :id fact49
                      :modifiers 0
                      :attributes ((west false)
                                   (east false)
                                   (south false)
                                   (north false)
                                   (id Broker)
                                  )
                     )
                    )
     :acquaintances ((:name AgentId1
                      :relation peer
                     )
                    )
    )
    (:name AgentId4
     :class ZeusAgent
     :planner_width 1
     :planner_length 20
     :doublebook_fraction 0
     :tasks (AbstractTaskId1
             AbstractTaskId2
            )
     :initial_facts ((:type thisMove
                      :id fact51
                      :modifiers 0
                      :attributes ((west false)
                                   (east false)
                                   (south false)
                                   (north false)
                                   (id Banque)
                                  )
                     )
                    )
     :acquaintances ((:name AgentId1
                      :relation peer
                     )
                    )
    )
  END_AGENT_LIST

  BEGIN_TASK_LIST
    (:Rulebase AbstractTaskId3
       (firstLegalMove
          ?moveFlag <- (moveMade (moved true) (id ?agName))
          ?obst <- (obstacle (west ?var177) (east ?var178) (south ?var179) (north ?var176) (id ?agName))
          =>
          (send_message (type inform) (content ?obst) (receiver ?agName))
          (retract ?moveFlag)
          (retract ?obst)
       )
       (illegalMove
          ?moveFlag <- (moveMade (moved true) (id ?agName))
          ?lastMove <- (thisMove (west ?var20) (east ?var21) (south ?var22) (north ?var19) (id ?agName))
          ?obst <- (obstacle (west ?var177) (east ?var178) (south ?var179) (north ?var176) (id ?agName))
          =>
          (send_message (type inform) (content ?obst) (receiver ?agName))
          (retract ?moveFlag)
          (retract ?obst)
          (retract ?lastMove)
       )
       (respondReg
          (agentsName (name ?agName))
          ?ar <- (agentRegistered (name ?envName))
          =>
          (send_message (type inform) (content ?ar) (receiver ?agName))
          (assert (inMaze (isInMaze true) (name ?agName)))
       )
       (sendInMaze
          ?im <- (inMaze (isInMaze true) (name ?var269))
          =>
          (send_message (type inform) (content ?im) (receiver ?var269))
       )
       (sendExited
          ?ex <- (mazeExited (id ?varH))
          =>
          (send_message (type inform) (content ?ex) (receiver ?varH))
       )
    )
    (:Rulebase AbstractTaskId2
       (start
          ?obs <- (obstacle (west ?var180) (east ?var181) (south ?var182) (north ?var179))
          ?lastMove <- (thisMove (west false) (east false) (south false) (north false))
          ?agentReg <- (agentRegistered (name ?var15))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west false) (east false) (south false) (north true))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obs)
       )
       (followWall_east
          ?obst <- (obstacle (east false) (north true))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (east true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west false) (east true) (south false) (north false))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (followWall_north
          ?obst <- (obstacle (west true) (north false))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (north true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west false) (east false) (south false) (north true))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (followWall_west
          ?obst <- (obstacle (west false) (south true))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (west true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west true) (east false) (south false) (north false))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (followWall_south
          ?obst <- (obstacle (east true) (south false))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (south true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west false) (east false) (south true) (north false))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (going_east_blocked_east
          ?obst <- (obstacle (east true) (south true))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (east true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west false) (east false) (south false) (north true))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (going_east_blocked_east_openSouth
          ?obst <- (obstacle (east true) (south false))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (east true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west false) (east false) (south true) (north false))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (going_south_blocked_south
          ?obst <- (obstacle (west true) (south true))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (south true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west false) (east true) (south false) (north false))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (going_south_blocked_south_openWest
          ?obst <- (obstacle (west false) (south true))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (south true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west true) (east false) (south false) (north false))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (going_north_blocked_north
          ?obst <- (obstacle (east true) (north true))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (north true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west true) (east false) (south false) (north false))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (going_north_blocked_north_openEast
          ?obst <- (obstacle (east false) (north true))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (north true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west false) (east true) (south false) (north false))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (going_west_blocked_west
          ?obst <- (obstacle (west true) (north true))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (west true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west false) (east false) (south true) (north false))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (going_west_blocked_west_openNorth
          ?obst <- (obstacle (west true) (north false))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (west true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west false) (east false) (south false) (north true))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (junctionSouth_goingWest
          ?obst <- (obstacle (south false))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (west true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west false) (east false) (south true) (north false))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (junctionNorth_goingEast
          ?obst <- (obstacle (north false))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (east true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west false) (east false) (south false) (north true))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (junctionWest_goingNorth
          ?obst <- (obstacle (west false))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (north true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west true) (east false) (south false) (north false))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
       (junctionEast_goingSouth
          ?obst <- (obstacle (east false))
          ?agentReg <- (agentRegistered (name ?var15))
          ?lastMove <- (thisMove (south true))
          ?inMaze <- (inMaze (isInMaze true))
          =>
          (modify ?lastMove (west false) (east true) (south false) (north false))
          (send_message (type inform) (content ?lastMove) (receiver ?var15))
          (retract ?obst)
       )
    )
    (:Rulebase AbstractTaskId1
       (registerWithEnvironment
          ?aN <- (agentsName (name ?var6))
          =>
          (send_message (type inform) (content ?aN) (receiver Environment))
       )
       (exitedMaze9
          ?me <- (mazeExited (id ?var6))
          ?obst <- (obstacle)
          ?aR <- (agentRegistered (name ?var19))
          ?tM <- (thisMove)
          (agentsName (name ?var33))
          =>
          (retract ?me)
          (retract ?obst)
          (retract ?aR)
          (retract ?tM)
          (assert (thisMove (west false) (east false) (south false) (north false) (id ?var33)))
       )
    )
  END_TASK_LIST

  BEGIN_GENERATION_PLAN
    BEGIN_PREAMBLE
      :platform "Unix"
      :directory "."
    END_PREAMBLE
    BEGIN_AGENT_LIST
      (:id AgentId6
       :generate false
       :status Saved
       :has_gui true
       :zeus_external "SEgui"
       :dns_file "dns.db"
      )
      (:id AgentId5
       :generate false
       :status Saved
       :has_gui false
       :zeus_external "projetDEA"
       :dns_file "dns.db"
      )
      (:id AgentId4
       :generate false
       :status Saved
       :has_gui false
       :zeus_external "projetDEA"
       :dns_file "dns.db"
      )
    END_AGENT_LIST
    BEGIN_TASK_LIST
      (:id AbstractTaskId3
       :generate false
       :status Saved
       :external null
      )
      (:id AbstractTaskId2
       :generate false
       :status Saved
       :external null
      )
      (:id AbstractTaskId1
       :generate false
       :status Saved
       :external null
      )
    END_TASK_LIST
    BEGIN_NAMESERVER_LIST
      (:name Nameserver2
       :is_root true
       :has_gui false
       :address_output_file "dns.db"
       :time_grain 0.1
      )
    END_NAMESERVER_LIST
    BEGIN_FACILITATOR_LIST
      (:name Facilitator2
       :period 5.00
       :has_gui false
       :dns_file "dns.db"
      )
    END_FACILITATOR_LIST
    BEGIN_VISUALISER_LIST
      (:name Visualiser2
       :has_gui false
       :dns_file "dns.db"
      )
    END_VISUALISER_LIST
  END_GENERATION_PLAN
END_GENERATOR