слота яку-небудь інформацію.
Демони і приєднані процедури є процедурними знаннями з експонованих фреймової моделлю.
В системі ІІ фрейми організуються в деяку ієрархічну структуру: спочатку будується фрейм вищого рівня (фрейм класу або протофрейма [13, с. 13; 2, с. 262-265; 3, с. 23-26 ]), що демонструє найбільш загальний вигляд якої-небудь інформації (наприклад, документа), потім наводяться так звані «дочірні» фрейми, що представляють найбільш великі різновиди документа. Наприкінці структури містяться «дочірні» до «дочірнім» фрейми. Вони являють детальний опис конкретних документів.
Наприклад, фрейми, що описують будь-який науковий звіт, можуть бути представлені у вигляді наступної ієрархічної структури, що утворює базу знань (БЗ) на фреймах:
Фрейм Ім'я: ЗВІТ
вищого автор: TEXT
рівня (фрейм тема: TEXT
класу) дата подання: INTEGER, TEXT
об'єм: INTEGER, TEXT
«Дочірні» Ім'я: ТЕХНІЧНИЙ ЗВІТ
фрейми до автор: Учасники проекту
фрейму класу тема: TEXT
дата подання: INTEGER TEXT
об'єм: 30 сторінок
Ім'я: ЗВІТ ПРО ХІД ВИКОНАННЯ РОБІТ
автор: Керівник проекту
тема: TEXT
дата подання: INTEGER, TEXT
об'єм: 2 сторінки
«Дочірній» Ім'я: ЗВІТ ПРО ХІД ВИКОНАННЯ РОБІТ №15
фрейм до автор: Керівник проекту IF-ADDED
«дочірньому» Володимир Петров
фрейму «Звіт тема: TEXT IF-ADDED
про хід «Проект з біологічної класифікації»
виконання дата подання: INTEGER, TEXT
робіт »IF-NEEDED
Вересень
об'єм: INTEGER, TEXT
сторінки
Зіставляючи ці фрейми із загальною структурою фрейма, можна відзначити, що іменами слотів тут є слова: «автор», «тема», «дата подання», «обсяг». Далі у всіх фреймах йдуть слова, що описують тип даних. У нашому прикладі використовуються лише два покажчика типу даних: TEXT і INTEGER. Перший покажчик говорить про те, що «автор» і «тема» повинні бути описані деяким текстом на природній мові. Наступні один за одним покажчики INTEGER і TEXT свідчать про те, що «дата подання» і «обсяг» повинні бути представлені у вигляді цілого числа і деякого тексту. У фреймі нижчого рівня з ім'ям «ЗВІТ ПРО ХІД ВИКОНАННЯ РОБІТ №15» вказані імена демонів IF-ADDED і IF-NEEDED.
Розглянемо, як працює ця БЗ. Нехай на вхід системи ШІ подається запит: «Мені потрібен звіт про хід виконання« Проекту з біологічної класифікації ». Аналізуючи цей запит, комп'ютер виділить назву «Проект з біологічної класифікації» і внесе його в слот «тема» «дочірнього» фрейму «ЗВІТ ПРО ХІД ВИКОНАННЯ РОБІТ №15». Далі виконується демон IF-ADDED (якщо додано), пов'язаний зі слотом «тема», так як в слот була введена нова інформація (назва проекту). Ця процедура здійснює пошук у базі даних системи прізвища та імені керівника «Проекту з біологічної класифікації». Нехай ім'я його - Володимир Петров. Процедура IF-ADDED вносить це ім'я в слот «автор» «ЗВІТУ ПРО ХІД ВИКОНАННЯ РОБІТ №15». Далі починає виконуватися пов'язана зі слотом «автор» процедура IF-ADDED, оскільки в слот поміщено нове дане (ім'я керівника проекту). Ця процедура становить повідомлення, щоб відправити його автору Володимиру Петрову, але системі ІІ неясно, коли ж розпорядження про подання звіту повинно бути виконано - свободен слот «дата подання». Тому в роботу включається пов'язаний з ним демон IF-NEEDED (ЯКЩО ПОТРІБНО). Використовуючи календар бази даних системи, ця процедура знайде поточну дату (день запиту), наприклад 10 вересня, і вирішить, що звіт треба представити до 30 вересня (мінімальний термін написання звіту - 20 календарних днів - також знаходиться в базі даних). Демон IF-NEEDED вносить цю дату в порожній слот «дата подання» «ЗВІТУ ПРО ХІД ВИКОНАННЯ РОБІТ №15». Далі процедура IF-ADDED, пов'язана зі слотом «автор» (вона керує всіма іншими процедурами), виявить, що в «звіт про хід виконання РОБІТ №15» відсутня ще одне значення - порожній слот «обсяг звіту». У цьому слоті немає демонів і витягти нову інформацію з бази даних немає можливості. Однак вище, на кадрі більш високого рівня, що містить загальну концепцію «ЗВІТУ ПРО ХІД ВИКОНАННЯ РОБІТ», тобто значення об'єму для звітів такого типу. Система бере це значення («2 сторінки») і підставляє його в слот «обсяг» «ЗВІТУ ПРО ХІД ВИКОНАННЯ РОБІТ №15». Таким чином, вся інформація знайдена, і система ІІ видає відповідь на запит, що надійшов у вигляді вказівки, яке буде п...
