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

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

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

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

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

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

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

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

Обоснована целесообразность применения бионического подхода к организации вычислений в системах искусственного интеллекта с учетом фактора нечеткости предъявления исходных данных. Изложены математические основы бионического подхода; обсуждены результаты объединения возможностей вычислительных процедур в рамках концепций цифровых и аналоговых вычислений.

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

Виразні можливості метамови представлення знань нормальними формами понять, що безпосередньо інтерпретується апаратним процесором машини баз знань, досліджено відносно її використання для викладення формальних мов.

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

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

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

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

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

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

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

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

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