тому сенсі, що стосовно будь-якій послідовності символів вона дозволяє сказати, чи задовольняє ця послідовність правилам конструювання виразів в цій мові (формулами). Зазвичай формальним мовам протиставляються природні, такі як французький і англійський, в яких граматичні правила не є жорсткими. Твердження, що логіка є обчисленням з певними синтаксичними правилами логічного виводу, означає, що вплив одних членів виразу на інші залежить тільки від форми вираження в даній мові і жодним чином не залежить від будь-яких сторонніх ідей або інтуїтивних припущень.
Під автоматичним формуванням суджень розуміється поведінка деякої комп'ютерної програми, яка будує логічний висновок на підставі певних законів. Так, не можна віднести до класу програм автоматичного формування суджень програму, яка моделює підкидання монетки, щоб визначити, чи слід одна формула з набору інших. (У літературі також часто зустрічається термін автоматична дедукція, рівнозначний за змістом терміну автоматичне формування суджень.)
При реалізації автоматичного формування суджень, як правило, прагнуть до максимально можливого однаковості та стандартизації у поданні формул, але в той же час в літературі часто доводиться стикатися з найрізноманітнішими системами позначень, що відносяться до логіки. Основними синтаксичними схемами подання виразів є Кон'юнктивна нормальна форма (conjunctive normal form-CNF), повна фразова форма (full clausal form) і фраза Хорна (Horn clause), остання є підмножиною повної фразової форми. br/>В
2. Історія виникнення і розвитку мови ПРОЛОГ.
В
Протягом багатьох тисячоліть людство займається накопиченням, обробкою і передачею знань. Для цих цілей безперервно винаходяться нові засоби і вдосконалюються старі: мова, писемність, пошта, телеграф, телефон і т. д. Велику роль в технології обробки знань зіграла поява комп'ютерів.
У жовтня 1981 року Японське міністерство міжнародної торгівлі і промисловості оголосило про створення дослідницької організації - Інституту з розробки методів створення комп'ютерів нового покоління (Institute for New Generation Computer Technology Research Center). Метою даного проекту було створення систем обробки інформації, що базуються на знаннях. Передбачалося, що ці системи будуть забезпечувати простоту управління за рахунок можливості спілкування із користувачами за допомогою природної мови. Ці системи повинні були самонавчатися, використовувати накопичуються в пам'яті знання для вирішення різного роду завдань, надавати користувачам експертні консультації, причому від користувача не вимагалося бути фахівцем в інформатиці. Передбачалося, що людина зможе використовувати ЕОМ п'ятого покоління так само легко, як будь-які побутові електроприлади типу телевізора, магнітофона і пилососа. Незабаром слідом за японським стартували американський і європейський проекти.
Поява таких систем могло б змінити технології за рахунок використання баз знань та експертних систем. Основна суть якісного переходу до п'ятого покоління ЕОМ полягала в переході від обробки даних до обробки знань. Японці сподівалися, що їм вдасться не підлаштовувати мислення людини під принципи функціонування комп'ютерів, а наблизити роботу комп'ютера до того, як мислить людина, відійшовши при цьому від фон неймановской архітектури комп'ютерів. У 1991 році передбачалося створити перший прототип комп'ютерів п'ятого покоління.
Тепер уже зрозуміло, що поставлені цілі в повній мірі так і не були досягнуті, однак цей проект послужив імпульсом до розвитку нового витка досліджень в галузі штучного інтелекту і викликав вибух інтересу до логічного програмування. Так як для ефективної реалізації традиційна фон неймановская архітектура не підходила, були створені спеціалізовані комп'ютери логічного програмування PSI і PIM. p> В якості основної методології розробки програмних засобів для проекту ЕОМ п'ятого покоління було обрано логічне програмування, яскравим представником якого є мова Пролог. Думається, що і в даний час Пролог залишається найбільш популярним мовою штучного інтелекту в Японії та Європи (в США, традиційно, більш поширений інший мову штучного інтелекту - мова функціонального програмування Лісп).
Назва мови "Пролог" походить від слів логічного програмування (PROgrammation en LOGique під французькому варіанті і PROgramming in LOGic - в англійському).
Пролог грунтується на такому розділі математичної логіки, як числення предикатів. Точніше, його базис становить процедура доведення теорем методом резолюції для хорновскіх диз'юнктів. p> В історії виникнення і розвитку мови Пролог можна виділити наступні етапи.
У 1965 році в роботі "A machine oriented logic based on the resolution principle ", опублікованій в 12 номері журналу "Journal of the ACM", Дж Робінсон представив метод автоматичного пошуку доведення теорем в численні предикатів першого порядку, що отрим...
