Сайт бібліотеки  >  Електронний каталог  >  Опис документа

Опис документа

Пынько Алексей Павлович
Приложение логического программирования к многозначной логике с относительной истиной

Вид документа:  Складова частина документа 
Мова:  Англійська  Обсяг:  С. 58-65 
УДК:  510.6 

Аннотацiя:

Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяющего охватить все конечнозначные логики.

Є складовою частиною документа Управляющие системы и машины (УСиМ) [Текст] : междунар. науч. журн. № 1 (243) / НАН Украины, Междунар. науч.-учеб. центр ИТИС, Ин-т кибернетики им. В. М. Глушкова. — К. : Ин-т кибернетики НАН Украины, 2013.