Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти
Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Вони є синтезом класичних першопорядкових логік та композиційно-номінативних логік квазіарних предикатів. Описано мови і наведено се манти- чні властивості пропо...
Gespeichert in:
| Veröffentlicht in: | Штучний інтелект |
|---|---|
| Datum: | 2016 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут проблем штучного інтелекту МОН України та НАН України
2016
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/132045 |
| 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: | Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти / М.С. Нікітченко, С.С. Шкільняк // Штучний інтелект. — 2016. — № 2. — С. 18-27. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862743753404448768 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, С.С. |
| author_facet | Нікітченко, М.С. Шкільняк, С.С. |
| citation_txt | Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти / М.С. Нікітченко, С.С. Шкільняк // Штучний інтелект. — 2016. — № 2. — С. 18-27. — Бібліогр.: 7 назв. — укр. |
| collection | DSpace DC |
| container_title | Штучний інтелект |
| description | Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та 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.
|
| first_indexed | 2025-12-07T20:32:09Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-132045 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Ukrainian |
| last_indexed | 2025-12-07T20:32:09Z |
| publishDate | 2016 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, С.С. 2018-04-10T12:40:34Z 2018-04-10T12:40:34Z 2016 Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти / М.С. Нікітченко, С.С. Шкільняк // Штучний інтелект. — 2016. — № 2. — С. 18-27. — Бібліогр.: 7 назв. — укр. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/132045 004.42:510.69 Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та 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. uk Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Концептуально-теоретичні проблеми штучного інтелекту і моделювання Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти Logics with quasiary and N-ary predicates: semantic and syntaсtic aspects Article published earlier |
| spellingShingle | Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти Нікітченко, М.С. Шкільняк, С.С. Концептуально-теоретичні проблеми штучного інтелекту і моделювання |
| title | Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_alt | Logics with quasiary and N-ary predicates: semantic and syntaсtic aspects |
| title_full | Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_fullStr | Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_full_unstemmed | Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_short | Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| title_sort | логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти |
| topic | Концептуально-теоретичні проблеми штучного інтелекту і моделювання |
| topic_facet | Концептуально-теоретичні проблеми штучного інтелекту і моделювання |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/132045 |
| 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 AT níkítčenkoms logicswithquasiaryandnarypredicatessemanticandsyntasticaspects AT škílʹnâkss logicswithquasiaryandnarypredicatessemanticandsyntasticaspects |