2agent体系结构与语言.pptVIP

31.1.2006 Agent Architectures and Languages * Principles in AOL AF-APL constructs Core logical constructs Plan operators DO_BEHAVIOUR_UNTIL - Behaviour Controller construct: to handle actuators which have a behavioral rather than functional nature. Two arguments:  (a) the identifier of a actuator, which has been declared BEHAVIOUR;  (b) a belief query sentence, which can contain  free variables. DO_BEHAVIOUR_UNTIL(followWall, BELIEF(found(Door))) 31.1.2006 Agent Architectures and Languages * Principles in AOL AF-APL constructs Core logical constructs Plan operators TRY_RECOVER - Error Recover construct: indicate whether an action - or indeed a plan structure - should have error recovery mechanisms associated. The construct takes two arguments:  first, the action or plan body to be monitored  for failure;  second, the plan which is to be used  for recovery.TRY_RECOVER(SEQ(moveForward(5m), turn(90d), enterDoor), social_recovery) 31.1.2006 Agent Architectures and Languages * Principles in AOL AF-APL constructs Core logical constructs Plan operators CHILD_COMMIT - Commitment Adjustment construct: used to override the default secondary commitment creation semantics of the language. ADOPT_GOAL - Goal Adoption construct: a mental action which adds a goal to the agent’s goal set.ADOPT_GOAL(GOAL(closed(door))); ACHIEVE_GOAL - Goal Achievement construct: adds the goal to the agent’s mental state. 31.1.2006 Agent Architectures and Languages * Principles in AOL AF-APL constructs Plans Plans are constructed out of pre-defined actions. Plan bodies can be wrapped in plan construct, which are similar to actuator construct. plan body as activity 31.1.2006 Agent Architectures and Languages * Principles in AOL AF-APL constructs Plans - example BEGIN{PLAN} IDENTIFIER ie.ucd.assitant.makeTea(); PRE BELIEF(TRUE); POST BELIEF(made_tea); BODY SEQ(AND(getTea,getCup,getMilk), XOR(SEQ(getKettle, fillKe