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 lógica padrão pode expressar fatos como “por padrão, algo é verdadeiro”; Por outro lado, a lógica padrão só pode expressar que algo é verdadeiro ou que algo é falso. Isso é um…