Institute for Web Science and Technologies · Universität Koblenz - Landau
Institute WeST

SAT-based Algorithms for Inconsistency Measurement

[go to overview]
Anna Gessler

Inconsistency measurement is the study of quantitatively assessing the severity of inconsistency in a set of formulas. This is valuable for comparing different sets of knowledge and for analyzing which parts of a set are the cause of the inconsistency. A recent study has shown that multiple inconsistency measures can be reduced to the satisfiability problem of propositional logic (SAT). Many high-performance SAT solvers exist already. In my master’s thesis I am creating SAT encodings for several inconsistency measures and using them to develop efficient algorithms that make use of existing SAT solvers.


20.08.20 - 10:15
via Big Blue Button