004.02
О применении композиционно-номинативных логик в инсерционном моделировании / Н. С. Никитченко, В. Г. Тимофеев //
УСиМ: Управляющие системы и машины : междунар. науч. журн. - . - N 6. - С. 57-63. - Библиогр. в конце ст. - ISSN 0130-5395.
(Шифр в БД У481695/2012/6)
УДК
004.02

Ключові слова: взаимодействие агентов и сред -- взаємодія агентів і середовищ -- задачи верификации спецификаций -- завдання верифікації специфікацій -- системы реального времени -- системи реального часу --
Анотація:
Рассмотрена возможность применения композиционно-нормативных логик как инструмента проведения формально-логических рассуждений в рамках технологии инсерционного моделирования. Обоснована теоретическая база такого применения - сформулирована задача проверки выполнимости формул в многосортных композиционно-номинативных логиках первого порядка. Предложен редукционный подход к ее решению.
Розглянуто можливість застосування композиційно-нормативних логік як інструменту проведення формально-логічних міркувань в рамках технології інсерційного моделювання. Обгрунтовано теоретичну базу такого застосування - сформульовано задачу перевірки виконуваності формул у багатосортних композиційно-номінативних логіках першого порядку. Запропоновано редукційний підхід до її вирішення.
Додаткові точки доступу: