Podrazumevana logika

Podrazumevana logika je nemonotona logika koju je predložio Rejmond Rajter za formaliziranje razmišljanja sa zadanim pretpostavkama.^[1][2]

Zadana logika može izraziti činjenice poput „prema zadanim postavkama, nešto je istina”; nasuprot tome, standardna logika može samo izraziti da je nešto istinito ili da je nešto lažno. To je problem, jer rasuđivanje često uključuje činjenice koje su istinite u većini slučajeva, ali ne uvek. Klasičan primjer je: „ptice obično lete”. Ovo se pravilo može izraziti standardnom logikom ili sa „sve ptice lete”, što nije u skladu s činjenicom da pingvini ne lete, ili sa „sve ptice koje nisu pingvini i nisu nojevi i ... lete”, što zahteva sve iznimke od pravila koje treba specificirati. Zadana logika ima za cilj formalizovanje pravila zaključivanja poput ovog bez eksplicitnog spominjanja svih njihovih iznimaka.

1. ^ G. Antoniou (1999). „A tutorial on default logics”. ACM Computing Surveys. 31 (4): 337—359. doi:10.1145/344588.344602. 
2. ^ Cadoli, M.; Donini, F. M.; Liberatore, P.; Schaerf, M. (2000). „Space efficiency of propositional knowledge representation formalisms”. Journal of Artificial Intelligence Research. 13: 1—31. doi:10.1613/jair.664.