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

• Published in: Управляющие системы и машины
• Date: 2013
• Main Author: Пынько, А.П.
• Format: Article
• Language: Russian
• Published: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2013
• Subjects: Программная инженерия и программные средства
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/83131
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Приложение логического программирования к многозначной логике с относительной истиной / А.П. Пынько // Управляющие системы и машины. — 2013. — № 1. — С. 58-65. — Бібліогр.: 12 назв. — рос.

Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяющего охватить все конечнозначные логики. 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. Запропоновано процедури автоматичного виведення в пропозиційних багатозначних логіках з відносною істиною (таких, що мають кілька множин вилучених значень) на засадах багатобічного секвенційного дедуктивного апарата, що реалізується методами логічного програмування на мові ПРОЛОГ та надає можливість охопити усі скінченнозначні логіки.