SAT-based Algorithms for Inconsistency Measurement[go to overview]
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