e/Default logic

Information
has gloss	eng: Default logic is a non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions.
lexicalization	eng: Default Logic
instance of	c/Logical calculi

Meaning
Dutch
has gloss	nld: 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.
lexicalization	nld: defaultlogica
Castilian
has gloss	spa: La lógica por defecto es una lógica no monotónica propuesta por Raymond Reiter para formalizar el razonamiento con hipótesis por defecto.
lexicalization	spa: Logica por defecto
lexicalization	spa: lógica por defecto
Chinese
has gloss	zho: 缺省逻辑是 Ray Reiter 提出的用来形式化有缺省假定的推理的非单调逻辑。
lexicalization	zho: 缺省逻辑