Die Standardlogik ist eine nicht-monotone Logik, die von Raymond Reiter vorgeschlagen wurde, um die Argumentation mit Standardannahmen zu formalisieren. Die Standardlogik kann Fakten wie „standardmäßig ist etwas wahr“ ausdrücken; Im Gegensatz dazu kann Standardlogik nur ausdrücken, dass etwas wahr ist oder dass etwas falsch ist. Dies ist ein Problem, da die Argumentation…