Побудова секвенційних числень логік квазіарних предикатів першого порядку
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Побудова секвенційних числень логік квазіарних предикатів першого порядку
|
|
| Creator |
Шкільняк, С.С.
|
|
| Subject |
Концептуальные проблемы создания систем искусственного интеллекта
|
|
| Description |
Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів. Для різних відно- шень логічного наслідку в чистих першопорядкових логіках часткових однозначних, тотальних неодно- значних і часткових неоднозначних предикатів побудовано спеціальні секвенційні числення. Для таких числень доведено теореми коректності й повноти. Запропоновано низку секвенційних числень для чистих першопорядкових логік часткових предикатів з рівністю. Исследованы первопорядковые композиционно-номинативные логики квазиарных предикатов. Для различных отношений логического следствия в чистых первопорядковых логиках частичных однозначных, тотальных неоднозначных и частичных неоднозначных предикатов построены специальные секвенциальные исчисления. Для таких исчислений доказаны теоремы корректности и полноты. Предложен ряд секвенциаль- ных исчислений для чистых первопорядковых логик частичных предикатов с равенством. We study first-order composition-nominative logics of quasiary predicates. Special sequent calculi for various consequence relations in pure first-order logics of partial single-valued, total multiple-valued and partial multiplevalued predicates are constructed. For the defined calculi the soundness and completeness theorems are proved. We introduce a number ofsequent calculi for pure first-order logics of partial predicates with equality. |
|
| Date |
2015-07-22T18:35:24Z
2015-07-22T18:35:24Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Побудова секвенційних числень логік квазіарних предикатів першого порядку / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 4. — С. 62–73. — Бібліогр.: 9 назв. — укр.
1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/85231 004.42:510.69 |
|
| Language |
uk
|
|
| Relation |
Искусственный интеллект
|
|
| Publisher |
Інститут проблем штучного інтелекту МОН України та НАН України
|
|