Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Компьютерная математика
Datum:	2013
1. Verfasser:	Шкільняк, О.С.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2013
Schlagworte:	Экспертные системы, методы индуктивного вывода
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/84739
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Семантичні моделі та секвенційні числення транзиційних модальних логік / О.С. Шкільняк // Компьютерная математика. — 2013. — № 1. — С. 141-150. — Бібліогр.: 6 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Секвенційні системи логічного виведення першопорядкових логік часткових предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2013)

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

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

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

Применение аппарата байесовских сетей для анализа рынка валют
von: Гупал, Н.А., et al.
Veröffentlicht: (2010)

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

Агрегация линейных регрессионных моделей и систем нечетких правил
von: Нечуйвитер, С.Н.
Veröffentlicht: (2012)

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

Розробка експертних систем заснованих на знаннях
von: Катеринич, Л.О.
Veröffentlicht: (2013)

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

Исследование элементов OLAP-решений на реляционном каркасе
von: Панченко, Б.Е., et al.
Veröffentlicht: (2013)

Упрощенное представление пространственной структуры белка в виде карты контактов
von: Быць, А.В.
Veröffentlicht: (2009)

Деякі підходи до побудови систем, заснованих на знаннях
von: Катеринич, Л.О., et al.
Veröffentlicht: (2012)

Процедура распознавания на байесовских сетях
von: Вагис, А.А.
Veröffentlicht: (2010)

Об адекватности оценок конкурентоспособности на основе мультимножеств
von: Рясная, И.И., et al.
Veröffentlicht: (2012)

Ярусный подход к представлению байесовских сетей
von: Веревка, О.В., et al.
Veröffentlicht: (2010)

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

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

Применение байесовской процедуры распознавания для прогнозирования динамики курсов акций
von: Гупал, Н.А., et al.
Veröffentlicht: (2009)

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

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

Секвенційні числення логік безкванторно-функціональних рівнів
von: Шкільняк, С.С., et al.
Veröffentlicht: (2016)

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

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

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

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

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

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

Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2020)

Повнота секвенційних числень модальних логік немонотонних часткових предикатів
von: Шкільняк, О.С., et al.
Veröffentlicht: (2016)

Семантичні властивості логік загальних недетермінованих предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2017)

Семантичні властивості п’ятизначних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)

До питання про цифрові моделі ґрунтів
von: Крячок, О.С., et al.
Veröffentlicht: (2014)

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

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

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

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

Метод критических дисперсий как аналитический аппарат теории индуктивного моделирования
von: Степашко, В.С.
Veröffentlicht: (2008)

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

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