Автоматизированное построение маршрута логического вывода в миварной базе знаний - RU2015104624A

Реферат

1. Машинореализуемый способ автоматизированного построения маршрута логического вывода в базе знаний, содержащей представление модели предметной области в виде объектов и связей, организованных в ориентированный двудольный граф, при этом объекты содержат параметры, причем связи содержат правила и каждое правило имеет по меньшей мере одну входную переменную и по меньшей мере одну выходную переменную, а каждый связанный с правилом параметр является либо его входной переменной, либо выходной переменной, при этом способ содержит этапы, на которых:формируют совокупность известных параметров и задают один или более искомых параметров;выполняют обработку для каждого известного параметра, ранее не проходившего данную обработку, в целях нахождения искомых параметров, при этом упомянутая обработка содержит этапы, на которых:определяют запускаемые правила, в которых известный параметр является входной переменной, для которых известны все остальные входные переменные и которые не запускались раньше, изапускают эти определенные запускаемые правила и дополняют совокупность известных параметров выходными переменными запущенных правил,при этом если найдены все искомые параметры, упомянутую обработку прекращают; истроят последовательность из запущенных правил в порядке их запуска, при этом построенная последовательность правил представляет маршрут логического вывода.2. Способ по п. 1, в котором совокупность известных параметров представляет собой очередь или стек, при этом известные параметры поочередно извлекаются из очереди или стека, соответственно, для выполнения упомянутой обработки.3. Способ по п. 1, при этом способ