стий синтаксис, оскільки можливі тільки дві його конструкції: атом і список.
Атом - елементарна конструкція мови LISP, яка характеризується своїм ім'ям і значенням. У деяких LISP - системах з атомом зв'язується також певний список властивостей. Прикладами атомів можуть служити: А, В, А1, ЧАС ВИЛЬОТУ, ВИПУСК, АІ-93 і т.д.
Список - конструкція LISP, що складається з безлічі атомів і підсписків. У LISP прийнята Дужковий нотація опису списків. Приклади списків (А1, А2, ..., АК), (А, В) (ЧАС ВИЛЬОТУ, 15_40) (ВИПУСК АІ-93). p align="justify"> Суттєвою особливістю мови LISP є те, що тут В«даніВ» і В«програмиВ» зовні нічим не відрізняються один від одного. Це дає можливість писати на LISP В«програмиВ», що маніпулюють не тільки даними, але і В«програмамиВ». Саме дана властивість дозволяє LISP стати витонченим засобом програмування систем ШІ. Поняття В«даніВ», і В«програмаВ» в LISP не використовуються, їх замінюють такі поняття, як вираз і функція. - Функціональний мова. Всі процедури обробки інформації оформляються у вигляді функцій. Завдяки стандартному набору системних функцій, LISP може бути В«розширеноВ» за рахунок користувача функцій. Системні функції діляться на арифметичні, Спискові функції, функції введення - виведення, предикати та ін - це рекурсивний мову, тобто забезпечує можливість визначення функцій за допомогою самих себе.
рекурсивно LISP зручна при вирішенні дуже популярною в штучному інтелекті завдання В«пошуку по деревуВ», яка є досить узагальненою і охоплює широкий клас конкретних завдань, починаючи шаховими і кінчаючи завданнями В«прийняття рішеньВ» або управління складними об'єктами. У кожному конкретному випадку вершини дуги будуть мати свою семантику. Наприклад, при вирішенні шахової задачі вершин можуть відповідати можливі позиції, а дуг ті чи інші ходи, що призводять до цих позицій. Послідовність ходів, обов'язково призводять до В«виграноїВ» позиції, і буде рішенням даної задачі. Деревоподібна структура дуже часто має також і сценарій діалогу людини з ЕОМ. У цьому випадку з вершинами співвідносяться стану (кроки) діалогу, а з дугами - можливі переходи з одного стану в інший. p align="justify"> Одним з відомих мов подання знань є мова FRL (Frame Representation Language), що відноситься до класу фрейм - орієнтованих. Основна одиниця знання в таких мовах - фрейм, що представляє собою інформаційну модель (або опис) деякої стереотипної ситуації. В«Стереотипна ситуаціяВ», є узагальненням таких понять, як дії, процеси, події, об'єкти, властивості, модифікатори і т.д.
Фрейм в FRL - це сукупність пойменованих, асоціативних списків, що містить до п'яти рівнів підструктур. Подструктурами фреймів можуть бути слоти, аспекти, дані, коментарі та повідомлення. Основною структурною одиницею у фреймі є слоти, що відображають взаємозв'язки між поняттями предметної області. Слот характеризується своїм ім&...
