Algorithme de résolution - pas de nouvelles clauses

cs.stackexchange https://cs.stackexchange.com/questions/91244

Question

Resolution algorithm from AIMA pg 255

L'algorithme de résolution standard renvoie false si Aucune nouvelle clause n'est ajoutée.

Je sais que si $ kb land neg a implique [] $, il renvoie vrai par la preuve par contradiction, mais comment puis-je comprendre le faux cas intuitivement?

Pas de solution correcte

Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange
scroll top