Nonmonotonic logic
Nonmonotonic logics formalise commonsense reasoning with incomplete, uncertain or
inconsistent information.
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
Future:
- 15th International Workshop on Nonmonotonic Reasoning (NMR 2014), part of the Vienna Summer of Logic.
Vienna (Austria), 17-19 July 2014.
Past:
- International
Workshops on Nonmonotonic Reasoning
- International Conferences on Logic Programming and Nonmonotonic Reasoning (LPNMR):
Vienna 2001
Fort Lauderdale 2004
Diamante 2006
Tempe 2007
Potsdam 2009
- 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
(NonMon@30).
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.
Software
Researchers
Philippe Besnard
Gerd Brewka
Phan Minh Dung
Benjamin Grosof
Jeff Horty
Robert Kowalski
Ron Loui
David Makinson
Donald Nute
John Pollock
Giovanni Sartor
Ken Satoh
Paul Thagard
Francesca Toni
Bart Verheij
Gerard Vreeswijk