Приложение логического программирования к многозначной логике с относительной истиной
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Приложение логического программирования к многозначной логике с относительной истиной
|
|
| Creator |
Пынько, А.П.
|
|
| Subject |
Программная инженерия и программные средства
|
|
| Description |
Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяющего охватить все конечнозначные логики.
The procedures are suggested of automatic deduction in propositional many-valued logics with relative truth (that is, logics, which have several sets of distinguished values) based on the many-sided sequent deductive apparatus, which is implemented by logic programming methods in the PROLOG language and enables one to cover all finitely-valued logics. Запропоновано процедури автоматичного виведення в пропозиційних багатозначних логіках з відносною істиною (таких, що мають кілька множин вилучених значень) на засадах багатобічного секвенційного дедуктивного апарата, що реалізується методами логічного програмування на мові ПРОЛОГ та надає можливість охопити усі скінченнозначні логіки. |
|
| Date |
2015-06-15T14:53:31Z
2015-06-15T14:53:31Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Приложение логического программирования к многозначной логике с относительной истиной / А.П. Пынько // Управляющие системы и машины. — 2013. — № 1. — С. 58-65. — Бібліогр.: 12 назв. — рос.
0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83131 510.6 |
|
| Language |
ru
|
|
| Relation |
Управляющие системы и машины
|
|
| Publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
|
|