On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n -person games

摘要: The purpose of this paper is to study the fundamental mechanism, humans use in argumentation, and explore ways implement mechanism on computers. We do so by first developing a theory for argumentation whose central notion acceptability arguments. Then we argue “correctness” or “appropriateness” our with two strong one shows that most major approaches nonmonotonic reasoning AI logic programming are special forms argumentation. second argument illustrates how can be used investigate logical structure many practical problems. This based result showing captures naturally solutions n-person games well-known stable marriage problem. By viewed as form negation failure, introduce general logic-programming-based method generating meta-interpreters systems, very much similar compiler-compiler idea conventional programming. Keyword: Argumentation; Nonmonotonic reasoning; Logic programming; games; problem