Problems of Inconsistency and Argumentation Logics
Liao Beishui,Huang Huaxin
DOI: https://doi.org/10.19862/j.cnki.xsyk.2013.06.007
2013-01-01
Abstract:As a development of classical nonmonotonic logic,argumentation logic(also called abstract argumentation theory,and formal argumentation,etc.) provides a general mechanism to handle the problems of inconsistency in various situations.It captures the common properties of various reasoning systems in a context of disagreement by using abstract arguments and attack relations,and defines the acceptability of arguments by establishing general evaluation criteria(called argumentation semantics).This makes argumentation logic generally applicable to various situations.First,since the evaluation of the status of arguments is only related to the attack relations among them,the types,origins,representation languages and methods,of underlying knowledge,are allowed to be diverse.Second,the evaluation criteria corresponding to certain argumentation semantics are suitable to various applications.Third,argumentation logic not only supports the epistemic reasoning and the practical reasoning of individual agents,but also supports the reasoning in the process of multiagent interaction(e.g.,persuasion,disputation,negotiation,etc).Currently,the emphasis of the research of argumentation logic is on the definitions and computational methods of argumentation semantics,the instantiation approaches of argumentation semantics,and the applications of argumentation semantics,etc.