Defaultlogica

Defaultlogica is een niet-monotone logica ontwikkeld door Raymond Reiter waarmee men kan redeneren over gangbare aannames, zoals vogels die doorgaans kunnen vliegen. Men gebruikt hierbij een default, een regel waarvan men aanneemt dat deze wel zal gelden in de meeste situaties. Zo kunnen vogels gewoonlijk vliegen maar er zijn vogelsoorten (bijvoorbeeld pinguïns en struisvogels) die niet kunnen vliegen. Ook kunnen er andere oorzaken zijn, zoals gebroken vleugels. Defaultlogica biedt een manier om deze vorm van redeneren te formaliseren.