Cтраница 2
Система доказательства теорем может являться частью разумной системы, но она совершенно очевидно не представляет собой всю систему. Она, в частности, не управляет двигателями робота и не может реагировать непосредственно на входную информацию, предъявляемую в виде изображений. Какой частью должна она быть. Сколь сложно организовать ее взаимодействие с остальными программами. Вполне возможно, что вывести ответ не удастся и система выдаст не знаю. После этого какая-то другая программа должна просмотреть не приведший к искомому результату процесс вывода и каким-то известным ей способом принять решение о том, что делать дальше: то ли использовать какой-либо другой метод для поиска ответа на заданный вопрос, то ли предпринять какие-либо действия, которые устранят необходимость отвечать на него. Допустим, что наше обращение к системе доказательства теорем увенчалось успехом и она сформировала соответствующий план поведения. Какой контроль нужно организовать для того, чтобы знать, что все идет по плану. Что следует делать, если в процессе исполнения плана выясняется, что допущена ошибка. Вероятно, план не может быть столь подробным, чтобы учитывать любую случайность. Допустим, что нам даже удалось ввести в систему доказательства теорем аксиоматическое описание картинки или сцены. [16]