Повнота секвенційних числень модальних логік немонотонних часткових предикатів
Для чистих першопорядкових композиційно-номінативних модальних логік часткових немонотонних предикатів побудовано числення секвенційного типу. Описано різновиди цих числень, для них вказано базові секвенційні форми та умови замкненості секвенцій, доведено їх коректність і повноту. Доведення теореми...
Збережено в:
| Дата: | 2016 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2016
|
| Назва видання: | Штучний інтелект |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/132074 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Повнота секвенційних числень модальних логік немонотонних часткових предикатів / О.С. Шкільняк, В.С. Касьянюк, Л.М. Малютенко // Штучний інтелект. — 2016. — № 3. — С. 92-102. — Бібліогр.: 7 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-132074 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1320742018-04-11T03:03:26Z Повнота секвенційних числень модальних логік немонотонних часткових предикатів Шкільняк, О.С. Касьянюк, В.С. Малютенко, Л.М. Теорія та засоби обчислювального інтелекту Для чистих першопорядкових композиційно-номінативних модальних логік часткових немонотонних предикатів побудовано числення секвенційного типу. Описано різновиди цих числень, для них вказано базові секвенційні форми та умови замкненості секвенцій, доведено їх коректність і повноту. Доведення теореми повноти опирається на теорему про існування контрмоделі для незамкненого шляху в секвенційному дереві, для її побудови використано метод систем модельних множин. In this paper we construct sequent calculi for pure first-order composition nominative modal logics of partial non-monotone predicates. We specify various variants of the introduced calculi, their basic sequent forms and sequent closure conditions. The proof of the completeness theorem is based on the theorem about existence of a counter-model for a non-closed path in a sequent tree; the counter-model is obtained using the Hintikka sets method. 2016 Article Повнота секвенційних числень модальних логік немонотонних часткових предикатів / О.С. Шкільняк, В.С. Касьянюк, Л.М. Малютенко // Штучний інтелект. — 2016. — № 3. — С. 92-102. — Бібліогр.: 7 назв. — укр. 1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/132074 004.42:510.69 uk Штучний інтелект Інститут проблем штучного інтелекту МОН України та НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Теорія та засоби обчислювального інтелекту Теорія та засоби обчислювального інтелекту |
| spellingShingle |
Теорія та засоби обчислювального інтелекту Теорія та засоби обчислювального інтелекту Шкільняк, О.С. Касьянюк, В.С. Малютенко, Л.М. Повнота секвенційних числень модальних логік немонотонних часткових предикатів Штучний інтелект |
| description |
Для чистих першопорядкових композиційно-номінативних модальних логік часткових немонотонних предикатів побудовано числення секвенційного типу. Описано різновиди цих числень, для них вказано базові секвенційні форми та умови замкненості секвенцій, доведено їх коректність і повноту. Доведення теореми повноти опирається на теорему про існування контрмоделі для незамкненого шляху в секвенційному дереві, для її побудови використано метод систем модельних множин. |
| format |
Article |
| author |
Шкільняк, О.С. Касьянюк, В.С. Малютенко, Л.М. |
| author_facet |
Шкільняк, О.С. Касьянюк, В.С. Малютенко, Л.М. |
| author_sort |
Шкільняк, О.С. |
| title |
Повнота секвенційних числень модальних логік немонотонних часткових предикатів |
| title_short |
Повнота секвенційних числень модальних логік немонотонних часткових предикатів |
| title_full |
Повнота секвенційних числень модальних логік немонотонних часткових предикатів |
| title_fullStr |
Повнота секвенційних числень модальних логік немонотонних часткових предикатів |
| title_full_unstemmed |
Повнота секвенційних числень модальних логік немонотонних часткових предикатів |
| title_sort |
повнота секвенційних числень модальних логік немонотонних часткових предикатів |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| publishDate |
2016 |
| topic_facet |
Теорія та засоби обчислювального інтелекту |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/132074 |
| citation_txt |
Повнота секвенційних числень модальних логік немонотонних часткових предикатів / О.С. Шкільняк, В.С. Касьянюк, Л.М. Малютенко // Штучний інтелект. — 2016. — № 3. — С. 92-102. — Бібліогр.: 7 назв. — укр. |
| series |
Штучний інтелект |
| work_keys_str_mv |
AT škílʹnâkos povnotasekvencíjnihčislenʹmodalʹnihlogíknemonotonnihčastkovihpredikatív AT kasʹânûkvs povnotasekvencíjnihčislenʹmodalʹnihlogíknemonotonnihčastkovihpredikatív AT malûtenkolm povnotasekvencíjnihčislenʹmodalʹnihlogíknemonotonnihčastkovihpredikatív |
| first_indexed |
2023-10-18T21:03:34Z |
| last_indexed |
2023-10-18T21:03:34Z |
| _version_ |
1796151816653635584 |