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
- Eleventh International Symposium on Logical Formalizations of
Commonsense Reasoning (Commonsense 2013).
Cyprus, May 27-29, 2013.
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