• Acadêmico
• Informática

Lógica padrão

A lógica padrão é uma lógica não monotônica proposta por Raymond Reiter para formalizar o raciocínio com suposições default. A…