EX3: EXplain & EXploit Wissen EXtracted um ASP zu verbessern

Answer Set Programming (ASP) ist eine Methodik, die Expertenwissen nutzt, um optimale Entscheidungen zu berechnen. Anstelle von anwendungsspezifischen Algorithmen beschreiben Experten dabei die Problembedingungen in kompakter und strukturierter Form. ASP verwendet diese Beschreibungen, um geeignete Lösungen automatisiert zu finden, wobei relevante Einflussfaktoren berücksichtigt werden. Diese Methodik kann beispielsweise für die Erstellung von Dienstplänen in Krankenhäusern oder zur Produktkonfiguration verwendet werden. Ein großer Vorteil von ASP ist, dass Experten keine Programmierspezialisten sein müssen. Sie können Problemstellungen auf abstrakter Ebene beschreiben und verfügbare ASP-Systeme übernehmen die komplexe Suche nach Lösungen. Oft funktioniert dies schnell und effektiv, kann jedoch auch zu Effizienzdefiziten führen, insbesondere wenn Problembeschreibungen die automatisierte Suche nachteilig beeinflussen. Die Behebung derartiger Schwierigkeiten erfordert oft tiefgreifende technische Kenntnisse und viel Zeit. Unser Projekt zielt darauf ab, ASP besser einsetzbar zu machen, indem wir ein System entwickeln, das nicht nur Lösungen findet, sondern Experten auch beim Verständnis und der Formulierung von Problembeschreibungen unterstützt. Um dies zu erreichen, werden wir allgemeine Methoden entwickeln, die wesentliche Muster und Strukturen innerhalb eines zu lösenden Problems erkennen. Solche Muster können dazu beitragen, dass relevante Grundeigenschaften von Problemlösungen identifiziert und nutzbar werden, um den Lösungsprozess zu beschleunigen. Gleichzeitig soll unser System transparente, visuelle Erklärungen für das gelernte Wissen liefern. Experten können diese Informationen nutzen, um die Vollständigkeit ihrer Problembeschreibung zu validieren und zusätzliche Erkenntnisse über ihren Anwendungsbereich zu gewinnen. Zudem können sie mit unserem System interagieren, um es zielgerichtet einzusetzen und die Eingaben für ASP-Systeme zu verbessern. Das Ergebnis unseres Projekts wird ein neues System namens EX3 sein, benannt nach seinen drei Hauptzielen: Extrahieren (Extract), Einsetzen (Exploit) und Erklären (Explain) von Wissen.