Cтраница 4
Конечно, не всякую задачу можно решить, следуя определенному набору правил. Более удивительно то, что есть математические задачи, не допускающие алгоритмического решения. К несчастью, даже короткое обсуждение этой проблемы увело бы нас слишком далеко в сторону. [46]
Цель исследований по экспертным системам состоит в разработке программ ( устройств), которые при решении задач, трудных для эксперта-человека, получают результаты, не уступающие по качеству и эффективности решениям, получаемым экспертом. В большинстве случаев экспертные системы решают трудноформализуемые задачи или задачи, не имеющие алгоритмического решения. [47]
Нечеткости формулировок, различные неоднозначности вырастают в непреодолимые преграды пр1Гтюпытках создать алгоритм решения. Все это является предварительным этапом процесса, в ходе которого закладываются основы для алгоритмического решения поставленной задачи. [48]
В соответствии со вторым требованием работы по программированию задач конкретных функциональных подсистем должны базироваться на унифицированных алгоритмических решениях. Разработкой таких решений для предприятий химического профиля многие годы занимается НПО Химавтоматика. Третье требование оговаривает необходимость учета специфики прикладного и системного программного обеспечений: первое должно отвечать задачам и требованиям пользователей, а второе-обеспечивать все необходимые внутрисистемные функции по организации, хранению и движению информации. [49]
Вспомним, что в общем случае задача о плиточных покрытиях, описанная в главе 4, не имеет алгоритмического решения. Можно предположить, что сходная задача в приложении к атомным структурам имеет такое же свойство неалгоритмичности. Если эти задачи могут в принципе быть решены средствами, о которых я говорю, то тогда есть вероятность, что у рассматриваемого мной типа умственной деятельности действительно существует неалгоритмическая компонента. Однако для того, чтобы это было так, нам необходима определенная неалгоритмичность и в ПКТГ. Конечно, мы сейчас слишком вольно обращаемся с гипотезами - но все же приведенные выше аргументы подсказывают мне, что здесь определенно должно быть нечто, имеющее неалгоритмический характер. [50]