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.
Q2488768
niet-monotone logica
Concept
None
Raymond Reiter
UNK
Q9147
pinguïns
Concept
Q17592
struisvogel
Concept
Q842421
Defaultlogica
Concept
Q842421
Defaultlogica
Concept
instance of