Context-based argumentation frameworks and multi-agent consensus building

IF 0.7 4区数学 Q3 COMPUTER SCIENCE, THEORY & METHODS

Journal of Logic and Computation Pub Date : 2023-10-19 DOI:10.1093/logcom/exad063

Zhe Yu, Shier Ju, Weiwei Chen

引用次数: 0

Abstract

Abstract Argumentation must be conducted within specific contexts that involve particular social norms and values. For decision-making, the divergence of opinions among participants does not lie solely in disagreements of common sense and beliefs but mainly stems from differences in the priority orderings over values. In this paper, we discuss how to build consensus among participants holding different value orderings based on an extended structured argumentation framework that takes contextual factors into account. Compared with other formal systems for multi-agent reasoning based on argumentation, the context-based argumentation system especially emphasizes the dynamic nature of contexts. In addition, we refer to a pragmatic perspective to discuss how people manage to achieve the consensus they expect by changing contexts during an argument.

查看原文本刊更多论文

基于上下文的论证框架和多智能体共识构建

摘要论证必须在涉及特定社会规范和价值观的特定语境中进行。在决策过程中，参与者之间的意见分歧并不仅仅表现在常识和信念上的不同，而主要表现在对价值观的优先顺序的不同。在本文中，我们讨论了如何在考虑上下文因素的扩展结构化论证框架的基础上，在持有不同价值顺序的参与者之间建立共识。与其他基于论证的多智能体推理形式系统相比，基于上下文的论证系统特别强调上下文的动态性。此外，我们引用实用主义的观点来讨论人们如何在争论中通过改变语境来达成他们所期望的共识。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Journal of Logic and Computation 工程技术-计算机：理论方法

CiteScore

1.90

自引率

14.30%

发文量

审稿时长

6-12 weeks

期刊介绍： Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging. The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.