Résolution et incomplète Base de connaissances
-
16-10-2019 - |
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?
La solution
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 ».
Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange