Processo Logicamente Completo

Processo de Conhecimento Logicamente Completo

Dizemos que um processo de conhecimento é logicamente completo quando qualquer asserção que seja consequência lógica de sua base de conhecimento é garantida de ser produzida.

---

Referências

• BRACHMAN, Ronald J.; LEVESQUE, Hector J.; REITER, Raymond (Ed.). Knowledge representation, MIT press, 1992.