Llògica per defecte

La llògica per defecte és una llògica no monotónica proposta per Raymond Reiter per a formalisar el raonament en hipòtesis per defecte.

La llògica per defecte pot expressar fets com "de forma predeterminada, alguna cosa és cert", pel contrari, la llògica estàndar només pot expressar que alguna cosa és cert o que alguna cosa és fals. Açò és un problema perque el raonament en freqüència implica que els fets són certs en la majoria dels casos, pero no sempre. Un eixemple clàssic és el següent: "les aus solen volar". Esta regla pot expressar-se en llògica estàndar, ya siga per "totes les aus volen", que és incompatible en el fet de que els pingüins no volen, o per "totes les aus que no són pingüins i no són esturços i ... volen ", que exigix que es determinen totes les excepcions a la regla. La llògica per defecte apunta a la formalisació de les regles d'inferència com esta sense mencionar explícitament totes les seues excepcions.

Bibliografia

• «Default Logic» (en anglés). Archivat des d'el original, el 22 de setembre de 2014. Consultat el 10 d'agost de 2004.