Logo des Repositoriums
 
Konferenzbeitrag

Wissensrevision in der reaktiven Antwortmengenprogrammierung

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2018

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Reaktive Antwortmengenprogrammierung [Ge11; Ge15] ist eine neuere Erweiterung der Antwortmengenprogrammierung, welche sich wiederum für Planungs- und andere Suchprobleme verwenden lässt. Die Erweiterung zur reaktiven Antwortmengenprogrammierung ermöglicht es, Antwortmengenprogramme zu ergänzen oder zu ändern, noch nachdem sie bereits grundiert wurden. Dadurch lässt sie sich auch in dynamischen Umgebungen effizient einsetzen. Eine solche Anpassung ist eine Form der Wissensrevision. Diese Revision soll hier für Multi-Shot Solver [Ge15], eine Form der reaktiven Antwortmengenprogrammierung, genauer untersucht werden. Dazu werden wir zunächst die AGM-Kriterien [AGM85], die häuĄg für die Untersuchung der Revision auf Mengen logischer Aussagen verwendet werden, an die reaktive Antwortmengenprogrammierung anpassen.Anschließend untersuchen wir die Revision bei der reaktiven Antwortmegenprogrammierung mit den angepassten AGM-Kriterien und den Basisrevisionskriterien aus [KK12].

Beschreibung

Haldimann, Jonas Philipp (2018): Wissensrevision in der reaktiven Antwortmengenprogrammierung. SKILL 2018 - Studierendenkonferenz Informatik. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1614-3213. ISBN: 978-3-88579-448-6. pp. 23-34. Informatik Grundlagen. Berlin. 26.-27. September 2018

Zitierform

DOI

Tags