Cтраница 4
Разрешимость, конечно же, не имеет никакого отношения к обычному понятию завершаемости, которое указывает на окончание всего процесса исполнения программы за конечное время. Именно возможная недетерминированность логических программ лежит в основе невозможности их верификации в точном соответствии с методами доказательства правильности традиционных программ. [46]
В литературе по верификации логических программ имеется некоторая терминологическая путаница, что может вызвать недоразумение у тех, кто не знаком с происходившими в процессе развития этой теории изменениями в определениях. В подходе Кларка и Тернлунда принимается стандартное понятие частичной правильности, однако, пытаясь достичь согласованности с понятиями из области доказательства правильности традиционных программ, в качестве дополнительного требования для определения полной правильности они выбирают завершаемость. [47]
Мы будем просто выращивать такие растения и есть их плоды, чтобы излечиться от многих болезней или предотвратить их. Трудно даже представить, какое значение это может иметь для бедных стран, где обычные фармацевтические средства все еще в диковинку, а традиционные программы вакцинации по линии ВОЗ оказываются слишком дорогими и трудно выполнимыми. Это направление исследований необходимо всемерно поддерживать, в том числе и через упомянутое сотрудничество государственного и частного секторов экономики. [48]
Последствия этого факта выходят за пределы построения программы, предназначенной для решения некоторого класса задач. Причина в том, что знания - основа экспертных систем - являются явными и доступными, что и отличает эти системы от большинства традиционных программ. Они обладают такой же ценностью, как и любой большой объем знаний, и эти знания могут широко распространяться посредством специальных и общих литературных источников. [49]
На первый взгляд кажется, что в этом отношении традиционные программы имеют явное преимущество. Однако это преимущество кажущееся. Традиционные программы для решения сложных задач, напоминающих те, которые подходят для ЭС, тоже могут делать ошибки. Но их ошибки чрезвычайно трудно исправлять, поскольку стратегии, эвристики и принципы, лежащие в основе этих программ, явно не сформулированы в их тексте. Следовательно, эти ошибки нелегко определить и исправить. Подобно своим двойникам-людям ЭС могут делать ошибки. Но в отличие от обычных программ, они имеют потенциальную способность учиться на своих ошибках. [50]