Показати скорочену інформацію

dc.contributor.authorСемеренко, В. П.ru, uk
dc.date.accessioned2016-05-19T11:55:45Z
dc.date.available2016-05-19T11:55:45Z
dc.date.issued1997
dc.identifier.citationСемеренко В. П. Автоматизация логического вывода в исчислении предикатов / В. П. Семеренко // Сборник научных трудов Шестой Международной конференции «Знания – Диалог – Решение» (KDS-97). Украина, Ялта, 15-20 сентября 1997. – Ялта, 1997. - Т. 1. – С. 187-195.ru
dc.identifier.urihttp://ir.lib.vntu.edu.ua/handle/123456789/10189
dc.description.abstractРассмотрена интерпретация формул исчисления предикатов первого порядка на конечной предметной области с помощью алгебры кубических функций. Предложена машинно-ориентированная стратегия логического вывода на основе выполнения операций над кубическими покрытиями.ru
dc.description.abstractРозглянута інтерпретація формул числення предикатів першого порядку на кінцевій предметній області за допомогою алгебри кубічних функцій. Запропонована машинно-орієнтована стратегія логічного виведення на основі виконання операцій над кубічними покриттями.uk
dc.description.abstractThe interpretation of the formula of first-order logic on the finite data domain by means of the algebra of cubic functions is considered. The machine oriented inference method based on execution of operations with the cubic coverings is proposed.en
dc.language.isoruru
dc.publisherАссоциация создателей и пользователей интеллектуальных системru
dc.subjectисчисление высказыванийru
dc.subjectнормальные формыru
dc.subjectсистолические структурыru
dc.subjectисчисление предикатовru
dc.subjectкубические покрытияru
dc.subjectоперация унификацииru
dc.subjectчислення висловлюваньuk
dc.subjectнормальні формиuk
dc.subjectсистолічні структуриuk
dc.subjectчислення предикатівuk
dc.subjectкубічні покриттяuk
dc.subjectоперація уніфікаціїuk
dc.subjectsystolic structureen
dc.subjectnormal formsen
dc.subjectcubic coveringsen
dc.subjectunificationen
dc.subjectpropositional calculusen
dc.titleАвтоматизация логического вывода в исчислении предикатовru
dc.typeArticle


Файли в цьому документі

Thumbnail

Даний документ включений в наступну(і) колекцію(ї)

Показати скорочену інформацію