In this paper, we extend the connection between argumentation formalisms and logic programs, by showing the equivalence between bipolar argumentation \(\beta \) -semantics and various 3-valued logic programming semantics. In particular, we show that \(\beta \) -semi-stable semantics corresponds to L-stable semantics, which has been previously shown not to be expressible by traditional attack-only argumentation frameworks. Besides enhancing our understanding of how logic programs relate to argumentation with support, we provide direct translations between them and their semantics, allowing their interchangeable use.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On the Equivalence Between Logic Programs and Bipolar Argumentation Frameworks

  • Renan Cordeiro,
  • João Alcântara

摘要

In this paper, we extend the connection between argumentation formalisms and logic programs, by showing the equivalence between bipolar argumentation \(\beta \) -semantics and various 3-valued logic programming semantics. In particular, we show that \(\beta \) -semi-stable semantics corresponds to L-stable semantics, which has been previously shown not to be expressible by traditional attack-only argumentation frameworks. Besides enhancing our understanding of how logic programs relate to argumentation with support, we provide direct translations between them and their semantics, allowing their interchangeable use.