Розглянуто використання логічного програмування мовою Prolog для розробки систем автоматизованого проектування пристроїв ASIC (спеціалізованих інтегральних схем) на базі досвіду, набутого під час розробки системи CAD-LOGIC. Описано використання мови Prolog на прикладах, що ілюструють евристичне спрощення логічних функцій за допомогою булевої алгебри, символьного перетворення логічних послідовностей та декомпозиції опису моделі, заданого у вигляді послідовностей у підмножинах, які реалізовано структурами PAL.

Представлено основні конструкції та типи даних нової мови програмування ФОЛІ, наведено формальний опис його ядра. Розглянуто можливість використання ФОЛІ як внутрішньої мови високого рівня в інтелектуальних комп'ютерних системах.

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

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

Рассмотрены методы проектирования символьных процессоров, математическая модель которых дана в виде рекурсивного автомата с программируемой логикой. Анализ и синтез символьных процессоров произведены по единой методологии и теории проектирования, в основе которых лежат разработанная рекурсивная система интерпретированных алгоритмических алгебр и алгебра рекурсивных событий.

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

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

Запропоновано відмінні від DOL-систем механізми побудови безкубного слова, засобами логічного програмування описано генератор, що моделює процес виведення в довільних граматиках.

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

Існують різноманітні засоби щодо організації великої кількості програмних агентів для їх сумісної роботи і виконання складних дій. Розглянуто засоби побудови систем, засновані на агентних принципах і можливості використання традиційних теорій проектування організацій, відносно до програмних агентів.

В данной статье рассматривается программный комплекс, решающий задачу принятия решений при нечетких входных данных. Особое внимание уделяется описанию предметной области. Комплекс разработан в 1997-98 гг. на кафедре Информатики и ПО АС Харьковского авиационного института им. Н.Е. Жуковского.

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

Розглянуто загальні відомості щодо логічного програмування. Висвітлено основні елементи мови Пролог: алфавіт мови, типи даних, а також арифметику. Запропоновано загальну схему доказу цільових тверджень та управління механізмом повернення. Значну увагу приділено основним стратегіям розв'язання задач, евристичному пошуку, експертним системам та іграм.

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

Рассмотрены основы логики предикатов первого порядка. Дано описание языка логического программирования Пролог. Раскрыты возможности его использования при разработке систем искусственного интеллекта.

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

Розглянуто питання логічного програмування. Надано основні теоретичні відомості про динамічні бази даних Прологу (мови, що реалізує логічне програмування), розкрито особливості створення та видалення фактів у динамічних базах, проблеми взаємодії динамічних баз з зовнішніми файлами. Увагу приділено побудові експертних систем і схемі розв'язання задач оптимізації в Пролозі.

Рассмотрены вопросы логического программирования. Даны основные теоретические сведения о динамических базах Пролога (языка, реализующего логическое программирование), раскрыты особенности создания и удаления фактов в динамических базах, проблемы взаимодействия динамических баз с внешними файлами. Уделено внимание построению экспертных систем и схеме решения задач оптимизации в Прологе.

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

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

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

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