Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning

摘要: We define abstract proof procedures for performing credulous and sceptical non-monotonic reasoning, with respect to the argumentation-theoretic formulation of reasoning proposed in [1]. Appropriate instances provide concrete formalisms example logic programming negation as failure default logic.We propose (credulous sceptical) under different semantics, namely conventional stable model semantics more liberal partial or preferred extension semantics. study relationships between argue that, many meaningful cases, (simpler) can be used sound complete In cases still, (much simpler) compare existing literature.