Diverse Applications of an Automated Argument System Based on the Logic of Multiple-Valued Argumentation
Diverse Applications of an Automated Argument System Based on the Logic of Multiple-Valued Argumentation
复制标题
DOI：
10.1007/978-3-642-03339-1_8
复制
发表时间：
2009-07
期刊：
影响因子：
--
通讯作者：
Gowun Jeong;Hajime Sawamura
中科院分区：
文献类型：
--
作者：
Gowun Jeong;Hajime Sawamura
Takahashi和Sawamura在一种表达性知识表示语言扩展注释逻辑程序设计（EALP）上对多值论证逻辑（LMA）进行了形式化。LMA允许Agent在不确定知识下构建论点，并在开放的网络异构环境中与其他Agent就不确定问题进行辩论。在本文中，我们证明了它的表现力和适用性，通过实施它在网络环境中，并将其应用到不同的不确定域中，决策寻求在一个争论的方式。然后，我们表明，它是在LMA的真值的多样性，允许它的广泛适用性。
A Logic of Multiple-valued Argumentation (LMA) was formalized by Takahashi and Sawamura on an expressive knowledge representation language, Extended Annotated Logic Programming (EALP). LMA allows agents to construct arguments under uncertain knowledge and to argue with other agents on uncertain issues in the open networked heterogeneous environment. In this paper, we demonstrate its expressiveness and applicability through implementing it in a networked environment and applying it to diverse uncertain domains in which decision-making is sought in an argumentative way. We then show that it is the diversity of truth values in LMA that allows for an extensive applicability of it.