Побудова секвенційних числень логік квазіарних предикатів першого порядку
Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів. Для різних відно- шень логічного наслідку в чистих першопорядкових логіках часткових однозначних, тотальних неодно- значних і часткових неоднозначних предикатів побудовано спеціальні секвенційні числення. Для таких ч...
Збережено в:
Видавець: | Інститут проблем штучного інтелекту МОН України та НАН України |
---|---|
Дата: | 2013 |
Автор: | Шкільняк, С.С. |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2013
|
Назва видання: | Искусственный интеллект |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/85231 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | Побудова секвенційних числень логік квазіарних предикатів першого порядку / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 4. — С. 62–73. — Бібліогр.: 9 назв. — укр. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Общие принципы построения и закономерности функционирования интеллектуальных систем
за авторством: Анцыферов, С.С.
Опубліковано: (2011) -
Численный анализ конвективной модели кристаллизации
за авторством: Миненко, А.С., та інші
Опубліковано: (2012) -
Концепция и задачи понимания смысла текста в системах искусственного интеллекта
за авторством: Звенигородский, А.С.
Опубліковано: (2009) -
Оценка погрешности представления вещественных чисел в постбинарных форматах с плавающей запятой
за авторством: Иваница, С.В.
Опубліковано: (2012) -
Моделирование искусственного интеллекта. Интеллектуальный анализ информации
за авторством: Терещенко, С.В.
Опубліковано: (2013)