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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Компьютерная математика
Дата:	2013
Автор:	Шкільняк, О.С.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Математичне та програмне забезпечення задач обробки експертної інформації при проведенні іспитів
за авторством: Гнатієнко, Г.М., та інші
Опубліковано: (2010)

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

Моделі динаміки показників модальних штучних соснових деревостанів Лівобережного Лісостепу України
за авторством: Pasternak, V. P., та інші
Опубліковано: (2024)

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

Объективизация нечетких классификационных моделей формирования межпредметных связей
за авторством: Ватлин, С.И., та інші
Опубліковано: (2010)

Синтез экспертной системы оценки тяжести протекания вирусного гепатита
за авторством: Селякова, С.М.
Опубліковано: (2013)