Algorithms for the Forgetting-Based Inconsistency Measure[go to overview]
Knowledge bases are sets of propositional logic formulas and can be either consistent or inconsistent. Knowledge bases can be inconsistent to varying degrees: Given two inconsistent knowledge bases, one might only have a few contradictions while the other has many. Inconsistency measures quantify these different degrees of inconsistency. There are many different inconsistency measures, based on different ideas on what consitutes the severeness of inconsisteny. My bachelor’s thesis aims to find algorithms to compute one such inconsistency measure: The Forgetting-Based Inconsistency Measure. In the course of my short presentation I will explain what it means for a knowledge base to be consistent or inconsistent, what the forgetting operation is and how it can be used to measure inconsistency and lastly what the broad idea behind the algorithm i am currently trying to implement is.
17.07.20 - 10:15
via Big Blue Button