Manutenção da Verdade

Algoritmo de Rotulagem

Procedimento algorítmico que atribui estados (verdadeiro, falso, desconhecido) às proposições de uma base de conhecimento com base em suas dependências lógicas. Essas etiquetas são atualizadas dinamicamente durante a manutenção da verdade.

← Voltar