Master Thesis Defense by Mr Adrian Haret
Mr Adrian Haret defended his master thesis on 'Merging in the Horn fragment'
Mr Adrian Haret defended his master thesis on 'Merging in the Horn fragment' at TUW on 23 September 2014.
The problem of merging is how to combine information from different sources under certain constraints: the result has to be consistent and approximate the sources to a certain degree. In the thesis we consider the problem of merging when the sources are Horn propositional theories. We describe the difficulties related to Horn merging, derive some representation results and describe a couple of specific Horn merging operators.