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.

Modeling Non-Monotonic Properties under Propositional Argumentation

Non-monotonic Reasoning and Argumentation System

Argumentation-Based Non-Monotonic Reasoning of Agents

Problems of Inconsistency and Argumentation Logics

From Classical to Non-monotonic Deontic Logic Using ASPIC$$^+$$

An Argumentation Framework for Non-monotonic Reasoning in Description Logic

Defeasible deontic logic: arguing about permission and obligation

Prioritized Norms in Formal Argumentation

A Modal Nonmonotonic Logic

A Model-Theoretic Semantics for Two-Sided Argumentation.

Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs.

Partial Semantics of Argumentation: Basic Properties and Empirical

Partial Semantics of Argumentation

Going Forth and Drawing Back: an Intensional Approach in Nonmonotonic Inference.

Value-based Practical Reasoning: Modal Logic + Argumentation

A Petri-Net Model For Nonmonotonic Reasoning Based On Annotated Logic Programs

Non-Monotonicity in Probabilistic Reasoning

Experiential Logic.

Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces

Reasoning About Hybrid Probabilistic Knowledge Bases

Explaining Non-monotonic Normative Reasoning using Argumentation Theory with Deontic Logic