Navigation Forschung Lehre Personen Publikationen Kontakt   Robuste Verarbeitung von Instruktionen Veranstalter Zeit/Ort Inhalt Literatur Wir freuen uns über Kommentare und Hinweise zu diesen Seiten. Letzte Änderung: 17.01.2013

18.338 Projekt: Robuste Verarbeitung von Instruktionen Wintersemester 2005/06 Veranstalter Carola Eschenbach Christopher Habel Özgür Özçep Zeit/Ort Di. 12-14 F-334, Fr. 10-14 F-635 KVV-Eintrag Inhalt Der Gewinnung von Informationen liegen vielfach Interpretationsprozesse zugrunde, die nicht eindeutig sind. Sprachliche Aussagen sind in der Regel mehrdeutig (In einer Wegbeschreibung: „Bei der Bank rechts abbiegen“; In einer Anleitung zur Web-Seiten-Nutzung: „Klicken Sie mit der Maus auf den Knopf ‚Home’: es ist der dritte oder vierte von links in der zweiten Kopfzeile.“). Auch unsere Beobachtungen in der Umwelt lassen verschiedene Deutungen zu (Das Blinken eines LKW nach rechts kann einen Abbiegevorgang ankündigen oder ein Signal für gefahrloses Überholen darstellen). Die menschliche Verarbeitung von Mehrdeutigkeit beruht oft auf der Auswahl einer passenden Interpretation. Lässt man sich bei Mehrdeutigkeit darauf ein, eine Interpretation z.B. aufgrund von heuristischen Bewertungen auszuwählen, so ist es möglich, dass diese Interpretation aufgrund später hinzukommender Information verworfen werden muss. Um robust mit Mehrdeutigkeiten und Unsicherheit umzugehen, muss also in der Wissensverarbeitung die Möglichkeit bestehen, den Wissensbestand bei konfligierendem Inhalt einer Revision zu unterziehen, d.h. eine Entscheidung zu treffen, welche Wissenseinheiten beibehalten und welche verworfen werden. In diesem Projekt sollen Ansätze zur maschinellen Revision von Wissensbasen, die in der Literatur unter den Begriffen ‚Belief-Revision’, ’Belief-Update’ und ‚Belief-Change’ diskutiert werden, untersucht und zur Nutzung im Rahmen einer Simulation eines autonomen instruierbaren Agenten implementiert und erprobt werden. Literatur Doyle, Jon: A Truth Maintenance System. Artificial Intelligence 12 (1979): 231-272 de Kleer, Johan: An assumption-based TMS. Artificial Intelligence 28 (1986): 127-162 Online verfügbar. Katsuno, Hirofumi und Mendelzon, Alberto: On the Difference Between Updating a Knowledge Base and Revising It. In: J.F. Allen, R Fikes und E. Sanderwall (eds.): KR '91: Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, California, 1991: S. 387-394 Online verfügbar. Williams, Mary-Anne: Applications of Belief Revision. In: B. Freitag, H. Decker, M. Kifer, A. Voronkov (eds.): Transactions and Change in Logic Databases: Invited Surveys and Selected Papers. Lecture Notes in Computer Science, Volume 1472, 1998: S. 287-316 Online verfügbar. Darwiche, Adnan und Pearl, Judea: On the Logic of Iterated Belief Revision. In: R. Fagin (ed.): Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Pacific Grove, CA, 1994: S. 5-23 Online verfügbar. Steven Shapiro, Maurice Pagnucco, Yves Lesperance, and Hector J. Levesque: Iterated Belief Change in the Situation Calculus. In: A.G. Cohn, F. Giunchiglia und B. Selman (eds.): KR 2000: Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Francisco, 2000: S. 527-538 Online verfügbar. Bittkowski, Nils: Aktionsplanung und -steuerung unter Unsicherheit bei der Navigation eines Geometrischen Agenten mit Hilfe von Wegbeschreibungen, FB Informatik, Universität Hamburg: Hamburg, 2005. Online verfügbar. Bosch, Tobias: Bestimmung von Position und Sicht des imaginären Wanderers in Routenbeschreibungen. FB Informatik, Universität Hamburg: Hamburg, 2004 Online verfügbar. Helwich, Jan Hendrik: Graphenbasierte Navigation eines Geometrischen Agenten: Integration von Perzeption und Instruktion. FB Informatik, Universität Hamburg: Hamburg, 2003. Online verfügbar. Folien Einleitung (CH) (25.10.05) Literaturvorstellung (ÖÖ) (25.10.05) Einführung in den GA (CE) (28.10.05) Einführung in die Belief-Revision (I) (CH) (4.11.05) Einführung in die Belief-Revision (II) (CH) (8.11.05) Vortrag zu „A Truth Maintenance System“ (Stefan Zimmermann) (11.11.05) Vortrag zu „An assumption-Based TMS“ (Christian Roeder) (11.11.05) Vortrag zu „On the Difference Between Updating a Knowledge Base and Revising It“ (Myriam Lipprandt) (15.11.05) Vortrag zu „Applications of Belief Revision“ (Dirk Fust) (18.11.05) Vortrag zu „On the Logic of Iterated Belief Revision“ (Jens Wächter) (18.11.05) Vortrag zu „Iterated Belief Change in the Situation Calculus“ (Kaveh Raji) (22.11.05) Vortrag zu „Graphenbasierte Navigation eines Geometrischen Agenten: Integration von Perzeption und Instruktion“ (Martin Malzahn) (25.11.05) Vortrag zu „Aktionsplanung und -steuerung unter Unsicherheit bei der Navigation eines Geometrischen Agenten mit Hilfe von Wegbeschreibungen“ (Tun Huang) (25.11.05) Berichte der TeilnehmerInnen Jens Wächter: Belief Revision (.pdf) Christian Röder, Stefan Zimmermann: ATMS (.pdf) Kaveh Raji (.pdf) Materialien Protokolle Protokoll (Stefan Zimmermann) 1.11.05 Protokoll (Myriam Lipprandt) 18.11.05 Protokolle der ATMS-Gruppe Bestandsaufnahme 13.12.05 16.12.05 23.12.05 atms-Klassen 23.12.05 atms-Netz Protokolle der Revisions-Gruppe Bestandsaufnahme Ergänzung_1 Ergänzung_2 Protokoll vom 13.12.05 Protokoll vom 23.12.05 Protokolle der Change-Gruppe Bestandsaufnahme Übungsaufgaben Aufgaben zur Belief-Revision vom 4.11.05 (.pdf) Lösung zu den Aufgaben zur Belief-Revision vom 4.11.05 (.pdf)