Разрешение и неполная база знаний

Question

Предположим, что у меня есть неполная база знаний, например:

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

Мои вопросы: 1. Если я сделаю разрешение на приведенных выше предложениях, получу ли я пустое предложение? И 2. Если да, то ли это означает, что моя база знаний непоследовательна?

Answer 1

Теория не непоследовательна и тривиально допускает две разные модели:

• Первый, в котором Дэйв богат, но не беден;
• Второй, в котором Дэйв беден, но не богат.

Возможно, вы путаете «пустой предложение», который не содержит буквального, таким образом, всегда ложно, с «истинным пунктом», который содержит как буквальное, так и его отрицание, таким образом, всегда верно. Применение разрешения приводит к решению «истинного пункта», а не к «пустому пункту».