.png){kind=icon}
Return
Computing ideal sceptical argumentation
.png){kind=icon}
PRE
AI
DOI：10.1016/j.artint.2007.05.003.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
We present two dialectic procedures for the sceptical ideal semantics for argumentation. The first procedure is defined in terms of dispute trees, for abstract argumentation frameworks. The second procedure is defined in dialectical terms, for assumptionbased argumentation frameworks. The procedures are adapted from (variants of) corresponding procedures for computing the credulous admissible semantics for assumption-based argumentation, proposed in [P.M. Dung, R.A. Kowalski, F. Toni, Dialectic proof procedures for assumption-based, admissible argumentation, Artificial Intelligence 170 (2006) 114-159]. We prove that the first procedure is sound and complete, and the second procedure is sound in general and complete for a special but natural class of assumption-based argumentation frameworks, that we refer to as p-acyclic. We also prove that in the case of p-acyclic assumptionbased argumentation frameworks (a variant of) the procedure of [P.M. Dung, R.A. Kowalski, F. Toni, Dialectic proof procedures for assumption-based, admissible argumentation, Artificial Intelligence 170 (2006) 114-1.59] for the admissible semantics is complete. Finally, we present a variant of the procedure of [P.M. Dung, R.A. Kowalski, F. Toni, Dialectic proof procedures for assumptionbased, admissible argumentation, Artificial Intelligence 170 (2006) 114-159] that is sound for the sceptical grounded semantics. (c) 2007 Elsevier B.V. All rights reserved.
Keywords:
abstract argumentatiom
assumption-based argumentation
ideal semantics
proof procedum
dispute
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
13.9
Papers:
6.1K
Citations:
1.9W
Organization
No organization information available
Cited Papers
ShareSave
ShareSaveThe Relationship Between Type 2 Diabetic Patients’ Early Medical Care–Seeking Consistency to the Same Clinician and Health Care System and Their Clinical Outcomes.png)
Medicine
OAAI
MedicineIF0
OAAIShareSaveEffects of Plasma Glucose Concentration on Glucose Utilization and Glucose Clearance in Normal ManDiabetes
DiabetesIF0
PREAI
ShareSave
View more