Штучний інтелект

Анотація: Досліджено композиційно номінативні логіки часткових однозначних, тотальних неоднозначних і часткових неоднозначних квазіарних предикатів на пропозиційному і реномінативному рівнях. Встановлено зв’язки між цими логіками та 3-значними і 4-значними логіками тотальних однозначних предикатів.

Ключові слова: композиційно-номінативна логіка, багатозначна логіка, предикат

Посилання:

1. Никитченко Н.С. Композиционно-номинативный подход к уточнению понятия программы / Н.С. Ни- китченко // Пробл. программирования. – 1999. – № 1. – С. 16-31.
2. Нікітченко М.С. Математична логіка та теорія алгоритмів / М.С. Нікітченко, С.С. Шкільняк. – К. :ВПЦ Київський університет, 2008. – 528 с.
3. Шкільняк С.С. Відношення логічного наслідку в композиційно-номінативних логіках / С.С. Шкіль- няк // Пробл. програмування. – 2010. – № 1. – C. 15-38.
4. Смирнова Е.Д. Логика и философия / Смирнова Е.Д. – М.: РОССПЕН, 1996. – 304 с.
5. Клини С. Введение в метаматематику / Клини С. – М. : ИЛ, 1957. – 526 с.
6. Буй Д.Б. Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: влас- тивості та застосування / Д.Б. Буй, Н.Д. Кахута, Л.М. Сільвейструк // Пробл. програмування. – 2010. – № 2-3 – C. 80-88.
7. Белнап Н. Логика вопросов и ответов / Н. Белнап, Т. Стил. – М. : Прогресс, 1981. – 288 с.