Résolution et incomplète Base de connaissances

Question

Supposons que j'ai une base de connaissances incomplètes, par exemple:

(rich(dave), poor(dave))  // dave is either poor or rich

(not rich(dave), not poor(dave))  // dave is not poor and rich at the same time.

Mes questions sont les suivantes: 1. Si je fais la résolution sur les clauses ci-dessus, je vais obtenir la clause vide? 2. Si oui, est-ce que cela veut dire ma base de connaissances est incompatible?

Answer 1

La théorie est pas incompatible et admet trivialement deux modèles différents:

• une première où dave est riche, mais pas pauvres;
• une seconde où il vient de se pauvre mais pas riche.

Vous confondez peut-être la « clause vide » qui ne contient pas littérale, étant ainsi toujours faux, avec la « vraie clause », qui contient à la fois un littéral et sa négation, étant ainsi toujours vrai. L'application de la résolution conduit à la résolutif « véritable clause », pas la « clause vide ».