Logica predefinita La logica predefinita è una logica non monotona proposta da Raymond Reiter per formalizzare il ragionamento con ipotesi predefinite. La logica predefinita può esprimere fatti come “di default, qualcosa è vero”; al contrario, la logica standard può solo esprimere che qualcosa è vero o che qualcosa è falso.…