Nonmonotonic logics formalise commonsense reasoning with incomplete, uncertain or
My favourite type of nonmonotonic logic is argument-based. In such
logics arguments can be constructed and conflicting arguments can be compared, to see
which of them come out as 'undefeated' or 'in force'. I especially like argument-based systems since they are 'modular' (with e.g. separate definitions of constructing arguments and comparing conflicting
arguments), and since they are based on very natural concepts (such as argument,
counterargument, rebuttal, defeat, dialogue and dispute).
Nowadays systems for argumentation-based inference are studied within the field of computational argumentation. I have therefore moved my further remarks on this topic to my page on Computational Argumentation.
Workshops and Conferences
- 15th International Workshop on Nonmonotonic Reasoning (NMR 2014), part of the Vienna Summer of Logic.
Vienna (Austria), 17-19 July 2014.
Workshops on Nonmonotonic Reasoning
- International Conferences on Logic Programming and Nonmonotonic Reasoning (LPNMR):
Fort Lauderdale 2004
- Commonsense Symposia (Logical Formalizations of Commonsense Reasoning)
- ECAI 2012 Workshop on Belief change, Non-monotonic reasoning and Conflict resolution (BNC@ECAI'12).
Montpellier (France), August 27, 2012.
- Conference Thirty Years of Nonmonotonic Reasoning
Lexington, KY, USA, October 22-25, 2010.
- 3rd Formal Epistemology Festival:
Learning from Experience & Defeasible Reasoning (dedicated to the memory of John Pollock).
Toronto (Canada), May 11-13, 2010.
- Argumentation and Non-Monotonic Reasoning.
An LPNMR-07-colocated workshop.
Tempe, Arizona (USA), 14-16 May 2007.
Phan Minh Dung