lang.def

来自「人工智能中Agent开发包。多 Agent 系统是处理自治 Agent 之间知识」· DEF 代码 · 共 154 行

BEGIN_GENERATOR
  BEGIN_PREAMBLE
    :system "ZEUS-Agent-Generator"
    :version "1.2.2"
    :ontology ".:subsuper.ont"
  END_PREAMBLE

  BEGIN_AGENT_NAME_INDEX
    AgentId1 Agent1
    AgentId0 Agent0
  END_AGENT_NAME_INDEX

  BEGIN_AGENT_ICON_INDEX
    AgentId1 ".:h:source_code:gifs:agent.gif"
    AgentId0 ".:h:source_code:gifs:agent.gif"
  END_AGENT_ICON_INDEX

  BEGIN_TASK_NAME_INDEX
    AbstractTaskId2 Task2
    AbstractTaskId1 Task1
    AbstractTaskId0 Task0
  END_TASK_NAME_INDEX

  BEGIN_AGENT_LIST
    (:name AgentId1
     :class ZeusAgent
     :planner_width 1
     :planner_length 20
     :doublebook_fraction 0
     :tasks (AbstractTaskId1
            )
     :initial_facts ((:type super
                      :id fact52
                      :modifiers 0
                      :attributes ((name5 ?var53)
                                  )
                     )
                    )
    )
    (:name AgentId0
     :class ZeusAgent
     :planner_width 1
     :planner_length 20
     :doublebook_fraction 0
     :tasks (AbstractTaskId0
             AbstractTaskId2
            )
     :initial_facts ((:type sub
                      :id fact54
                      :modifiers 0
                      :attributes ((name5 ?var55)
                                  )
                     )
                     (:type super
                      :id fact7
                      :modifiers 0
                      :attributes ((name5 ?var8)
                                  )
                     )
                    )
    )
  END_AGENT_LIST

  BEGIN_TASK_LIST
    (:Rulebase AbstractTaskId2
       (Rule0
          ?ifcond <- (super (name5 ?var25))
          =>
          (if (?ifcond == ?ifcond) then
 (retract ?ifcond)
 else
 (send_message (type inform) (content bubble) (receiver Agent1)))
       )
    )
    (:Rulebase AbstractTaskId1
       (Rule1
          ?var34 <- (sub (name5 ?var35))
          ?var36 <- (super (name5 ?var37))
          =>
          (retract ?var34)
          (send_message (type inform) (content ?var36) (receiver Agent0))
       )
    )
    (:Rulebase AbstractTaskId0
       (Rule0
          ?var12 <- (super (name5 ?var13))
          ?var32 <- (sub (name5 ?var33))
          =>
          (retract ?var12)
          (send_message (type inform) (content ?var32) (receiver Agent1))
       )
    )
  END_TASK_LIST

  BEGIN_GENERATION_PLAN
    BEGIN_PREAMBLE
      :platform "Windows"
      :directory "."
    END_PREAMBLE
    BEGIN_AGENT_LIST
      (:id AgentId1
       :generate false
       :status Saved
       :has_gui true
       :dns_file "dns.db"
      )
      (:id AgentId0
       :generate false
       :status Saved
       :has_gui true
       :dns_file "dns.db"
      )
    END_AGENT_LIST
    BEGIN_TASK_LIST
      (:id AbstractTaskId2
       :generate false
       :status Saved
       :external null
      )
      (:id AbstractTaskId1
       :generate false
       :status Modified
       :external null
      )
      (:id AbstractTaskId0
       :generate false
       :status Modified
       :external null
      )
    END_TASK_LIST
    BEGIN_NAMESERVER_LIST
      (:name Nameserver2
       :is_root true
       :has_gui false
       :address_output_file "dns.db"
       :time_grain 0.5
      )
    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