Математическая логика и теория алгоритмов

мер, является ли Боб родителем Пата? Этот вопрос ставится следую­ щим образом: ? - родитель (боб, пат). Система ответит YES (да). Ответ ищется следующим образом. Вопрос преобразуется в дизъюнкт; 1 родитель (боб, пат). (3.16) Далее из (3.14) и (3.16) бинарной резолюцией получаем пустой дизъ­ юнкт •, что и означает положительный ответ. Другим вопросом мог бы быть такой: ? - родитель (пам, лиз). Система ответит No (нет). Этот ответ в данном случае требует особого пояснения. Для получения указанного ответа образуется дизъюнкт: 1 родитель (нам, лиз), (3 .17) Этот дизъюнкт ни с одним из дизъюнктов (3.10)-(3.15) не дает пустого ди:{ъгонкта. По идеологии вопросно-ответных систем ЭВМ должна была бы организовать отрицание вопроса, т.е. дизъюнкт: родитель (нам, лиз). (3.18) Но и этот дизъюнкт вместе с (3.10)-(3.15) не порождает пустого дизъюнкта. Следовательно, система должна была бы ответить: "недос­ таточно информации". Но в реализации ПРОЛОГа этого не будет. Система рассмотрит только дизъюнкты (3.10)-(3.15) и (3.17) и так как они не дают пустой дизъюнкт, то получим ответ: No (нет). Это про­ исходит оттого, что считается, что в программу включены все воз­ можные знания об объестах. Тогда, поскольку нет никакой информа­ 119