cs.AI updates on arXiv.org 13小时前
Encoding Argumentation Frameworks to Propositional Logic Systems
index_new5.html
../../../zaker_core/zaker_tpl_static/wap/tpl_guoji1.html

 

文章将论证框架编码推广至3值和模糊逻辑系统,建立模型关系,提出新语义,加强论证框架与命题逻辑的联系。

arXiv:2503.07351v2 Announce Type: replace Abstract: This paper generalizes the encoding of argumentation frameworks beyond the classical 2-valued propositional logic system ($PL_2$) to 3-valued propositional logic systems ($PL3$s) and fuzzy propositional logic systems ($PL{[0,1]}s$), employing two key encodings: normal encoding ($ec_1$) and regular encoding ($ec_2$). Specifically, via $ec_1$ and $ec_2$, we establish model relationships between Dung's classical semantics (stable and complete semantics) and the encoded semantics associated with Kleene's $PL_3$ and {\L}ukasiewicz's $PL_3$. Through $ec1$, we also explore connections between Gabbay's real equational semantics and the encoded semantics of $PL{[0,1]}s$, including showing that Gabbay's $Eq{\text{max}}^R$ and $Eq{\text{inverse}}^R$ correspond to the fuzzy encoded semantics of $PL{[0,1]}^G$ and $PL{[0,1]}^P$ respectively. Additionally, we propose a new fuzzy encoded semantics ($Eq^L$) associated with {\L}ukasiewicz's $PL_{[0,1]}$ and investigate interactions between complete semantics and fuzzy encoded semantics. This work strengthens the links between argumentation frameworks and propositional logic systems, providing a framework for constructing new argumentation semantics.

Fish AI Reader

Fish AI Reader

AI辅助创作,多种专业模板,深度分析,高质量内容生成。从观点提取到深度思考,FishAI为您提供全方位的创作支持。新版本引入自定义参数,让您的创作更加个性化和精准。

FishAI

FishAI

鱼阅,AI 时代的下一个智能信息助手,助你摆脱信息焦虑

联系邮箱 441953276@qq.com

相关标签

论证框架 逻辑系统 语义编码
相关文章