lógica não monotônica

Lógica Padrão

Lógica Padrão A lógica padrão (em inglês: default logic ) é uma lógica não monotônica proposta pelo cientista da computação Raymond Reiter com o objetivo…