We extend the existing encoding of abstract argumentation frameworks in DL-PA (dynamic logic of propositional assignments) in order to capture different formalisms for arguing with qualitative forms of uncertainty. Mo...
详细信息
ISBN:
(纸本)9783030893910;9783030893903
We extend the existing encoding of abstract argumentation frameworks in DL-PA (dynamic logic of propositional assignments) in order to capture different formalisms for arguing with qualitative forms of uncertainty. More in particular, we encode the main reasoning tasks of (rich) incomplete argumentation frameworks and control argumentation frameworks. After that, and inspired by our encoding, we define and study a new class of structures that are shown to be maximally expressive: constrained incomplete argumentation frameworks.
We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. These atomic programs are combined by...
详细信息
ISBN:
(纸本)9783642405648
We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. These atomic programs are combined by the usual dynamiclogic program connectives. We investigate the mathematical properties of the resulting extension of equilibrium logic: we prove that the problem of logical consequence in equilibrium models is EXPTIME complete by relating equilibrium logic to dynamic logic of propositional assignments.
暂无评论