A Study on Multi-agent Systems Based on Deductive, Abductive and Hybrid Argumentation

在这项研究中，首先，我们提出了一个简单的和通用的方法来计算Dung的各种论证语义的演绎论证的基础上Caminada的标记方法以及答案集编程（ASP）。其次，我们提出了溯因论证框架（AAF），使代理人不仅使用事实，而且还使用假设进行辩论或谈判，并提出了方法来找出每一个怀疑（分别）。轻信）解释，即怀疑地（分别）需要的假设集。在特定的论证语义下证明支持争议者主张的论点。最后，为了使代理使用的偏好，以及在谈判，如电子商务的完整性约束，我们提出了一种新的方法，基于偏好的论证捕获优先级逻辑编程。

In this study, first we propose a simple and generic method to compute Dung's various argumentation semantics as deductive argumentation based on Caminada's labeling method as well as Answer Set Programming (ASP). Second, we propose the Abductive Argumentation Framework (AAF) which enables agents to use not only facts but also hypotheses in argumentation or negotiation, and present the method to find out every skeptical (resp. credulous) explanation, i.e. the set of hypotheses needed to skeptically (resp. credulously) justify the argument supporting a disputer's claim under the specified argumentation semantics. Finally, in order to enable agents to use preferences as well as integrity constraints in negotiation such as e-commerce, we present a new approach of preference-based argumentation capturing prioritized logic programming.