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.

Experiential Logic.

A Modal Nonmonotonic Logic

Non-monotonic Reasoning and Argumentation System

Problems of Inconsistency and Argumentation Logics

Reasoning About Hybrid Probabilistic Knowledge Bases

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

Modeling Non-Monotonic Properties under Propositional Argumentation

Argumentation-Based Non-Monotonic Reasoning of Agents

A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024)

Quantum Look at two Common Logics: the Logic of Primitive Thinking and the Logic of Everyday Human Reasoning

Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces

Defeasible deontic logic: arguing about permission and obligation

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

General dynamic logic

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

Restricted Semantics for Default Reasoning.

Why Combine Logics?

On Non-formal Logic:Its Objects and Future Directions

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Three-Valued Nonmonotonic Logic.

A Tableau Algorithm For Paraconsistent And Nonmonotonic Reasoning In Description Logic-Based System