Краткий экскурс в историю логического программирования и искусственного интеллекта |
Автор megabax | |
29.11.2010 г. | |
Краткий экскурс в историю логического программирования и искусственного интеллектаВ 1981 году Японское министерство международной торговли и промышленности объявило Института по разработке методов создания компьютеров нового поколения (Institute for New Generation Computer Technology Research Center) - исследовательской организации, которая поставила своей цель создать систему обработки информации, базирующейся на знаниях. предполагалось, что благодаря этой системе пользователь сможет общаться с компьютером на естественном языке. Эти системы должны были самообучаться, накапливать в памяти знания для решения различного рода задач, предоставлять пользователю различного рода экспертные консультации. Предполагалось так же, что пользователь не будет обладать специальными знаниями в области информатики. Вскоре вслед за японцами стартовали американские и европейские проекты. Появление таких систем могло бы коренным образом изменить технологии программирования за счет использования баз знаний. Суть качественного перехода к пятому поколению ЭВМ заключалась в том что бы осуществить скачет от обработки данных к обработке знаний. Японцы хотели не подстроить человеческое мышление под принципы функционирования компьютера, а создать машины, которые будут работать как человеческий мозг. К сожалению, поставленные цели в полной мере так и не были достигнуты, хотя этот проект послужил импульсом к новым исследованиям в области искусственного интеллекта и логического программирования. В качестве основной методологической базы компьютеров пятого поколения было избранно логическое программирование, ярким представителем которого является язык ПРОЛОГ. Его название происходит от слов ЛОГическое ПРОграммирование. Этот язык основан на таком разделе математической логики, как исчисления предикатов. Его базисом является процедура доказывания теорем по методу резолюций для хорновских дизъюнктов*. В истории развития искусственного интеллекта можно выделить следующие этапы:
* В математической логике, дизъюнкт Хорна — дизъюнкция литералов с не более чем одним положительным литералом. Дизъюнкты Хорна названы по имени логика Альфреда Хорна, который впервые указал важность таких дизъюнктов в статье 1951 года «On sentences which are true of direct unions of algebras» (Journal of Symbolic Logic 16, 14-21). Дизъюнкт Хорна с ровно одним положительным литералом есть определенный дизъюнкт; в универсальной алгебре определенные дизъюнкты являются квазитождествами. Дизъюнкт Хорна без положительных литералов иногда называется целью или запросом, в частности в логическом программировании. Формула Хорна есть конъюнкция дизъюнктов Хорна, то есть формула в конъюнктивной нормальной форме, все дизъюнкты которой являются хорновскими. Двойственным дизъюнктом Хорна называют дизъюнкцию с не более чем одним отрицательным литералом. Дизъюнкты Хорна играют основополагающую роль в логическом программировании и имеют важное приложение в конструктивной логике. Источник Википедия. |
|
Последнее обновление ( 04.10.2011 г. ) |
« След. |
---|