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

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

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

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

Індекс рубрикатора НБУВ: В128 + Ю433

Рубрики:

Некласичні логічні системи

Логіка предикатів. Квантифікація

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

Індекс рубрикатора НБУВ: В128.2

Рубрики:

Багатозначна логіка

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

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

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

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

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

Наведено бібліографічний покажчик вітчизняних і зарубіжних наукових джерел з питань квантової логіки за період 1934 - 2004 рр.

Приведен библиографический указатель отечественных и зарубежных научных источников по вопросам квантовой логики за 1934 - 2004 гг.

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

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

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

Викладено засади теорії нечітких множин (НМ) і особливості її застосування, наведено елементи теорії морфізмів і категорій, топологічних просторів, грат. Визначено основні типи нечітких бінарних відношень, розкрито суть понять НМ на підставі теорії Гогена, мережі нечітких елементів, а також нечітких морфіз і категорій.

Изложены основы теории нечетких множеств (НМ) и особенности ее применения, приведены элементы теории морфизмов и категорий, топологических пространств, решеток. Определены основные типы нечетких бинарных отношений, раскрыта сущность понятий НМ на основе теории Гогена, сети нечетких элементов, а также нечетких морфоз и категорий.

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

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

Індекс рубрикатора НБУВ: В128.1

Рубрики:

Модальна логіка

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

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

Індекс рубрикатора НБУВ: В128.3

Рубрики:

Нечітка логіка

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

Індекс рубрикатора НБУВ: В128

Рубрики:

Некласичні логічні системи

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

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

Індекс рубрикатора НБУВ: В128.3

Рубрики:

Нечітка логіка

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

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