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

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Кибернетика и системный анализ
→
Кибернетика и системный анализ, 2010, том 46
→
Кибернетика и системный анализ, 2010, № 4
→
Переглянути статтю

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

Летичевский, А.А. ; Герман, В.Н. ; Мороховец, М.К. ; Щеголева, Н.Н.

Інші назви: Паралельний пошук виводу в логічному численні на основі системи алгебричного програмування
Parallel inference search in a logical calculus on the base of the Algebraic Programming System

Тема: Программно-технические комплексы

УДК: 510.66:004.272.2

URI: http://dspace.nbuv.gov.ua/handle/123456789/45253

Посилання: Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / A.А. Летичевский, В.Н. Герман, М.К. Мороховец, Н.Н. Щеголева // Кибернетика и системный анализ. — 2010. — № 4. — С. 169-180. — Бібліогр.: 10 назв. — рос.

Дата: 2010

Завантажень: 938

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

Анотація:

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

Software for parallel inference search in propositional calculus is described and used to obtain experimental results. The software is based on the Algebraic Programming System APS and the cluster complex SCIT-1.

Показати повний запис статті