Resolución y base de conocimiento incompleta

Question

Supongo que tengo una base de conocimiento incompleta, por ejemplo:

(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.

Mis preguntas son: 1. Si hago resolución en las cláusulas anteriores, ¿obtendré la cláusula vacía? y 2. En caso afirmativo, ¿eso significa que mi base de conocimiento es inconsistente?

Answer 1

La teoría no es inconsistente y admite trivialmente dos modelos diferentes:

• el primero en el que Dave es rico pero no pobre;
• Un segundo en el que Dave es pobre pero no rico.

Tal vez estás confundiendo la "cláusula vacía" que no contiene literal, por lo tanto, siempre es falsa, con la "cláusula verdadera" que contiene tanto un literal como su negación, por lo que siempre es verdad. La aplicación de la resolución conduce al resolvente de "cláusula verdadera", no a la "cláusula vacía".