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

基于演绎、归纳和混合论证的多智能体系统研究

• 批准号: 20500141
• 负责人: WAKAKI Toshiko
• 金额: $ 2.91万
• 依托单位: Shibaura Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20500141/
• 关键词: 議論意味論; 演繹的議論; 発想的議論; ハイブリッド議論; 議論フレームワーク; マルチエージェント; 交渉; 譲歩と妥協; プリファレンス; 一貫性制約; 議論の意味論; 議論に基づく交渉; プリファレンスとPAF; 一貫性制約とCAF; ステージ意味論; 議論計算エンジン; 解集合プログラミング(ASP); referred extensions; 議論の枠組; アブダクション; Answer Set Programming(ASP); preferred

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.

在本研究中，我们首先提出了一种简单而通用的方法来计算Dung的各种论证语义，即基于Caminada的标记法和答案集编程(ASP)的演绎论证。其次，我们提出了推理论证框架(AAF)，它允许智能体在论证或谈判中既使用事实又使用假设，并给出了找出每一个怀疑者的方法。轻信)解释，即需要怀疑的一组假设(分别为轻信地)在指定的论证语义下证明支持辩论者的主张的论点是正确的。最后，为了使智能体能够在电子商务等谈判中使用偏好和完整性约束，我们提出了一种新的基于偏好的论证方法，该方法捕获了优先逻辑编程。

项目成果

Formalizing Dialectical Reasoning for Compromise-Based Justification

形式化辩证推理以实现基于妥协的论证

• 发表时间: 2011
• 作者: Hiroyuki Kido,;Masahito Kurihara;Daisuke Katagami;Katsumi Nitta
• 通讯作者: Katsumi Nitta

日本語対応議論分析ツールJAraucariaとEALP上の議論計算エンジンの統合

兼容日语的讨论分析工具 JAraucaria 和 EALP 上的论据计算引擎的集成

• 发表时间: 2011
• 作者: 杉村博;高野義士;田中靖士;松本一教;礒本浩希・白土和弘・若木利子
• 通讯作者: 礒本浩希・白土和弘・若木利子

日本語版Araucariaの開発〜自然言語議論の分析と議論計算機能の実現〜

南洋杉日文版开发～自然语言论证分析及论证计算功能实现～

• 发表时间: 2009
• 作者: 吉田康二;浅野裕子;若木利子
• 通讯作者: 若木利子

PAFの議論計算エンジン

PAF参数计算引擎

Towards Argument Mining

迈向论点挖掘

• 发表时间: 2011
• 期刊: International Conference on Data Engineering and Internet Technology (DEIT2011), IEEE
• 作者: Yuichi Seino;Takeshi Hagiwara;Hajime Sawamura
• 通讯作者: Hajime Sawamura