1 smart systems (vorlesung: ki & xps) zbeim vorigen mal: yinferenzen mit multiplen ontologien...
TRANSCRIPT
![Page 1: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/1.jpg)
1
SMART Systems (Vorlesung: KI & XPS)
Beim vorigen Mal: Inferenzen mit multiplen Ontologien Anwendungskontext: Informationsrecherche/-
klassifikationInhalt heute:
Dienstrecherche/-interoperation/-kompositionLernziele:
DAML-S Grundlagen des Planens
Ralf Möller, Univ. of Applied Sciences, FH-Wedel
![Page 2: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/2.jpg)
2
Konfigurierungsproblematik
![Page 3: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/3.jpg)
3
Registrierung; Dienstbegriff
![Page 4: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/4.jpg)
4
Lookup und Leasing
![Page 5: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/5.jpg)
5
DAML-S
DAML-S: Darpa Agent Markup Language Service ontology Automatic Web service discovery Automatic Web service invocation Automatic Web service composition and
interoperation Automatic Web service execution monitoring
![Page 6: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/6.jpg)
6
Dienstbeschreibungen
![Page 7: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/7.jpg)
7
Service ProfilesTextual description (understandable for humans)Functionality description
input, output
precondition, effect
Functional attributes
![Page 8: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/8.jpg)
8
Service Profiles: Functional Attributes (1)
geographicRadius The geographic radius refers to the geographic scope of the
service. This may be at the global or national scale (e.g. for e-commerce) or at a local scale (e.g. pizza delivery)
degreeOfQuality This property provides qualifications for the service. For
example, the following two sub-properties are examples of different degrees of quality, and could be defined within some additional ontology.
serviceParameter An expandable list of properties that may accompany a
profile description.
![Page 9: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/9.jpg)
9
Service Profiles: Functional Attributes (2)
communicationThru This property provides a high-level summary of how a service
may communicate, such as what agent communication language (ACL) is used (e.g., FIPA, KQML, SOAP).
serviceType The service type refers to a high-level classification of the
service, for example B2B, B2C etc. serviceCategory
The service category refers to an ontology of services that may be on offer. High-level services could include Products as well as Problem-Solving Capabilities, Commercial Services, Information and so on.
![Page 10: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/10.jpg)
10
Service Profiles: Functional Attributes (3)
qualityGuarantees These are guarantees that the service promises to deliver,
such as guaranteeing to provide the lowest possible interest rate, or a response within 3 minutes, etc.
qualityRating The quality rating property represents an expandable list of
rating properties that may accompany a service profile. These ratings refer to industry accepted ratings, such as the Dun and Bradstreet Rating for businesses, or the Star rating for Hotels.
![Page 11: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/11.jpg)
11
Service Grounding
A service grounding (“grounding” for short) specifies the details of how an agent can access a service. Communications protocol (e.g., RPC, HTTP-FORM, CORBA IDL,
SOAP, Java RMI, OAA ACL) Service-specific details such as port numbers used in
contacting the service. For each abstract type specified in the ServiceModel,
an unambiguous way of exchanging data elements of that type with the service (marshaling/serialization)
OAA ACL: Open Agent Architecture Agent Communication Languagehttp://www-2.cs.cmu.edu/~softagents/tie3.htmlhttp://www-2.cs.cmu.edu/~softagents/
![Page 12: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/12.jpg)
12
Service Model
![Page 13: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/13.jpg)
13
Dienstregistrierung (beim Broker)
Angebotenen Dienst S beschreiben (DAML)Umwandlung in DL-Konzeptterm CS"Einsetzen" in Taxonomie
children(CS) parents(CS) synonyms(CS)
Vergabe eines Namens (inklusive Axiom) S47 = CS
![Page 14: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/14.jpg)
14
Dienstrecherche (beim Broker)
DAML-Beschreibung eines gesuchten DienstesUmwandlung in DL-KonzepttermGgf. Ontologietransformation, d.h.
Spezialisierung (siehe vorige Vorlesung)Einsetzen in TaxonomieKandiaten sind alle spezielleren DiensteBroker vermittelt Diensterbringer
(über Grounding-Info)
![Page 15: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/15.jpg)
15
Automatische Dienstkomposition
Zusammensetzung von elementaren Dienste, um ein bestimmtes Ziel zu erfüllen
Gesamtziel ist durch "effect" gegebenGesamtziel soll durch elementare Dienste
erreicht werdenVorbedingungen der elementaren Dienste
müssen erfüllt werden Anwendungs- und Kompositionsbeschränkungen
--> KI-Hintergrund der Handlungsplanung
![Page 16: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/16.jpg)
16
Acknowledgments
Die Folien zur Handlungsplanung enthalten Material von B. Nebel, Univ. Freiburg
![Page 17: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/17.jpg)
17
Handlungsplanung
1. Gegeben eine initiale Situation,2. eine Beschreibung der Zielbedingungen und3. eine Menge von möglichen Aktionen,-> Finde eine Sequenz von Aktionen
(einen Handlungsplan), der die initiale Situation in eine Situation überführt, in der die Ziel-bedingungen gelten.
![Page 18: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/18.jpg)
18
Handlungsplanung vs. Problemlösen durch Suche
Wesentlicher Unterschied: Bei Handlungsplanung explizite, logikbasierte
RepräsentationZustände/Situationen:
Durch logische Formeln beschriebene Weltzustände vs. Datenstrukturen
Operatoren: Axiome oder Transformation von Formeln
vs. Modikation von Datenstrukturen durch Programme
![Page 19: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/19.jpg)
19
Repräsentation der Operatoren durch Axiome
Im Prinzip kann man Planung auf logische Inferenz (= Situationskalkül, nicht Beschreibungslogiken) reduzieren
Bestehende Systeme, die für praktische Anwendungen effizient genug sind, befinden sich allerdings (immer noch) in der Entwicklung(-> Schlußsysteme für nichtmonotone Logiken)
Wir behandeln einen anderen klassischen Ansatz...
![Page 20: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/20.jpg)
20
Transformation von Formeln: STRIPS
STRIPS: STanford Research Institute Problem Solver (Planer der frühen 70-er Jahre)
System ist zwar obsolet, der Formalismus wird aber immer noch benutzt
Kernidee: "Weltzustand" durch log. Formeln repräsentiert, "Operatoren" manipulieren Weltzustand
![Page 21: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/21.jpg)
21
Der STRIPS-Formalismus
Weltzustand (inkl. initialer Zustand) Menge von Grundatomen, keine Funktionssymbole
außer Konstanten, interpretiert unter CWA (manchmal auch Standardinterpretation, d.h. negative Fakten müssen angegeben werden)
Beispiel Blockswelt: On_Table(A), On_Table(B), On_Table(C)
Zielbedingungen: Menge von Grundatomen Beispiel: On_Block(C, B), On_Block(B, A)
![Page 22: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/22.jpg)
22
STRIPS-Operatoren
Aktionen sind Tripel, bestehend aus Aktionsnamen: Funktionsname mit Parametern Vorbedingungen: Konjunktion positiver Literale;
müssen gelten, damit Aktion ausführbar ist Effekte: Konjunktion positiver und negativer
Literale; positive Literale werden hinzugenommen (ADD Liste), negative gelöscht (DEL Liste)
Variablen möglich (Renaming)
![Page 23: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/23.jpg)
23
Reduktion von Planen auf Suche in einem Zustandsraum
Vorwärtssuche (Progressionsplanung) oder Rückwärtssuche
(Regressions-planung)
![Page 24: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/24.jpg)
24
Suche im Planraum
![Page 25: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/25.jpg)
25
Plan = Sequenz von Aktionen?
![Page 26: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/26.jpg)
26
Prinzip der geringsten Festlegung
![Page 27: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/27.jpg)
27
Repräsentation nicht-linearer Pläne
Planschritt = STRIPS-Operator Plan besteht aus
Lösungen für Planungsprobleme müssen vollständig und konsistent sein
![Page 28: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/28.jpg)
28
Vollständigkeit und Konsistenz
![Page 29: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/29.jpg)
29
Beispiel
![Page 30: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/30.jpg)
30
Planverfeinerung (1)
Regressionsplanung: Erfülle die Have-Prädikate
![Page 31: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/31.jpg)
31
Planverfeinerung (1)
![Page 32: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/32.jpg)
32
Planverfeinerung (2)
... im richtigen Geschäft kaufen
![Page 33: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/33.jpg)
33
Planverfeinerung (3)
... da muß man erst einmal hin
![Page 34: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/34.jpg)
34
Planverfeinerung (3)
![Page 35: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/35.jpg)
35
Schutz kausaler Beziehungen
![Page 36: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/36.jpg)
36
Schutz kausaler Beziehungen
![Page 37: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/37.jpg)
37
Eine andere Planverfeinerung...
![Page 38: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/38.jpg)
38
Eine andere Planverfeinerung...
![Page 39: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/39.jpg)
39
Die vollständige Lösung
... mit allen LinksBestimmung
z.B. durch POP-Algorithmus Vollständig ... und korrekt
Zusätzlich, hier nichtnäher betrachtet:Behandlung von Variablen
![Page 40: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/40.jpg)
40
![Page 41: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/41.jpg)
41
![Page 42: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/42.jpg)
42
Planungssysteme
Prodigy sucht im Zustandsraum und generiert lineare Pläne (http://www-2.cs.cmu.edu/afs/cs.cmu.edu/project/prodigy/Web/prodigy-home.html)
UCPOP (http://www.cs.washington.edu/ai/ucpop.html)Neuere, effizientere Systeme:
Graphplan (http://www-2.cs.cmu.edu/~avrim/graphplan.html)
IPP (http://www.informatik.uni-freiburg.de/~koehler/ipp.html)
![Page 43: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/43.jpg)
43
Zusammenfassung, Kernpunkte (1)
DAML-SMotivation:
Dienstkomposition durch HandlungsplanungHandlungsplanung unterscheidet sich vom
Problemlösen dadurch, daß die Repräsentation flexibler ist.
Statt im Zustandsraum kann man im Planraum suchen.
![Page 44: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/44.jpg)
44
Zusammenfassung, Kernpunkte (2)
Das Prinzip der geringsten Festlegung (least commitment) besagt, daß man während der Suche Entscheidungen nur dann treffen soll, wenn es unbedingt notwendig ist
Nichtlineares Planen ist eine Instanz dieses Prinzips
Der POP-Algorithmus realisiert nichtlineares Planen und ist vollständig und korrekt
![Page 45: 1 SMART Systems (Vorlesung: KI & XPS) zBeim vorigen Mal: yInferenzen mit multiplen Ontologien yAnwendungskontext: Informationsrecherche/-klassifikation](https://reader035.vdocuments.net/reader035/viewer/2022062522/570491cd1a28ab14218dee78/html5/thumbnails/45.jpg)
45
Was kommt beim nächsten Mal?
Annahmen-basiertes Schließen Defaults und Abduktion