Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования

• Published in: Кибернетика и системный анализ
• Date: 2010
• Main Authors: Летичевский, А.А., Герман, В.Н., Мороховец, М.К., Щеголева, Н.Н.
• Format: Article
• Language: Russian
• Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2010
• Subjects: Программно-технические комплексы
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/45253
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / A.А. Летичевский, В.Н. Герман, М.К. Мороховец, Н.Н. Щеголева // Кибернетика и системный анализ. — 2010. — № 4. — С. 169-180. — Бібліогр.: 10 назв. — рос.

Описано програмні засоби паралельного пошуку логічного виводу у пропозиційному численні та подано результати експериментів з ними. Програмні засоби розроблено на базі системи алгебричного програмування АПС та кластерного комплексу СКІТ-1. Software for parallel inference search in propositional calcu...