Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти
Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Вони є синтезом класичних першопорядкових логік та композиційно-номінативних логік квазіарних предикатів. Описано мови і наведено се манти- чні властивості пропо...
Збережено в:
| Дата: | 2016 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2016
|
| Назва видання: | Штучний інтелект |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/132045 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти / М.С. Нікітченко, С.С. Шкільняк // Штучний інтелект. — 2016. — № 2. — С. 18-27. — Бібліогр.: 7 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-132045 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1320452018-04-11T03:02:49Z Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти Нікітченко, М.С. Шкільняк, С.С. Концептуально-теоретичні проблеми штучного інтелекту і моделювання Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Вони є синтезом класичних першопорядкових логік та композиційно-номінативних логік квазіарних предикатів. Описано мови і наведено се манти- чні властивості пропонованих логік. Для формалізації відношень неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку побудовано низку числень секвенційного типу. A new class of program-oriented logics is proposed – pure first-order logics with quasiary and n-ary predicates. They integrate classical first-order logics and composition-nominative logics of quasiary predicates. Logics languages are described and their semantic properties are formulated. Sequent calculi are built for irrefutability, truth, falsity, and strong consequence relations. 2016 Article Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти / М.С. Нікітченко, С.С. Шкільняк // Штучний інтелект. — 2016. — № 2. — С. 18-27. — Бібліогр.: 7 назв. — укр. 1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/132045 004.42:510.69 uk Штучний інтелект Інститут проблем штучного інтелекту МОН України та НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Концептуально-теоретичні проблеми штучного інтелекту і моделювання Концептуально-теоретичні проблеми штучного інтелекту і моделювання |
| spellingShingle |
Концептуально-теоретичні проблеми штучного інтелекту і моделювання Концептуально-теоретичні проблеми штучного інтелекту і моделювання Нікітченко, М.С. Шкільняк, С.С. Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти Штучний інтелект |
| description |
Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Вони є синтезом класичних першопорядкових логік та композиційно-номінативних логік квазіарних предикатів. Описано мови і наведено се манти- чні властивості пропонованих логік. Для формалізації відношень неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку побудовано низку числень секвенційного типу. |
| format |
Article |
| author |
Нікітченко, М.С. Шкільняк, С.С. |
| author_facet |
Нікітченко, М.С. Шкільняк, С.С. |
| author_sort |
Нікітченко, М.С. |
| title |
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_short |
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_full |
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_fullStr |
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_full_unstemmed |
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_sort |
логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| publishDate |
2016 |
| topic_facet |
Концептуально-теоретичні проблеми штучного інтелекту і моделювання |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/132045 |
| citation_txt |
Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти / М.С. Нікітченко, С.С. Шкільняк // Штучний інтелект. — 2016. — № 2. — С. 18-27. — Бібліогр.: 7 назв. — укр. |
| series |
Штучний інтелект |
| work_keys_str_mv |
AT níkítčenkoms logíkiízkvazíarnimitanarnimipredikatamisemantičnítasintaksičníaspekti AT škílʹnâkss logíkiízkvazíarnimitanarnimipredikatamisemantičnítasintaksičníaspekti |
| first_indexed |
2023-10-18T21:03:30Z |
| last_indexed |
2023-10-18T21:03:30Z |
| _version_ |
1796151813680922624 |