Зображення обкладинки

Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции

Решается проблема построения эффективных целеориентированных секвенциальных исчислений для классической логики первого порядка (без равенства). Приводятся результаты об их корректности и полноте. Устанавливается связь этих исчислений с неполной в общем случае входной резолюцией...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2003
Автори:	Асельдеров, З.М., Лялецкий, А.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2003
Теми:	Обчислювальні системи
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/726
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции / З.М. Асельдеров, А.А. Лялецкий // Математические машины и системы. – 2003. – № 2. – C. 29-34.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

"Правило Клиффорда" и геодинамика кимберлитового магматизма
за авторством: Арясова, О.В., та інші
Опубліковано: (2013)

Полные асимптотики приближений некоторыми сингулярными интегралами в математическом моделировании
за авторством: Жигалло, К.Н.
Опубліковано: (2020)

Гираторный эквивалент индуктивности во входной цепи радиоприемника
за авторством: Негоденко, О.Н., та інші
Опубліковано: (2003)

Гидрогеологические аспекты закрытия угольных шахт
за авторством: Поштук, А.З., та інші
Опубліковано: (1998)

Формальное описание логического пространства
за авторством: Четвериков, Г.Г., та інші
Опубліковано: (2008)

Метод резолюции для анализа устойчивости задач 0-1 программирования
за авторством: Михайлюк, В.А., та інші
Опубліковано: (2017)

Доказательство теорем в нечеткой логике на основе структурной резолюции
за авторством: Самохвалов, Ю.Я.
Опубліковано: (2019)

Полные интегро-дифференциальные уравнения Вольтерра второго порядка, неразрешенные относительно старшей производной
за авторством: Копачевский, Н.Д., та інші
Опубліковано: (2014)

Реконфигурируемый процессор, реализующий усиленные алгоритмы закрытия информации
за авторством: Гильгурт, С.Я., та інші
Опубліковано: (2011)

О векторе Пойтинга для электроцепей с полигармонической входной электродвижущей силой
за авторством: Божко, А.Е.
Опубліковано: (2011)

Закон двойного отрицания и правило преобразования разности в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2013)

Об одной комбинаторной задаче логического типа
за авторством: Донец, Г.А., та інші
Опубліковано: (2011)

Коммутирующие расширения операторов
за авторством: Арлинский, Ю.М., та інші
Опубліковано: (1993)

Деятельность Фольке Бернадотта как попытка ревизии резолюции ГА ООН № 181/II
за авторством: Близняков, Р.А.
Опубліковано: (2005)

Экологические последствия закрытия угольных шахт на востоке Украины
за авторством: Гуща, В.О., та інші
Опубліковано: (2015)

Определение показателей эффетивности работы газоперекачивающего агрегата в условиях неполноты входной информации
за авторством: Прищепо, А.А., та інші
Опубліковано: (2010)

Нечеткие спецификации логического вывода в системе Гомеопат
за авторством: Провотар, А.А., та інші
Опубліковано: (2012)

Нечеткие системы логического вывода и их применение
за авторством: Провотар, А.И., та інші
Опубліковано: (2013)

Состояние подработанных шахтерских городов и поселков после закрытия шахт
за авторством: Кренида, Ю.Ф.
Опубліковано: (2013)

Обобщенная структура реконфигурируемого процессора, реализующего симметричные алгоритмы закрытия информации
за авторством: Гиранова, А.К.
Опубліковано: (2010)

Правило залежності інтенсивності прояву таксисів від рівня життєздатності популяцій, на прикладі комах
за авторством: Злотін, А.З., та інші
Опубліковано: (2009)

Информационная технология блочного имитационного моделирования автоматизированных систем в условиях неопределенности входной информации
за авторством: Литвинов, В.В., та інші
Опубліковано: (2018)

«Правило тріади» в дослідженні долинно-річкових ландшафтів і річкових ландшафтно-технічних систем
за авторством: Лаврик, О.Д.
Опубліковано: (2013)

Правовой статус резолюции Генеральной Ассамблеи ООН 181 (ІІ) от 29 ноября 1947 года
за авторством: Эль-Кафарна Мухаммед Салем Хасан
Опубліковано: (2012)

Термозависимые макромодели для функционально-логического проектирования электронной аппаратуры
за авторством: Николаенко, О.В.
Опубліковано: (1999)

Алгоритм формирования и минимизации логического представления дерева отказов
за авторством: Серебровский, А.Н., та інші
Опубліковано: (2009)

Распознавание вторичной структуры ДНК нечеткими системами логического вывода
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2014)

Быстродействие интеллектуальных систем
за авторством: Анцыферов, С.С., та інші
Опубліковано: (2013)

Метрология интеллектуальных систем
за авторством: Анцыферов, С.С.
Опубліковано: (2008)

Возможные варианты закрытия окраинных морей в эволюции орогенов новогвинейского типа
за авторством: Горяйнов, С.В.
Опубліковано: (2010)

Сталінська національна політика серед українців Росії в 1930-ті рр.: правило чи виняток?
за авторством: Єфіменко, Г.
Опубліковано: (2004)

Линейные расширения, удовлетворяющие условию трансверсальности
за авторством: Трофимчук, С.И.
Опубліковано: (1984)

Решение задачи распредиления инвестиций на основе нечеткого логического вывода
за авторством: Коршевнюк, Л.А., та інші
Опубліковано: (2003)

Условия эффективности использования ускорения привода прокатной клети, как способа закрытия зазоров
за авторством: Подобедов, Н.И., та інші
Опубліковано: (2006)

Защита информации интеллектуальных систем
за авторством: Анцыферов, С.С., та інші
Опубліковано: (2012)

Пути расширения рынка сбыта сварочных материлов
за авторством: Проценко, Н.А.
Опубліковано: (2017)

Коммутирующие самосопряженные расширения систем эрмитовых операторов
за авторством: Бохонов, Ю.Е.
Опубліковано: (1988)

К статистике скоростей расширения планетарных туманностей
за авторством: Гаджиев, М.С., та інші
Опубліковано: (1995)

Оценка уровня качества интеллектуальных систем
за авторством: Анцыферов, С.С.
Опубліковано: (2013)

Особенности теплового расширения плотных нанокерамик CuO
за авторством: Гижевский, Б.А., та інші
Опубліковано: (2008)