On the Relationship between Belief Revision and Formal Argumentation[zur Übersicht]
Belief Revision and Formal Argumentation are two subfields of Knowledge Representation and Reasoning (KR) that deal with resolving inconsistencies in logic- based representations of information through dynamic processes. While Belief Revision is concerned about incorporating new information into a given set of beliefs, Formal Argumentation addresses the interplay of arguments and counterarguments in order to provide a reasonable grounds to belief some piece of information. In this talk, overviews are given on both fields and their relationships are discussed. In particular, we discuss the challenge that arises when argumentation frameworks have to be revised and its solutions employing classical belief revision techniques. Finally, we investigate the use of techniques from Formal Argumentation for the task of revising classic-logical belief bases.
22.01.16 - 14:00