| 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
|
| Project Status |
Completed (Fiscal Year 2010)
|
| Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2010: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2009: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2008: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
|---|
| Keywords | 議論意味論 / 演繹的議論 / 発想的議論 / ハイブリッド議論 / 議論フレームワーク / マルチエージェント / 交渉 / 譲歩と妥協 / プリファレンス / 一貫性制約 / 議論の意味論 / 議論に基づく交渉 / プリファレンスとPAF / 一貫性制約とCAF / ステージ意味論 / 議論計算エンジン / 解集合プログラミング(ASP) / referred extensions / 議論の枠組 / アブダクション / Answer Set Programming(ASP) / preferred semantics |
|---|
| 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.
|
