KR Lessons Learned (cont’d.)
6. Reasoning must be DEFAULT
Very few things in this world are monotonically true.
7. Reasoning hinges on gathering and weighing pro/con
ARGUMENTS. (An argument is like a proof, but can
have some steps that rely on default-true assertions.)
[Using the ARGUMENTATION axiom (Guha)]