• Académico
• Informática

Lógica por defecto

La lógica predeterminada es una lógica no monótona propuesta por Raymond Reiter para formalizar el razonamiento con supuestos predeterminados. La…