The use of distributed computing in domain modeling in universal syllogistics

Abstract

Неклассическая пропозициональная логика LS2 построена на базе алгебраической системы, содержащей булеву алгебру множеств и два отношения между множествами: ⊂ и =. Ближайшим аналогом ее является силлогистика Аристотеля, математической моделью которой является алгебраическая система с Булевой алгеброй множеств и одним отношением ⊂. Недостатком силлогистик, в основе которых лежит алгебраическая система с одним отношением ⊂, является многосмысловость интерпретации их формул и атомарных суждений. Под логико-семантической моделью предметной области в данной работе мы понимаем совокупность формулы универсальной силлогистики LS2 и ее семантического значения, в качестве которого выступает конечное множество неотрицательных целых чисел. Предлагается алгоритм вычисления семантического значения конъюнктивной правильно построенной формулы LS2, обладающий высоким уровнем параллелизма на уровне задач, на уровне данных и на уровне алгоритмов, реализующих операции над составляющими множествами. В силу особенностей операций объединения, пересечения и дополнения универсума над конечными множествами все процессы их вычисления и решения подзадач происходят на битовом уровне и, как правило, эффективно реализуются на алгоритмических языках. В предлагаемом алгоритме переход на битовый уровень и обратно реализуется набором программных средств.