Cтраница 2
Он изобрел Лисп в 1958 г., разработал концепцию разделения времени и начиная с первой половины 60 - х годов работает над доказательством того, что компьютерные программы соответствуют техническим заданиям на их разработку. Его последним теоретическим достижением является метод ограничений для немонотонных рассуждений. Он был награжден Тьюринговской - премией в 1971 г. за достижения в области искусственного интеллекта. [16]
Следует отметить, что использование данного подхода требует более разнообразных знаний о решении задачи, чем в предыдущих случаях. При использовании разнообразных знаний о процессе решения становится целесообразным объединять принцип наименьших свершений с методами, использующими метазнания. Принцип наименьших свершений может приводить к образованию тупиков в процессе решения задачи, что препятствует использованию этого принципа в чистом виде. Для преодоления тупиков используют предположения или применяют метод нескольких моделей. Для преодоления трудностей, вызванных неполнотой и ( или) неточностью данных ( знаний), используют вероятностные, размытые и точные методы. Все эти методы основываются на идее увеличения надежности путем комбинирования фактов и использования метазнаний о возможностях комбинирования фактов. Неточные подходы ( вероятностные, псевдовероятностные, размытые) используют разнообразные априорные оценки, условные вероятности и размытые множества; точные подходы используют предположения и ревизию мнений при немонотонных рассуждениях. [17]