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.