EC-IA · Aula 05
Modelos e Consequência Lógica
Explore mundos possíveis e verifique visualmente quando
KB ⊨ α
.
Exemplo
Avaliar todos
Reiniciar
Problema
KB
Consulta α
Avalie os mundos possíveis.
Leitura conceitual
modelo da KB
contraexemplo
Mundos possíveis