Висвітлюються основні підходи і засоби програмування в Пролозі (мова логічного програмування) з використанням різноманітних структур даних у програмуванні та їх застосування при побудові ефективних алгоритмів. Наведена загальна характеристика логічного програмування і математичної основи логічних мов програмування. Особлива увага приділяється питанням побудов виведення. Описуються базові структури мови, методи їх використання, аналіз роботи зі змінними, розглядається спосіб їх співставлення, а також наведено контрольні задачі. Аналізуються базові структури програми і процес бектрекінгу, основні підходи до побудови керування, методи зміни стандартного процесу виконання програми за рахунок використання предикатів cut, fail, not. Дається характеристика основ побудови складних структур даних і їх застосування (продукційні системи, семантичні мережі, фрейми). Викладені основні підходи до реалізації ітераційних дій, рекурсії, моделювання циклів тощо.

Індекс рубрикатора НБУВ: З970я7

Шифр НБУВ: ВА636706 Пошук видання у каталогах НБУВ 

Розкрито суть основних базових понять, пов'язаних з природним і штучним інтелектом. Запропоновано методику тесту Тьюринга, спрямовану на визначення рівня інтелектуальності та фактичний діалог. Показано відмінності між знаннями та традиційними даними, описано основні властивості знань. Наведено сучасні моделі знань, зокрема, семантичних мереж, фреймів, продукційних систем і визначено зв'язки між ними. Описано один з основних механізмів логічного виведення - метод резолюцій, а також інші механізми, характерні для семантичних мереж і фреймів. Викладено алгоритм логічного виведення за умов неточної та недостовірної інформації.

Раскрыта сущность основных базовых понятий, связанных с природным и искусственным интеллектом. Предложена методика теста Тюринга, направленная на фактический диалог и определения уровня интеллектуальности. Показаны отличия между знаниями и традиционными данными, описаны основные свойства знаний. Приведены современные модели знаний, в частности, семантических сетей, фреймов, продукционных систем и определены связи между ними. Описаны один из основных механизмов логического вывода - метод резолюций, а также другие механизмы, характерные для семантических сетей и фреймов. Изложен алгоритм логического вывода в условиях неточной и недостоверной информации.

Розглянуто підхід, спрямований на формалізований опис інформаційного пошуку як хвильового процесу поширення активації на базі формальної моделі інформаційної системи. Для інформаційного наповнення тематичних порталів, інтегрованих із віртуальними спільнотами, запропоновано формальну модель на базі четвірки "онтологія - артефакт - користувач - проект". Обговорено можливості, пов'язані з застосуванням алгоритмів ройового інтелекту та генетичних алгоритмів.

Розглянуто проблеми, пов'язані з наближенням навчальних програм із інформатики до вимог ІТ-індустрії в контексті розгортання бакалаврської програми "Програмна інженерія" на базі існуючих навчальних програм із комп'ютерних наук. Увагу приділено впровадженню в навчальний процес практики виконання навчальних групових проектів із розробки програмних систем, а також організації та підтримці взаємодії "Бізнес - Освіта".

Проблему експертного добору інформаційних ресурсів розглянуто в аспекті онтологічно-орієнтованого пошуку на базі системи математичних співвідношень над вузлами онтології в рамках моделі "онтологія - артефакт - користувач - проект". Висвітлено основні компоненти системи, що реалізують такий пошук.

Сформульовано рекомендації щодо застосування генетичних алгоритмів для проблеми інформаційного пошуку на базі онтологічного аналізу. Надано класифікацію параметрів онтологічної моделі інформаційного наповнення, які необхідно оптимізувати. Запропоновано співвідношення, оптимізація параметрів яких має здійснюватися в першу чергу. Розглянуто основні підходи до вибору цільової функції.

Обговорено підхід до оптимізації структури гіпертекстових посилань на тематичному веб-порталі на основі застосування марковських процесів прийняття рішень. Запропоновано формалізовану модель, яка описує зв'язки між вузлами навігаційного графа й онтологією предметної області, спрямовану на підвищення семантичної орієнтованості процесу навігації. Проаналізовано можливості, пов'язані з застосуванням описаної методики в системах дистанційної освіти.

З метою аналізу індивідуальної та колективної поведінки агентів запропоновано модель під назвою "стан-імовірність вибору". Вона базується на явному розгляді ймовірностей вибору альтернатив та на марковському ланцюзі зміни цих імовірностей. Центральне місце в моделі займає матриця "стан-імовірність вибору", рядки якої відповідають станам, а стовпці - альтернативам. У межах цієї моделі встановлено деякі достатні умови динамічної рівноваги двох альтернатив, якщо рішення приймаються простою більшістю голосів. Динамічна рівновага означає, що по черзі вибираються різні альтернативи, і у випадку багаторазового вибору жодна з них не має переваг над іншими. Отримано також конструктивний спосіб формування матриць "стан-імовірність вибору", для яких забезпечується ди-намічна рівновага альтернатив.

Для аналізу індивідуальної та колективної поведінки агентів запропоновано модель "стан-ймовірність вибору", що базується на розгляді ймовірностей вибору альтернатив і застосуванні марковського ланцюга зміни цих ймовірностей. Розглянуто подальший розвиток напрямку, пов'язаного з моделюванням опису ситуації прийняття рішень, який полягає в явному заданні ймовірностей прийняття рішень на базі моделі "стан-ймовірність вибору" за умови, що ці ймовірності можуть змінюватися з часом. Запропоновано структуризацію моделі, яка передбачає декомпозицію та формування кластерів станів, що можна змістовно інтерпретувати. Розглянуто дворівневу систему станів, в якій базові стани відповідають конкретним імовірностям прийняття рішень, а стани другого рівня - групам станів. Показано, що декомпозиція суттєво послаблює фактор довільності вибору базових станів. Наведено приклад, де виділено декілька груп станів, серед яких особливу увагу приділено поведінці переконаних прихильників певних альтернатив, а також агентам, що вагаються.