Нове (друге) народження мови "Пролог" (Рrolog) в контексті систем підтримки прийняття рішень

Штучний інтелект і машинне навчання мають вагому частку в сучасних інформаційних технологіях і надають широкий набір інструментів: від експертних систем до нейромереж. Місце і осмислення значення мови "Пролог" в системі підтримки прийняття рішень.

Рубрика Программирование, компьютеры и кибернетика
Вид статья
Язык украинский
Дата добавления 26.12.2022
Размер файла 28,6 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Размещено на http://allbest.ru

НОВЕ (ДРУГЕ) НАРОДЖЕННЯ МОВИ «ПРОЛОГ» (PROLOG) В КОНТЕКСТІ СИСТЕМ ПІДТРИМКИ ПРИЙНЯТТЯ РІШЕНЬ

Віктор Бойко кандидат технічних наук, доцент, доцент кафедри кібербезпеки, Національний університет «Одеська юридична академія»

Микола Василенко доктор фізико-математичних наук, доктор юридичних наук, професор, професор кафедри кібербезпеки, Національний університет «Одеська юридична академія»

Валерій Рачук асистент кафедри кібербезпеки, Національний університет «Одеська юридична академія»

Валерія Слатвінська викладач кафедри кримінального права, процесу та криміналістики, Міжнародний гуманітарний університет

Анотація. Штучний інтелект і машинне навчання мають вагому частку в сучасних інформаційних технологіях і надають широкий набір інструментів: від експертних систем до нейромереж. Їх реалізація потребує специфічного середовища та відповідного програмного забезпечення. Однією із мов програмування для цього підходить мова «Пролог». В той же час існують серйозні ризики щодо помилок при використання цього забезпечення. Обговорено диференціацію завдань з управління у таких складних соціально- та організаційно-технічних системах як штучний інтелект. В статті надано всебічний аналіз і осмислення значення мови «Пролог» в системі підтримки рішень (DSS) та проведено встановлення його місця в цій агломерації. В зв'язку з цим обґрунтовано необхідність створення DSS нового покоління. В контексті поставленої мети показано перспективність використання DSS для прийняття стратегічних рішень в дедуктивному навчанні в порівнянні з індуктивним. Доведено, що саме такою стратегічною технологією стає DSS. Воно використовує дедуктивне навчання, яке при використанні мови «Пролог» в процесі формування систем штучного інтелекту створює максимальну прозорість і надає обґрунтованість при прийнятті рішень. Акцентовано увагу на тому, чому мова «Пролог» має стати перспективною мовою систем AI/ML. Пропонується також концепція гібридної DSS, що поєднує в собі переваги обох систем. Така система дозволяє приймати рішення на різних рівнях, отримуючи вигоди від систем з індуктивним навчанням на тактичному рівні та дедуктивних систем на стратегічному рівні прийняття рішень.

Ключові слова: штучний інтелект, мова «Пролог», система підтримки рішень, дедуктивне, індуктивне, гібридне машинне навчання.

THE NEW (SECOND) BIRTH OF THE “PROLOG” LANGUAGE IN THE CONTEXT OF DECISION SUPPORT SYSTEMS

Abstract. Artificial intelligence and machine learning have a significant share in modern information technologies and provide a wide range of tools: from expert systems to neural networks. Their implementation requires a specific environment and appropriate software. One of the programming languages suitable for this is the Prologue language. At the same time, there are serious risks of errors when using this software. Differentiation of management tasks in such complex socio - organizational and technical systems as artificial intelligence is discussed. The article provides a comprehensive analysis and understanding of the meaning of the Prologue language in the decision support system (DSS) and establishes its place in this agglomeration. In this regard, the need to create a new generation of DSS is justified. In the context of this goal, the prospects of using DSS for strategic decision-making in deductive learning in comparison with inductive learning are shown. It is proved that DSS is becoming such a strategic technology. It uses deductive learning, which, when using the Prologue language in the process of forming artificial intelligence systems, creates maximum transparency and gives validity in decision-making. Attention is focused on why the Prologue language should become a promising language for AI/ML systems. The concept of hybrid DSS is also proposed, combining the advantages of both systems. Such a system allowsyou to make decisions at different levels, benefiting from systems with inductive learning at the tactical level and deductive systems at the strategic level of decision-making.

Key words: artificial intelligence, "Prolog", decision support system, deductive, inductive, hybrid machine learning.

Актуальність проблеми. Натепер отримали широке поширення системи підтримки прийняття рішень (Decision Support Systems - DSS) різного класу, основним призначенням яких є збір інформації з поставленої проблеми вимагає вирішення, вироблення і аналіз можливих альтернатив рішення для полегшення прийняття рішень у складних соціально- та організаційно-технічних системах (СОТС). До такого класу, наприклад, належать системи управління розумним містом Alibaba's City Brain [1]. Збір та аналіз інформації в СОТС тісно пов'язаний з такими сферами знань, як датамайнінг, Big Data, системи штучного інтелекту (Artificial Intelligence - AI) і машинне навчання (Machine Learning - ML). Оскільки даних збирається найчастіше більше, ніж може бути оброблено вручну або в напівавтоматизованому режимі, в DSS достатньо широко використовуються системи аналізу даних на основі ML.

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

Метою статті є встановлення місця і осмислення значення мови «Пролог» в системі підтримки прийняття рішень.

Аналіз останніх досліджень і публікацій. В роботі [2] йдеться про те, яким чином впроваджують глибинне навчання, коли алгоритм здатний самостійно визначати набір ознак для розрізнення різних категорій даних. Втручання людини при обробці даних не потрібно, що відкриває набагато більше можливостей при написанні програм щодо систем AI. Існує певний процедурний підхід який дозволяє розглядати цільове твердження програми, як виклик однієї процедури, або як послідовність викликів кількох процедур користувача та стандартних. Послідовність викликів процедур задається порядком запису цілей у кон'юнкції. Аргументи цільових тверджень трактуються як фактичні параметри процедур. Умовні твердження програми та факти, що записані одним предикатом так і називають процедурою. Тіло може містить виклики інших процедур, які виконують необхідні для основної процедури дії, одержують дані з фактів тощо. Якщо умовне твердження має кілька гілок умов, то процедура розгалужується. У кожній гілці є одна або кілька поточних цілей, які задають умови виконання гілки. Такі цілі розташовують на початку гілки, інші поточні цілі гілки виконують необхідні за умовами дії або викликають інші процедури, що виконуватимуть необхідні дії. Серед поточних цілей гілок можуть заходиться виклики процедур до себе, тобто процедура може виконувати дії, які повторюються рекурсивно. Тут доречними стає використання індуктивних та дедуктивних систем ML, які визначаються як найбільш розповсюджені. Індуктивне навчання (навчання за прецедентами) використовує навчальну вибірку (базу даних прецедентів з відомими виходами) з якої різними шляхами можуть бути отримані емпіричні правила передбачення результатів за цією вибіркою. У такому навчанні виділяють приблизно десять основних базових алгоритмів, а саме: k-Means - найбільш популярний метод кластеризації, який прагне мінімізувати сумарне квадратичне відхилення точок кластерів від центрів цих кластерів, SVM - метод опорних векторів - алгоритми навчання з учителем для завдань класифікації та регресійного аналізу, C4.5 - алгоритм для побудови дерев рішень, розроблений Джоном Квінлою Apriori, EM, PceRank, AdaBoost, kNN, наївний баєсівський класифікатор, CART [3; 4]. Перевагою індуктивного навчання є можливість автоматизованої обробки великих обсягів інформації майже без участі людини. Це стало однією з вирішальних переваг в цей час при впровадженні систем ML в різних областях використання DSS, оскільки в сучасних інформаційних системах кількість доступної до обробки інформації не є критичним або обмежувальним фактором - широке поширення датчиків, систем геопозиціювання і машинного зору надає величезну кількість доступних для використання даних (див. [5; 6]). Однак, все частіше звертають уваги на недоліки властиві системам ML, заснованим на індуктивних моделях навчання. Зокрема, такі системи дуже чутливі до якості навчальної вибірки - якість отриманих емпіричних закономірностей сильно залежить від відповідності навчальній вибірці ситуації в реальному світі [7]. З якістю вибірки також безпосередньо пов'язана необхідність очищення та вибору необхідних даних [8], вибір тих параметрів, які найбільшою мірою являють собою інформацію, необхідну для вироблення рішень [6] тощо. Людський фактор у таких системах хоча і неявно все ще відіграє більшу роль - з чим пов'язаний великий попит на фахівців у галузі аналізу та обробки даних (Analytics and Data Science).

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

Виклад основного матеріалу. Принциповим розумінням стало те, що в системах з дедуктивним навчанням далі треба переводити знання в формалізовану форму (символічне уявлення, системи, що породжують правила, фрейми, графи, дерева, асоціативні мережі тощо) і переносяться в базу знань. Так, у роботі [6] виділяються такі стадії набуття знань:

• ідентифікація - аналіз основних характеристик проблеми,

• концептуалізація - розробка концепції представлення знань,

• формалізація - розробка структури організації знань,

• реалізація - формулювання правил, що містять в собі знання.

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

На відміну від першої категорії систем, системи з дедуктивним навчанням вимагають наявності відразу декількох кваліфікованих фахівців (експерта, інженера по роботі зі знаннями), а сам процес передачі знань вибудовується досить трудомістко. Тому, системи DSS, що використовують дедуктивні системи AI/ML в якийсь момент відійшли на другий план, поступившись місцем індуктивним системам, як простішим і таким, що не вимагає високої кваліфікації персоналу, а значить дешевшим і простішим у впровадженні. Однак стало помітним, що намітилося зростання інтересу саме до цього класу систем, що пов'язано з все більшою роллю, яку DSS почали грати в процесі планування й управління великомасштабними СОТС. Категоріальна диференціація завдань з управління СОТС. Не всі рішення, які потребують використання DSS потребують максимально швидкої реакції. Якщо прийняти в якості критеріїв використання методів прийняття рішень час на пошук рішення і ймовірність безпомилкового рішення, то в підтримці прийняття рішень у реальному світ можна виділити дві основних категорії, два умовних «полюси» прийняття рішень. Якщо розглянути проблему управління і прийняття рішень для такої СОТС, як міська інфраструктура «розумного міста» (smart city), то можна виділити в ній дві принципово різні категорії завдань з прийняття рішень [9; 10]. До першої категорії належать завдання, що потребують швидкої реакції. Прийнятним прикладом є завдання управління дорожнім рухом. Це завдання вимагає швидкої реакції - інтелектуальна транспортна система (ITS) повинна відстежувати і реагувати на завдання і проблеми, що виникають і потребують вирішення в режимі реального часу: аналіз дорожньо-транспортних пригод, керування транспортними потоками в умовах перевантаження, супровід службових машин прогнозування ймовірності виникнення аварій з використанням алгоритмів великих даних тощо. Наприклад, використання системи ET City Brain в регіоні Ханчжоу Сяошань дозволило відмовитися від поліцейського ескорту для машин швидкої допомоги при русі в умовах заторів. Система прогнозує обстановку на вулицях ще до виїзду швидкої допомоги, визначає оптимальну траєкторію руху і на всьому протязі маршруту забезпечує рух наскрізною роботою світлофорів на перехрестях. Це дозволяє досягти скорочення часу реакції вдвічі [11]. У таких системах дані отримуються з різнорідних ресурсів, таких як високопродуктивні IoT-пристрої, відеодетектори і GPS. Широко використовуються методи BigData онлайн-моніторинг і моніторинг керованих систем в реальному часі. Основний прогрес в цих областях досягається в основному внаслідок збільшення і розширення можливостей обчислювальних систем, знаходження ефективних алгоритмів пошуку оптимальних рішень, скорочення часу реакції і знаходження рішення і так далі [12]. Друга категорія завдань управління міською інфраструктурою являє собою завдання довготривалого планування, в яких час реакції не є критичним, проте на перший план виходить максимальна подробиця і безпомилковість прийнятих рішень: створення та планування забудови, розвиток міської інфраструктури з урахуванням можливого забруднення повітря, планування та впровадження нових транспортних та інфраструктурних проєктів, розширення міської забудови з урахуванням зростання населення тощо. Як було сказано вище, для таких завдань характерно зміщення фокусу з часу реакції на зменшення кількості помилок, оскільки процес планування з одного боку являє собою тривалу процедуру, з іншого боку, допущені в процесі планування помилки важче виявляються, обходяться дорожче на кілька порядків і важче виявляються - що безпосередньо пов'язано з довготривалістю планування і масштабністю прийнятих рішень - якщо дорога або трубопровід прокладені в невдалому місці або з невірним урахуванням динаміки розвитку міста, виправлення помилки може обійтися вельми дорого [5; 9]. Деякі автори, безпосередньо говорять про існування різних рівнів у вирішенні завдань - зокрема про стратегічне і тактичне планування в різних областях роботи з масштабними СОТС [13] в яких повторюється поділ завдань щодо співвідношення часу на рішення до безпомилковості рішення. При цьому важливу роль відіграє не стільки час прийняття рішення, скільки можливість прийняття оптимального в даній ситуації рішення.

Необхідність DSS нового покоління. Необхідність вирішення завдань стратегічного рівня, зумовила інтерес до DSS нового покоління. У таких системах робиться акцент на поясненість рішень AI/ML і приділяється велика увага обґрунтуванню цих рішень.

У роботі [14] зазначається, що в наявних моделях ML завжди є ймовірність «катастрофічної помилки» - збою або прийняття неправильного рішення з різних причин. Це може бути, наприклад, недостовірність навчальної вибірки, на якій проводилося тренування системи. При цьому сама недостовірність може бути обумовлена різними причинами: невірним вибором вектора ознак навчальних прецедентів, невідповідністю вибірки реальному стану речей, застаріванням вибірки стосовно динамічно змінився стану речей. У результаті завжди існує ризик серйозних помилок [15] і ціна цього ризику може бути досить великою, особливо у випадку, коли система використовується для вироблення стратегічних рішень у складних СОТС. Все це зумовило необхідність розуміння поведінки ML і механізмів прийняття рішення, необхідне для аналізу потенційних збоїв, корекції поведінки та критеріїв прийняття рішень ML і так далі.

Загалом загальні ризики використання «базових моделей» (foundation models) AI/ML як з точки зору ймовірних помилок, так і з точки зору соціальних аспектів проблеми докладно розглядаються в статті [16].

Так само на подібні ризики звертають увагу і великі гравці ринку. Наприклад, у 2019 році агенція DARPA опублікувала дані про проєкт «поясненого штучного інтелекту» (explainable artificial intelligence - XAI) - основним напрямком якого, є створення нової системи, акцент в якій робиться на зрозумілість і обґрунтованість запропонованих системою рішень [17]. У XAI виділяють три основні напрямки: вивчення моделей AI/ML, які дозволяють створювати зрозумілі рішення, створення ефективних люди- но-машинних інтерфейсів і розробка психологічних принципів і моделей для підвищення ефективного розуміння таких пояснень особами залученими в процесі прийняття рішень.

У роботі [17] також проводиться диференціація вирішуваних завдань аналогічна попередньому розділу, однак тут завдання розподілені не за критерієм час-безпомилковість, а за критерієм час-поясню- ваність. Найбільш швидкодійними системами є нейронні мережі та системи глибокого навчання (Deep Learning), проте їх рішення є також найменш прозорими для користувача такою системою.

Концепція гібридної DSS. З нашого аналізу випливає, що для рішень, які приймаються в складних СОТС і потребують стратегічного підходу, все частіше потрібно не просто вироблення, а й пояснення та обґрунтування вироблюваних системою рішень. Є перспективним використання гібридної DSS, в якій генерація вихідних альтернатив на тактичному рівні може виконуватися з використанням традиційних, базових моделей, а побудова стратегічних рішень - з використанням методології XAI, а далі коригуватися і доповнюватися з використанням наявних технологій в тому числі технологій використовують дедуктивний підхід. Деякі напрацювання такого підходу наведено у статті [18].

Використання концепції гібридної DSS може дозволити працювати у двох основних режимах прийняття рішень. У режимі швидкого реагування (при невисокій точності) у випадках потребують негайної генерації можливих результатів і впливів на ситуацію DSS буде працювати в режимі «звичайної», «традиційної» системи AI/ML. За аналогією з [13] будемо називати таку систему прийняття рішень «тактичною».

У режимі повільного планування (при високій точності та прозорості результатів) «звичайний», «традиційний» режим роботи DSS буде використовуватися на вході для попередньої обробки інформації та генерації перед-альтернатив. В основному ж режимі повинні використовуватися системи з дедуктивним навчанням, а сам процес вироблення рішень налаштовуватися і відбуватися в тому числі за участю експертів та інженерів знань. При цьому DSS може використовувати для зберігання та використання знань засоби логічного та формального виводу - таким же чином, як це відбувається в системах символічних обчислень CAS Maxima або бібліотеці символічних обчислень SymPy Таким чином, процес прийняття рішень набуде необхідної прозорості та поясненості, що позитивно позначиться на точності. Тимчасові витрати на прийняття рішення зростуть, однак, з урахуванням невисокої частоти прийняття подібних рішень і ризиків, пов'язаних з помилковими рішеннями, таке співвідношення має виявитися цілком прийнятним.

Мова «Пролог» як перспективна мова систем AI/ML. Отже, з урахуванням наведеного вище можна стверджувати, що завдяки інтересу до систем XAI й дедуктивних AI/ML систем мова «Пролог» нині переживає друге народження. При цьому мається на увазі, що більшість сучасних мов програмування використовують імперативний підхід, який базується на описі алгоритму, що дозволяє досягти потрібного результату. Однак, існує альтернативний, а саме, декларативний підхід, коли замість алгоритму дій описується готовий результат, а пошук дій для досягнення результату перекладається на інструментальну базу мови програмування. Такий підхід, зокрема, характерний для мов роботи з системами управління базами даних. Наприклад, SQL-запит сам по собі не містить алгоритму вилучення даних з таблиць, він тільки описує необхідний результат («отримати зведену таблицю адрес, відсортовану по місту проживання клієнта») і умови, необхідні для його отримання («поєднати таблиці клієнтів та їх адрес за загальним ключем клієнта»). Парадигма декларативного підходу добре підходить для користувачів, які не є фахівцями в предметній галузі, і отримала широке поширення за межами програмування як такого [19].

Пролог також використовує декларативний підхід і роботу в парадигмі логічного програмування з використанням логіки предикатів. Логічна нотація Прологу заснована на обчисленні предикатів першого порядку (часто званому просто - «логікою першого порядку», яка допускає висловлювання щодо змінних, фіксованих функцій і предикатів) [20].

Це полегшує побудову на його основі систем DSS і робить її перспективною мовою для побудови нової гібридної системи DSS для прийняття стратегічних рішень для управління складною СОТС.

Старі версії «Прологу» були орієнтовані в основному на академічні та фундаментальні дослідження, що зумовило репутацію мови, як суто академічного інструменту. Однак, сучасні версії мови (зокрема - SWI-Prolog) володіють усім необхідним набором інструментів. Наприклад, до його складу входить безліч розширень і бібліотек, для роботи з багатопотоковими завданнями, шифруванням, такими як TCP/IP, TIPC, ODBC, SGML/XML/HTML, RDF, JSON, YAML, HTTP, засобами машинної графіки тощо. SWI-Prolog дозволяє вбудовування, як у мови середнього і низького рівня (C), так і інтеграцію з мовами надвисокого рівня (Python), а також зі складними середовищами розробки і моделювання (Jupyter) при цьому вбудовування і використання може відбуватися в обидва боки: як система «Пролог» може розширяться бібліотеками мови C, так і мова C може бути розширена коштом інструментів написаних на мові «Пролог».

Висновки та перспективи подальших досліджень. Таким чином, цифровізація прийняття рішень, що розширюється, і використання систем підтримки рішень (в процесах прийняття стратегічних рішень вимагають іншого підходу до прийняття рішень, ніж прийнятий у конвенційних DSS, здебільшого заснованих на індуктивному навчанні. Таким підходом може стати як створення дедуктивної «стратегічної» DSS, що використовує дедуктивне навчання і максимальну прозорість і обґрунтованість прийняття рішення, так і пропонована в статті концепція гібридної DSS, що поєднує в собі переваги обох систем. Така система дозволить приймати рішення на різних рівнях, отримуючи вигоди від систем з індуктивним навчанням на тактичному рівні та дедуктивних систем на стратегічному рівні прийняття рішень.

інформаційні технології мова пролог прийняття рішення

Список використаних джерел:

1. Caprotti F., Liu D. Platform urbanism and the Chinese smart city: The co-production and territorialisation of hangzhou city brain // GeoJournal. - Springer, 2020. - P. 1-15.

2. Василенко М. Д., Шевченко Т.В. Застосування штучного інтелекту в публічному управлінні, судочинстві та правоохоронній діяльності: міждисциплінарне дослідження. Право і суспільство. 2021. № 5. С. 148-154.

3. Wu X., Kumar V, Quinlan J. R., Ghosh J., Yang Q., Motoda H., McLachlan G. J., Ng A., Liu B., Philip S. Y., others. Top 10 algorithms in data mining // Knowledge and information systems. - Springer, 2008. - Vol. 14, no. 1. - P. 1-37.

4. SettoutiN., Bechar M. E. A., Chikh M. A. Statistical comparisons of the top 10 algorithms in data mining for classification task // International Journal of Interactive Multimedia and Artificial Intelligence. - 2016. - Vol. 4, no. 1. - P. 46-51.

5. Jordan M. I., Mitchell T. M. Machine learning: Trends, perspectives, and prospects // Science. - American Association for the Advancement of Science, 2015. - Vol. 349, No. 6245. - P. 255-260.

6. Jackson P. Introduction to expert systems. - Addison-Wesley Pub. Co., Reading, MA, 1986.

7. Kuwajima H., Yasuoka H., Nakae T. Engineering problems in machine learning systems // Machine Learning. - Springer Science; Business Media LLC, 2020. - Vol. 109, no. 5. - P. 1103-1126.

8. McCallum Q. E. Bad data handbook: Cleaning up the data so you can get back to work. - " O'Reilly Media, Inc.", 2012.

9. Hadi Amini M., Shafie-khah M. Cyberphysical smart cities infrastructures: Optimal operation and intelligent decision making / 1st ed. - Wiley, 2022.

10. Ahmad K., Maabreh M., Ghaly M., Khan K., Qadir J., Al-Fuqaha A. Developing future human-centered smart cities: Critical analysis of smart city security, data management, and ethical challenges // Computer Science Review. - Elsevier BV, 2022. - Vol. 43. - P. 100452.

11. Jazzyear. The Chronicles of Cloud Building in Hangzhou: Part 2 / Alibaba Cloud Community. - 2020.

12. Usman M., Jan M. A., He X., Chen J. A survey on big multimedia data processing and management in smart cities // ACM Computing Surveys (CSUR). - ACM New York, NY, USA, 2019. - Vol. 52, no. 3. - P. 1-29.

13. Perez A. T E., Camargo M., Rincon P. C. N., Marchant M. A. Key challenges and requirements for sustainable and industrialized biorefinery supply chain design and management: A bibliographic analysis // Renewable and Sustainable Energy Reviews. - Elsevier BV, 2017. - Vol. 69. - P. 350-359.

14. Ignatiev A. Towards trustable explainable AI / IJCAI. - 2020.

15. Szegedy C., Zaremba W, Sutskever I., Bruna J., Erhan D., Goodfellow I., Fergus R. Intriguing properties of neural networks // arXiv preprint arXiv:1312.6199. - 2013.

16. Bommasani R., Hudson D. A., Adeli E., Altman R., Arora S., et,al.On the opportunities and risks of foundation models. - 2021.

17. Gunning D., Aha D. DARPA's explainable artificial intelligence (XAI) program // AI Magazine. - Association for the Advancement of Artificial Intelligence (AAAI), 2019. - Vol. 40, no. 2. - P. 44-58.

18. Honda H., Hagiwara M. Analogical reasoning with deep learning-based symbolic processing // IEEE Access. - Institute of Electrical; Electronics Engineers (IEEE), 2021. - Vol. 9. - P. 121859-121870.

19. Flach P., Sokol K. Simply logical: Intelligent reasoning by example - online edition. - Zenodo, 2018.

20. Wielemaker J., Schrijvers T., Triska M., Lager T. SWI-Prolog // Theory and Practice of Logic Programming. - 2012. - Vol. 12, no. 1-2. - P. 67-96.

Размещено на Allbest.ru

...

Подобные документы

  • Комп’ютерні інформаційні системи СППР (системи підтримки прийняття рішень). Призначення, переваги, компоненти, архітектура. Приклади використовуваних СППР, їх основні види і опис. Нейронні мережі та СППР. Чинники, які сприяють сприйняттю і поширенню СППР.

    курсовая работа [323,7 K], добавлен 28.12.2010

  • Знайомство з системами підтримки прийняття рішень (СППР) та їх використання для підтримки прийняття рішень при створенні підприємства по торгівлі біжутерією з Азії. Вибір приміщення для розташування торговельного залу в пакеті "Prime Decisions".

    лабораторная работа [4,2 M], добавлен 08.07.2011

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

    курс лекций [99,7 K], добавлен 06.07.2011

  • Проблеми при розробленні автоматизованих систем управління в банку. Сутність, загальні риси та відмінності серії стандартів MRP та MRPII. Види технологічного процесу автоматизованої обробки економічної інформації. Системи підтримки прийняття рішень.

    контрольная работа [32,8 K], добавлен 26.07.2009

  • Живучість в комплексі властивостей складних систем. Моделі для аналізу живучості. Аналіз електромагнітної сумісності. Характер пошкоджень елементної бази інформаційно-обчислювальних систем. Розробка алгоритму, баз даних та модулів програми, її тестування.

    дипломная работа [151,5 K], добавлен 11.03.2012

  • Характеристика розробленого програмного забезпечення. Мета й призначення, загальні вимоги до розробки. Інтелектуальні системи, засновані на знаннях. Проблемні області та їхні властивості. Характеристики середовища Delphi та об`єктно-орієнтованої мови.

    дипломная работа [1,4 M], добавлен 22.10.2012

  • Огляд переваг та недоліків мови Пролог, історія її створення. Числення предикатів як математична основа її функціонування. Порівняльна характеристика середовищ програмування Prolog. Алгоритми розв’язування математичних задач за допомогою цієї мови.

    курсовая работа [504,5 K], добавлен 23.12.2014

  • Планування цілеспрямованих дій і прийняття рішень. Характеристика методу повного перебору - універсального методу вирішення оптимізаційних задач, якщо множина допустимих рішень обмежена. Експоненційна складність евристичного пошуку. Складність алгоритмів.

    реферат [62,2 K], добавлен 13.06.2010

  • Розподіл коштів між підприємствами таким чином, щоб досягнути виробництва 20 або більше товарів за мінімальними коштами фонду. Складання таблиці даних в середовищі системи Exel. Заповнення вікна "Пошук рішення". Заповнення вікна-запиту, звіт результатів.

    контрольная работа [1,2 M], добавлен 19.06.2014

  • Розробка системи підтримки прийняття рішень для проектування комп’ютерної мережі. Матричний алгоритм пошуку найменших шляхів. Програма роботи алгоритму в MS Excel. Розробка програми навчання нейронної мережі на основі таблиць маршрутизації в пакеті Excel.

    курсовая работа [2,8 M], добавлен 12.12.2013

  • Класифікація інформаційних систем. Дослідження особливостей мови UML як засобу моделювання інформаційних систем. Розробка концептуальної моделі інформаційної системи поліклініки з використанням середи редактора програмування IBM Rational Rose 2003.

    дипломная работа [930,4 K], добавлен 26.10.2012

  • Ханойские башни: постановка задачи, условия перемещения дисков со стержня на стержень. Стратегия решения, используемые предикаты. Текст программы на языке Пролог. Построение модели решения задачи о ферзях. Примеры использования списков в языке Пролог.

    презентация [72,0 K], добавлен 29.07.2012

  • Аспекти вирішення методологічної та теоретичної проблеми проектування інтелектуальних систем керування. Базовий алгоритм навчання СПР за методом функціонально-статистичних випробувань. Критерій оптимізації та алгоритм екзамену системи за цим методом.

    курсовая работа [1,6 M], добавлен 22.09.2011

  • Ознакомление с методами разработки экспертных систем, предназначенных для обобщения, хранения, использования знаний и опыта, накопленного специалистами в конкретных предметных областях. Проектирование программы на языке Пролог, ее отладка и тестирование.

    курсовая работа [69,6 K], добавлен 12.05.2013

  • Стан і перспективи розвитку інформаційних систем керування бізнесом. Архітектура корпоративних інформаційний систем (КІС). Інструментальні засоби їх розробки і підтримки. Методи створення автоматизованих інформаційних систем. Система управління ЕRP.

    лекция [1,5 M], добавлен 23.03.2010

  • Обзор образовательных стандартов педагогического образования в области искусственного интеллекта. Построение модели предметной области в виде семантических сетей. Характеристика проблемного обучения. Основные средства языка программирования Пролог.

    дипломная работа [387,8 K], добавлен 01.10.2013

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

    реферат [61,9 K], добавлен 25.11.2010

  • Застосування нейронних мереж при вирішенні різних технічних проблем. Архітектура штучних нейронних мереж. Дослідження штучного інтелекту. Гіпотеза символьних систем. Представлення за допомогою символів. Синтаксичний та семантичний аналіз розуміння мови.

    курсовая работа [985,8 K], добавлен 14.01.2010

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

    контрольная работа [21,3 K], добавлен 07.02.2011

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

    курсовая работа [5,3 M], добавлен 12.11.2011

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.