2010 Fiscal Year Final Research Report
A Study on Multi-agent Systems Based on Deductive, Abductive and Hybrid Argumentation
| Project/Area Number |
20500141
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | Shibaura Institute of Technology |
|---|
Principal Investigator |
WAKAKI Toshiko Shibaura Institute of Technology, システム理工学部, 教授 (50317369)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
SAWAMURA Hajime 新潟大学, 自然科学系, 准教授 (40282991)
NITTA Katsumi 東京工業大学, 大学院・総合理工学研究科, 教授 (60293073)
|
|---|
| Project Period (FY) |
2008 – 2010
|
| Keywords | 議論意味論 / 演繹的議論 / 発想的議論 / ハイブリッド議論 / 議論フレームワーク / マルチエージェント / 交渉 / 譲歩と妥協 / プリファレンス / 一貫性制約 |
|---|
| Research Abstract |
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.
|
