Bachelor-Arbeit

Bachelorarbeit „Konstruktion eines Algorithmus zur Berechnung des problematischen Inkonsistenzmaßes auf Basis von Answer Set Programming“

Betreuer/in:
Isabelle Kuhlmann
Status:
Themenangebot

Ansprechpartnerin: Isabelle Kuhlmann (E-Mail: isabelle.kuhlmann@fernuni-hagen.de)

Beschreibung:

Eine große Herausforderung im Gebiet der künstlichen Intelligenz liegt im Umgang mit widersprüchlichen Informationen. Wenn beispielsweise Daten aus verschiedenen Quellen zusammengetragen werden, sind Inkonsistenzen kaum vermeidbar. Wie stark eine Wissensbasis von von Widersprüchen betroffen ist, lässt sich mit Hilfe von Inkonsistenzmaßen quantitativ bewerten.

Bislang lag der Fokus im Bereich der Inkonsistenzmessung [2,3] hauptsächlich darauf, diverse Maße auf Basis verschiedener Herangehensweisen zu entwerfen. Die Praktikabilität der entwickelten Maße fand dabei weniger Beachtung. Die Entwicklung von Algorithmen, die eine praktische, anwendungsbezogene Verwendung von Inkonsistenzmaßen ermöglichen, ist daher ein ergiebiges Themengebiet. Es wurden bereits Arbeiten veröffentlicht, in denen Algorithmen zur Berechnung von insgesamt drei Inkonsistenzmaßen auf Basis von Antwortmengenprogrammierung vorgestellt wurden [4,5]. Die Komplexität dieser drei Maße liegt auf der ersten Stufe der polynomiellen Hierarchie [6].

Ziel dieser Bachelorarbeit ist, zu erforschen, inwiefern Antwortmengenprogrammierung auch zur Berechnung von Inkonsistenzmaßen mit höherer Komplexitat geeignet ist. Dafür soll exemplarisch das sogenannte problematische Inkonsistenzmaß [1], welches auf der zweiten Stufe der polynomiellen Hierarchie liegt, herangezogen werden.

  • [1] John Grant and Anthony Hunter. Measuring consistency gain and information loss in stepwise inconsistency resolution. European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Springer, Berlin, Heidelberg, 2011.
  • [2] John Grant and Maria Vanina Martinez, editors. Measuring Inconsistency in Information. Volume 73 of Studies in Logic. College Publications, 2018.
  • [3] John Grant. Classifications for inconsistent theories. Notre Dame Journal of Formal Logic, 19(3):435–444, 1978.
  • [4] Isabelle Kuhlmann and Matthias Thimm. An Algorithm for the Contension Inconsistency Measure using Reductions to Answer Set Programming. International Conference on Scalable Uncertainty Management. Springer, Cham, 2020.
  • [5] Isabelle Kuhlmann and Matthias Thimm. Algorithms for Inconsistency Measurement using Answer Set Programming. 19th International Workshop on Non-Monotonic Reasoning. 2021.
  • [6] Matthias Thimm and Johannes P. Wallner. On the Complexity of Inconsistency Measurement. In Artificial Intelligence, 275:411–456. 2019.
07.10.2021