Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	Компьютерная математика
Дата:	2013
ISSN:	ХХХХ-0003
Автор:	Шкільняк, О.С.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2013
Теми:	Экспертные системы, методы индуктивного вывода
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/84739
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Семантичні моделі та секвенційні числення транзиційних модальних логік / О.С. Шкільняк // Компьютерная математика. — 2013. — № 1. — С. 141-150. — Бібліогр.: 6 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

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

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

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

Нечіткі булеві змінні та їх застосування
за авторством: Провотар, О.О.
Опубліковано: (2015)

Применение аппарата байесовских сетей для анализа рынка валют
за авторством: Гупал, Н.А., та інші
Опубліковано: (2010)

О логике независимости каузальных диаграмм
за авторством: Балабанов, А.С.
Опубліковано: (2009)

Агрегация линейных регрессионных моделей и систем нечетких правил
за авторством: Нечуйвитер, С.Н.
Опубліковано: (2012)

Метод аналізу суперечливостей інформаційних станів у нечітких байєсівських мережах
за авторством: Єршов, С.В., та інші
Опубліковано: (2016)

Розробка експертних систем заснованих на знаннях
за авторством: Катеринич, Л.О.
Опубліковано: (2013)

Матричний підхід розрахунку вартості виробництва
за авторством: Хорозов, О.А.
Опубліковано: (2013)

Исследование элементов OLAP-решений на реляционном каркасе
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2013)

Упрощенное представление пространственной структуры белка в виде карты контактов
за авторством: Быць, А.В.
Опубліковано: (2009)

Деякі підходи до побудови систем, заснованих на знаннях
за авторством: Катеринич, Л.О., та інші
Опубліковано: (2012)

Процедура распознавания на байесовских сетях
за авторством: Вагис, А.А.
Опубліковано: (2010)

Об адекватности оценок конкурентоспособности на основе мультимножеств
за авторством: Рясная, И.И., та інші
Опубліковано: (2012)

Ярусный подход к представлению байесовских сетей
за авторством: Веревка, О.В., та інші
Опубліковано: (2010)

Наилучшая чебышевская аппроксимация для сжатия численной информации
за авторством: Каленчук-Порханова, А.А., та інші
Опубліковано: (2009)

Учет недетерминированных свидетельств при апостериорном оценивании в нечетких байесовских сетях
за авторством: Веревка, О.В.
Опубліковано: (2011)

Применение байесовской процедуры распознавания для прогнозирования динамики курсов акций
за авторством: Гупал, Н.А., та інші
Опубліковано: (2009)

Деякі питання реалізації експертної діагностичної системи
за авторством: Провотар, О.О.
Опубліковано: (2015)

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

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

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

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

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

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

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)

Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2020)

Повнота секвенційних числень модальних логік немонотонних часткових предикатів
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2016)

Семантичні властивості логік загальних недетермінованих предикатів
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2017)

Семантичні властивості п’ятизначних логік
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)

До питання про цифрові моделі ґрунтів
за авторством: Крячок, О.С., та інші
Опубліковано: (2014)

Відбір та вимірювання параметрів інформаційної моделі школи
за авторством: Григорович, В.Г.
Опубліковано: (2012)

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

Ієрархія композиційно-номінативних логік
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)

Метод критических дисперсий как аналитический аппарат теории индуктивного моделирования
за авторством: Степашко, В.С.
Опубліковано: (2008)

Модель представлення знань в адаптивній системі дистанційного навчання та контролю знань «EduPRO»
за авторством: Федорук, П.І., та інші
Опубліковано: (2011)

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

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

Моделирование в классе систем регрессионных уравнений со случайными коэффициентами в условиях структурной неопределенности
за авторством: Сарычев, А.П.
Опубліковано: (2008)