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

• Опубліковано в: : Кибернетика и системный анализ
• Дата: 2010
• Автори: Летичевский, А.А., Герман, В.Н., Мороховец, М.К., Щеголева, Н.Н.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2010
• Теми: Программно-технические комплексы
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/45253
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / A.А. Летичевский, В.Н. Герман, М.К. Мороховец, Н.Н. Щеголева // Кибернетика и системный анализ. — 2010. — № 4. — С. 169-180. — Бібліогр.: 10 назв. — рос.

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