Принципът на разделителната способност в логическото изчисление и предиката и неговите модификации
1. Основни производители …………………………………………… .5
2. История на появата и развитието на езика ПРОЛОГ ………. ……… .6
3. Изчисление на извлечения …………………………………. ……… девет
3.1. Изчисление на предикати …………………………………………… .11
3.2. ПРОГРАМИРАНЕ НА ПРОГРАМА ………………………………… 14
3.4. Търсене на доказателства в системата на резолюциите ………………….… .18 Заключение ……………………………………………………………… .22
Според експерти в близко бъдеще експертните системи ще играят водеща роля във всички фази на проектиране, разработване, производство, дистрибуция, продажби, поддръжка и услуги. Тяхната технология, след като се разпространи в търговската мрежа, ще осигури революционен пробив в интеграцията на приложения от готови интелигентно взаимодействащи модули.
Сред специализираните базирани на знанието системи най-значими са експертните системи в реално време или динамичните експертни системи. Те представляват 70 процента от този пазар.
Значението на инструментите в реално време се определя не толкова от бързия им търговски успех (въпреки че това си заслужава внимателен анализ), но, на първо място, от факта, че само с помощта на такива инструменти се създават стратегически значими приложения в области като контрол на непрекъснати производствени процеси в химията., фармакология, производство на цимент, храни и др., космически изследвания, транспорт и преработка на нефт и газ, управление на ядрени и топлоелектрически централи, финансови транзакции, комуникации и много други.
Класовете задачи, решавани от експертни системи в реално време, са както следва: мониторинг в реално време, системи за управление от горно ниво, системи за откриване на неизправности, диагностика, планиране, планиране, оптимизация, системи за съвет на оператора, системи за проектиране.
Търговският успех не дойде веднага при експертни системи и невронни мрежи. В продължение на няколко години (от 60-те години на миналия век) успехите са фокусирани главно върху изследователски разработки, демонстриращи годността на системите за изкуствен интелект за практическа употреба. Започвайки от около 1985 г. (и масово, вероятно от 1988-1990 г.), на първо място, експертни системи, а през последните две години невронните мрежи се използват активно в реални приложения.
1. Основни производители.
Набор от инструменти за създаване на експертни системи в реално време е издаден за първи път от Lisp Machine Inc през 1985 г. Този продукт е предназначен за компютрите със символи Symbolics и се нарича Picon. Успехът му накара група от водещите разработчици да сформират Gensym, който, развивайки значително идеите зад Picon, пусна през 1988 г. инструмент, наречен G2. В момента третата му версия работи, а четвъртата е подготвена.
Още в края на 70-те години се наблюдава ясна тенденция към използването на „формални“ методи в изследванията в областта на изкуствения интелект, т.е. базиран на апарата на математическата логика. Тези методи бяха в контраст с по-интуитивни и по-малко формализирани евристични методи, като тези, използвани в системата MYCIN. За да стане ясно какво означава всичко това, трябва да ви запознаете с логически езици и след това да покажете как техните свойства са свързани с онези методи на разсъждение, които трябва да се поддържат от типични експертни системи.