Cover Image

Повнота секвенційних числень модальних логік немонотонних часткових предикатів

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

Full description

Saved in:

Bibliographic Details
Published in:	Штучний інтелект
Date:	2016
Main Authors:	Шкільняк, О.С., Касьянюк, В.С., Малютенко, Л.М.
Format:	Article
Language:	Ukrainian
Published:	Інститут проблем штучного інтелекту МОН України та НАН України 2016
Subjects:	Теорія та засоби обчислювального інтелекту
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/132074
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Повнота секвенційних числень модальних логік немонотонних часткових предикатів / О.С. Шкільняк, В.С. Касьянюк, Л.М. Малютенко // Штучний інтелект. — 2016. — № 3. — С. 92-102. — Бібліогр.: 7 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
by: Шкільняк, О.С., et al.
Published: (2017)

Спектр секвенційних числень першопорядкових композиційно-номінативних логік
by: Шкільняк, С.С.
Published: (2013)

7-значнi логіки та логіки загальних недетермінованих предикатів
by: Нікітченко, М.С., et al.
Published: (2018)

Оптимальное управление нелинейным динамическим процессом с интеллектуальным прогнозированием его состояния
by: Корниенко, В.И., et al.
Published: (2015)

Модель імуносенсора на основі решітчастих диференціальних рівнянь із запізненням
by: Марценюк, В.П., et al.
Published: (2018)

Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем
by: Колчин, А.В., et al.
Published: (2015)

Семантичні моделі та секвенційні числення транзиційних модальних логік
by: Шкільняк, О.С.
Published: (2013)

Метод визначення коефіцієнта масштабування недіадного вейвлет-перетворення на основі частотного спектру
by: Чертов, О.Р., et al.
Published: (2016)

Принципи та підходи до формування ансамблів класифікаторів на підставі агрегатування їх результатів
by: Бармак, О.В., et al.
Published: (2018)

Алгоритми Машинного Навчання у контексті Великих Даних
by: Терещенко, В.М., et al.
Published: (2018)

Про комбінаторні числа та симетрію в біології
by: Тимофієва, Н.К
Published: (2018)

Testing simple neuron models with dendrites for sparse binary image representation
by: Osaulenko, V.M.
Published: (2017)

Про природу скінченних та нескінченних комбінаторних множин
by: Тимофієва, Н.К.
Published: (2017)

Швидке обчислення циклічної згортки багаторозрядних чисел на основі ШПФ у паралельній моделі обчислень
by: Терещенко, А.М., et al.
Published: (2016)

Двофазовий меметичний алгоритм забезпечення групової анонімності даних
by: Тавров, Д.Ю., et al.
Published: (2015)

Синтез оптимальної структури глибокої нейронної мережі
by: Коваль, Д.Ю., et al.
Published: (2016)

Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
by: Буй, Д.Б., et al.
Published: (2015)

Алгоритм опису яружних цільових функцій
by: Трофимчук, О.М., et al.
Published: (2015)

Побудова найкращих чебишовських наближень сплайнами
by: Вакал, Л.П.
Published: (2017)

Застосування системи ПАРКС.NET в Docker контейнерах та Google Cloud Platform для розподілених хмарних обчислень
by: Анісімов, А.В., et al.
Published: (2018)

Знакові комбінаторні простори та штучний інтелект
by: Тимофієва, Н.К.
Published: (2015)

Механизм повышения эффективности сжатия данных
by: Буза, М.К.
Published: (2016)

Параллельное сложение на основе векторных операций
by: Терещенко, А.Н., et al.
Published: (2018)

Математичні моделі задач побудови замкнених маршрутів на транспортній мережі
by: Морозов, А.В.
Published: (2015)

Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
by: Шкільняк, О.С.
Published: (2011)

Композиційно-номітативні логіки часткових та неоднозначних предикатів
by: Шкільняк, С.С.
Published: (2014)

Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
by: Нікітченко, М.С., et al.
Published: (2019)

Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
by: Шкільняк, С.С.
Published: (2012)

Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
by: Шкільняк, С.С.
Published: (2012)

Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення
by: Шкільняк, О.С.
Published: (2019)

Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю
by: Шкільняк, О.С., et al.
Published: (2022)

Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
by: Shkilniak, S.S.
Published: (2015)

Алгебри загальних недетермінованих предикатів
by: Нікітченко, М.С., et al.
Published: (2018)

Ієрархія композиційно-номінативних логік
by: Нікітченко, М.С., et al.
Published: (2004)

Відношення логічного наслідку в логіках квазіарних предикатів
by: Шкільняк, О.С.
Published: (2016)

Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
by: Шкільняк, О.С.
Published: (2019)

Використання дескриптивних логік в проблематиці WEB-сервісів
by: Захарова, О.В.
Published: (2015)

Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки
by: Шкільняк, С.С.
Published: (2012)

Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
by: Шкільняк, С.С.
Published: (2011)

Властивості відношень логічного наслідку в логіках квазіарних предикатів
by: Шкільняк, С.С.
Published: (2013)