Chapter 16 Multiagent Systems ServiceOriented Computing Semantics Processes
- Slides: 19
Chapter 16: Multiagent Systems Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005
Highlights of this Chapter n n n n Chapter 16 Applicability in Service-Based Systems Multiagent Architecture Agent Types Lifecycle Management Consistency Maintenance Modeling Other Agents Cognitive Concepts Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 2
Basic Problems of MAS n Distributing control among agents n n Describing, decomposing, distributing tasks Interacting and communicating Representing goals, problem-solving states, and other agents Maintaining consistency, reconciling conflicts Chapter 16 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 3
(de facto) Standard Agent Types Chapter 16 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 4
Brokerage Service n n n Cooperates with a Directory Service An agent requests the Brokerage Service to recruit one or more agents who can provide a service Brokerage Service uses knowledge about the requirements and capabilities of registered agents to n n n Determine the appropriate agents to which to forward a request for a service Negotiates with the agents to determine a suitable set of service providers Potentially learn about the properties of the responses n Chapter 16 example: Brokerage agent determines that advertised results from agent X are incomplete and seeks a substitute for X Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 5
FIPA Agent Management System Chapter 16 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 6
Agent Management System: 2 n Chapter 16 Handles the creation, registration, location, communication, migration and retirement of agents. Provides the following services: n White pages, such as agent location, naming and control access services, which are provided by the Agent Management System (AMS). Agent names are represented by a flexible and extensible structure called an agent identifier, which can support social names, transport addresses, name resolution services, amongst other things n Yellow pages, such as service location and registration services, which are provided by the Directory Facilitator (DF) n Agent message transport services Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 7
Java Agent Development Framework JADE, the most popular FIPA-compliant agent framework for multiagent systems: n n n Chapter 16 http: //jade. tilab. com/ The most established of the publicly available agent frameworks (FIPA-OS and Zeus having died) Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 8
Consistency Maintenance across Services A truth maintenance system (TMS) helps maintain consistency n Performs a form of propositional deduction n Maintains justifications and explains the results of its deductions n Updates beliefs incrementally when premises change TMSs help us n Deal with atomicity n Maintain modular models Chapter 16 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 9
Architecture of TMS-Based Agent justifications Problem Solver n n beliefs TMS Problem solver: decides on actions TMS: maintains a network of beliefs based on the justifications relating them Chapter 16 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 10
Knowledge Base Integrity n Stability: believe everything justified validly; disbelieve everything else n Well-Foundedness: no circular beliefs n Logical consistency: no logical contradictions n Completeness: find a consistent state if one exists, or report failure Problems arise when knowledge is distributed Chapter 16 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 11
Distributed TMS n n Each agent has a justification-based TMS Each datum can have status n n OUT IN: valid local justification EXTERNAL: must be IN for some agent When a problem solver adds or removes a justification, the DTMS n n Chapter 16 Unlabels data based on the changed justification Relabels all unlabeled shared data (in one or more iterations) Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 12
Degrees of Logical Consistency n Inconsistency: an agent is individually n Local Consistency: all agents are individually n Local-and-Shared Consistency: agents are inconsistent locally consistent and agree about any data they might share n Global Consistency: agents are globally consistent (union of KBs is consistent) The DTMS maintains local-and-shared consistency and well-foundedness Chapter 16 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 13
Cooperative Service: 1 Client f 3: afford(xcorp) IN r 3: buy(X) : - query(Broker recommend(X)), afford(X) IN ? recommend(? X) Broker f 1: afford(xcorp) OUT f 2: cash-rich(xcorp) IN r 2: recommend(X) : - takeover-bid(X) IN r 1: takeover-bid(X) : - cash-rich(X) IN Chapter 16 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 14
Cooperative Service: 2 Client f 3: afford(xcorp) IN r 3: buy(X) : - query(Broker recommend(X)), afford(X) IN recommend(XCorp) Broker f 1: afford(xcorp) OUT f 2: cash-rich(xcorp) IN r 1: recommend(X) : - takeover-bid(X) IN r 2: takeover-bid(X) : - cash-rich(X) IN f 3: recommend(xcorp) IN Shared with: Client; Justification: (f 2 r 1 r 2) Chapter 16 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 15
Cooperative Service: 3 Client f 3: afford(xcorp) IN r 3: buy(X) : - query(Broker recommend(X)), afford(X) IN f 4: recommend(xcorp) EXTERNAL Shared with: Broker; Justification: ( ) f 5: buy(xcorp) IN Justification: (f 3 f 4 r 3) Broker f 1: afford(xcorp) OUT f 2: cash-rich(xcorp) IN r 1: recommend(X) : - takeover-bid(X) IN r 2: takeover-bid(X) : - cash-rich(X) IN f 3: recommend(xcorp) IN Shared with: Client; Justification: (f 2 r 1 r 2) Chapter 16 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 16
Cooperative Service: 4 Client f 3: afford(xcorp) IN r 3: buy(X) : - query(Broker recommend(X)), afford(X) IN f 4: recommend(xcorp) EXTERNAL Shared with: Broker; Justification: ( ) f 5: buy(xcorp) IN Justification: (f 3 f 4 r 3) relabel recommend(XCorp) Broker f 1: afford(xcorp) OUT f 2: cash-rich(xcorp) IN --> OUT r 1: recommend(X) : - takeover-bid(X) IN r 2: takeover-bid(X) : - cash-rich(X) IN f 3: recommend(xcorp) IN --> OUT Shared with: Client; Justification: (f 2 r 1 r 2) Chapter 16 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 17
Cooperative Service: 5 Client f 3: afford(xcorp) IN r 3: buy(X) : - query(Broker recommend(X)), afford(X) IN f 4: recommend(xcorp) OUT Shared with: Broker; Justification: ( ) f 5: buy(xcorp) OUT Justification: (f 3 f 4 r 3) Broker f 1: afford(xcorp) OUT f 2: cash-rich(xcorp) OUT r 1: recommend(X) : - takeover-bid(X) IN r 2: takeover-bid(X) : - cash-rich(X) IN f 3: recommend(xcorp) OUT Shared with: Client; Justification: (f 2 r 1 r 2) Chapter 16 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 18
Chapter 16 Summary Study multiagent systems because interactions among agents make them interesting n Communication among agents is key, although markets (later chapter) only support implicit communication through prices n Programming environments support agent interactions n Consistency maintenance is a major challenge n Agents must model agents; simple techniques are often adequate; more subtle techniques can require extensive reasoning power Chapter 16 Service-Oriented Computing: Semantics, Processes, Agents - Munindar Singh and Michael Huhns 19
- Multiagent systems
- Serviceoriented architecture
- Serviceoriented architecture
- Multiagent learning using a variable learning rate
- Compare procedural semantics and declarative semantics.
- Concurrent processes are processes that
- Conventional computing and intelligent computing
- Construct an integrated business process
- Feedback control of computing systems
- Workstation model in distributed system
- Engineering systems and computing
- Chapter 19 normal newborn processes of adaptation
- Chapter 8 designing and managing service processes
- Decision support systems and intelligent systems
- Engineering elegant systems: theory of systems engineering
- Embedded systems vs cyber physical systems
- Engineering elegant systems: theory of systems engineering
- Security in computing pfleeger ppt
- Karusmäki
- Semantic vector