Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on Kripke Semantics
This work addresses a foundational problem in logic and AI by proposing a dual theory that connects knowledge and argumentation, though it appears incremental in merging existing fields.
The paper tackles the problem of merging epistemic logic and argumentation theory by defining epistemic and argument Kripke models as a dual pair, with a two-way generation method justified by a duality theorem on modal formulae's invariance.
This paper establishes a dual theory about knowledge and argumentation. Our idea is rooted at both epistemic logic and argumentation theory, and we aim to merge these two fields, not just in a superficial way but to thoroughly disclose the intrinsic relevance between knowledge and argumentation. Specifically, we define epistemic Kripke models and argument Kripke models as a dual pair, and then work out a two-way generation method between these two types of Kripke models. Such generation is rigorously justified by a duality theorem on modal formulae's invariance. We also provide realistic examples to demonstrate our generation, through which our framework's practical utility gets strongly advocated. We finally propose a philosophical thesis that knowledge is essentially dynamic, and we draw certain connection to Maxwell's demon as well as the well-known proverb "knowledge is power".