A logic of multiple-valued argumentation
A logic of multiple-valued argumentation
复制标题
多值论证的逻辑
DOI：
10.1109/aamas.2004.16
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Hajime Sawamura
中科院分区：
文献类型：
--
作者：
Takehisa Takahashi;Hajime Sawamura
本文提供了一个新的出发点，从传统的二值论证框架。我们致力于形式化的表达逻辑的论证，称为逻辑的多值论证（LMA），非常富有表现力的知识表示语言，称为扩展注释逻辑编程（EALP）的顶部，并检查其逻辑特性以各种方式。EALP允许我们表示不同类型的不确定性，例如多值性的不一致性和不一致性（或次一致性），以及借助默认否定的不完全性。LMA是一种完整的论证逻辑，其中Agent可以使用EALP中的多值知识库与其他竞争者进行辩论。
This paper provides a new departure from the traditional two-valued argumentation frameworks. We address ourselves to formalize an expressive logic of argumentation, called a Logic of Multiple-valued Argumentation (LMA), on top of the very expressive knowledge representation language, called Extended Annotated Logic Programming (EALP), and examine its logical properties in various ways. EALP allows us to represent different kinds of uncertainty such as vagueness and inconsistency (or paraconsistency) in terms of multi-valuedness, and incompleteness with the help of default negation. LMA is a full-dress logic of argumentation in which agents can argue with other contenders, using multiple-valued knowledge base in terms of EALP.