1 / 31

Chapter 15: Agents

Chapter 15: Agents. Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005. Highlights of this Chapter. Agents Introduced Agent Descriptions Abstractions for Composition Describing Compositions Service Composition as Planning Rules.

mada
Télécharger la présentation

Chapter 15: Agents

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Chapter 15:Agents Service-Oriented Computing: Semantics, Processes, Agents– Munindar P. Singh and Michael N. Huhns, Wiley, 2005

  2. Highlights of this Chapter • Agents Introduced • Agent Descriptions • Abstractions for Composition • Describing Compositions • Service Composition as Planning • Rules Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  3. What is an Agent? Wide range of behavior and functionality in computing • An agent is an active computational entity • With a persistent identity • Can carry out a long-lived conversation • Perceives, reasons about, and initiates activities in its environment • Deals with services • Communicates (with other agents) and changes its behavior based on others • Loosely coupled • Business partners map to agents Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  4. Agents and Multiagent Systems for SOC • Unlike objects, agents • Are proactive and autonomous • Support loose coupling • In addition, agents may • Cooperate or compete • Model users, themselves, and others • Dynamically use and reconcile ontologies Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  5. Modeling Agents: AI Emphasize mental concepts Beliefs: agent’s representation of the world Knowledge: (usually) true beliefs Desires: preferred states of the world Goals: consistent desires Intentions: goals adopted for action Resources allocated Sometimes associated with an element of persistence Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  6. Modeling Agents: MAS • Emphasize interaction • Social: about collections of agents • Organizational: about teams and groups • Legal: about contracts and compliance • Ethical: about right and wrong actions • Emphasize autonomy and communication Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  7. Mapping SOC to Agents Agents apply well in an open system • Autonomy  ability to enter into and enact contracts; compliance • How can we check or enforce compliance? • Heterogeneity ontologies • Loose coupling  communication • Trustworthiness  contracts, ethics, learning, incentives • Dynamism  combination of the above Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  8. A Reactive AgentThe Sense-Decide-Act Loop Environment e; RuleSet r; while (true) { state = senseEnvironment(e); a = chooseAction(state, r); e.applyAction(a); } Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  9. Economic Rationality • Three elements • A performance measure, e.g., expected utility • An agent’s prior knowledge and perceptions • The available actions • Ideal: for each possible percept sequence, • Acts to maximize its expected utility • On the basis of its knowledge and evidence from the percept sequence Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  10. Logic-Based Agents(Another form of rationality) • An agent is a knowledge-based system • Represents a symbolic model of the world • Declarative (hence, inspectable) • Reasons symbolically via logical deduction • Challenges: • Representing information symbolically • Easier in information environments than in general • Maintaining adequate model of the world Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  11. Cognitive Architecture for an Agent For SOC, sensors and effectors map to services; the communication infrastructure is messaging middleware Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  12. Exercise • Create an instance of the preceding diagram where the two agents are Amazon and a manufacturer • When is it beneficial to employ agents in this setting? • What is an illustration ofloose coupling in this setting? Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  13. Sensor input brf beliefs Generate options desires filter intentions action Generic BDI Architecture • Addresses how beliefs, desires and intentions are represented, updated, and acted upon • Somewhat richer than sense-decide-act: decisions directly affect future decisions • Consider goal-oriented requirements engineering Action output Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  14. Architecture of BDI-Based Agent Execution Cycle: the agent • Receive new information • Update beliefs and goals • Reason about actions • Intend an action • Select an intended action • Activate selected intention • Perform an action • Update beliefs, goals, intentions Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  15. Web Ontology Language for Services (OWL-S) An OWL-S service description provides • Declarative ads for properties and capabilities • Used for discovery • Declarative APIs • Used for execution • A declarative description via inputs, outputs, preconditions, effects (IOPE) • Used for composition and interoperation • Extended to IOPR: a result combines an output and associated effects Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  16. OWL-S Service Ontology Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  17. OWL-S Mapped to UDDI Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  18. OWL-S Service Model Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  19. OWL-S Example: Processing Book Orders Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  20. OWL-S IOPEs for Bookstore Example Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  21. Composition as Planning • Represent current and goal states • Represent each service as an action • Based on its IOPE • Represent a composed service as a plan that invokes the constituent services constraining the control and data flow to achieve the goal state Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  22. Rules: Logical Representations • Rules are desirable because they are • Modular: easy to read and maintain • Inspectable: easy to understand • Executable: no further translation needed • Expressive: (commonly) Turing complete and can capture knowledge that would otherwise not be captured declaratively • Compare with relational calculus (classical SQL) or description logics (OWL) • Declarative, although imperfectly so Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  23. Kinds of Rules • ECA or Reaction • On event if condition then perform action • Derivation rules: special case of above • Integrity constraints: derive false if error • Inference rules • If antecedent then consequent • Support multiple computational strategies • Forward chaining; backward chaining Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  24. Applying ECA Rules • Capture protocols, policies, and heuristics as ECA rules • Examples? • Often, combine ECA with inference rules (to check if a condition holds) • Modeling challenge • What is an event? • How to capture composite events by pushing event detection to lower layers Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  25. Example: ECA IF request (?x ?y ?z)  event AND like (?x ?y)  condition THEN do(fulfill(?x ?z))  action • Watch out for relevant events • If one occurs, check condition • If condition holds, perform action Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  26. Example: Inference • Typical syntax indicating forward chaining IF parent(?x ?y) AND parent (?y ?z)  Antecedent THEN grandparent (?x ?z)  Consequent • Typical syntax indicating backward chaining INFER grandparent (?x ?z)  Consequent FROM parent(?x ?y)  Antecedent AND parent (?y ?z) Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  27. Example: Communication IF incoming-message(?x ?y ?z) AND policy(?x ?y ?w) AND policy(?x ?z ?v) THEN send message(?x ?v ?w) AND assert internal-fact(?x ?v ?w) • Here the policy stands for any internal decision making, usually defined as INFER policy(?x ?y ?w) FROM … Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  28. Exercise • State the customer’s rules to capture how it might interact with a merchant in a purchase protocol • RFQ: request for quotes • (Price) quote • Accept or Reject • Goods • Payment • Receipt Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  29. Applying Inference Rules • Capture general requirements • Elaboration tolerance requires defeasibility • Conclusions are not firm in the face of new information • Formulate general rules • Override rules to specialize them as needed • Leads to logical nonmonotonicity • Easy enough operationally but difficult to characterize mathematically • Details get into logic programming with negation Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  30. Free and Bound Variables • General rules involve free variables • For ECA rules: in event and condition • Free variable in action indicates perform action for each binding • For inference rules: in antecedent • Free variable in consequent means assert it for each binding • Therefore, to ensure safety, use only bound variables in action or consequent Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

  31. Chapter 15 Summary • Agents are natural fit with open environments • Agent abstractions support expressing requirements in a natural manner • Agents go beyond objects and procedural programming Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns

More Related