RU2015104624A - Автоматизированное построение маршрута логического вывода в миварной базе знаний - Google Patents
Автоматизированное построение маршрута логического вывода в миварной базе знаний Download PDFInfo
- Publication number
- RU2015104624A RU2015104624A RU2015104624A RU2015104624A RU2015104624A RU 2015104624 A RU2015104624 A RU 2015104624A RU 2015104624 A RU2015104624 A RU 2015104624A RU 2015104624 A RU2015104624 A RU 2015104624A RU 2015104624 A RU2015104624 A RU 2015104624A
- Authority
- RU
- Russia
- Prior art keywords
- rule
- rules
- parameters
- sequence
- parameter
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/02—Knowledge representation; Symbolic representation
- G06N5/022—Knowledge engineering; Knowledge acquisition
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/10—Complex mathematical operations
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/04—Inference or reasoning models
- G06N5/046—Forward inferencing; Production systems
- G06N5/047—Pattern matching networks; Rete networks
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/10—Requirements analysis; Specification techniques
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N3/00—Computing arrangements based on biological models
- G06N3/12—Computing arrangements based on biological models using genetic models
- G06N3/126—Evolutionary algorithms, e.g. genetic algorithms or genetic programming
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Mathematical Physics (AREA)
- Data Mining & Analysis (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Artificial Intelligence (AREA)
- Computational Linguistics (AREA)
- Evolutionary Computation (AREA)
- Computing Systems (AREA)
- Pure & Applied Mathematics (AREA)
- Databases & Information Systems (AREA)
- Mathematical Optimization (AREA)
- Mathematical Analysis (AREA)
- Computational Mathematics (AREA)
- Algebra (AREA)
- Computer Vision & Pattern Recognition (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
1. Машинореализуемый способ автоматизированного построения маршрута логического вывода в базе знаний, содержащей представление модели предметной области в виде объектов и связей, организованных в ориентированный двудольный граф, при этом объекты содержат параметры, причем связи содержат правила и каждое правило имеет по меньшей мере одну входную переменную и по меньшей мере одну выходную переменную, а каждый связанный с правилом параметр является либо его входной переменной, либо выходной переменной, при этом способ содержит этапы, на которых:формируют совокупность известных параметров и задают один или более искомых параметров;выполняют обработку для каждого известного параметра, ранее не проходившего данную обработку, в целях нахождения искомых параметров, при этом упомянутая обработка содержит этапы, на которых:определяют запускаемые правила, в которых известный параметр является входной переменной, для которых известны все остальные входные переменные и которые не запускались раньше, изапускают эти определенные запускаемые правила и дополняют совокупность известных параметров выходными переменными запущенных правил,при этом если найдены все искомые параметры, упомянутую обработку прекращают; истроят последовательность из запущенных правил в порядке их запуска, при этом построенная последовательность правил представляет маршрут логического вывода.2. Способ по п. 1, в котором совокупность известных параметров представляет собой очередь или стек, при этом известные параметры поочередно извлекаются из очереди или стека, соответственно, для выполнения упомянутой обработки.3. Способ по п. 1, при этом способ
Claims (36)
1. Машинореализуемый способ автоматизированного построения маршрута логического вывода в базе знаний, содержащей представление модели предметной области в виде объектов и связей, организованных в ориентированный двудольный граф, при этом объекты содержат параметры, причем связи содержат правила и каждое правило имеет по меньшей мере одну входную переменную и по меньшей мере одну выходную переменную, а каждый связанный с правилом параметр является либо его входной переменной, либо выходной переменной, при этом способ содержит этапы, на которых:
формируют совокупность известных параметров и задают один или более искомых параметров;
выполняют обработку для каждого известного параметра, ранее не проходившего данную обработку, в целях нахождения искомых параметров, при этом упомянутая обработка содержит этапы, на которых:
определяют запускаемые правила, в которых известный параметр является входной переменной, для которых известны все остальные входные переменные и которые не запускались раньше, и
запускают эти определенные запускаемые правила и дополняют совокупность известных параметров выходными переменными запущенных правил,
при этом если найдены все искомые параметры, упомянутую обработку прекращают; и
строят последовательность из запущенных правил в порядке их запуска, при этом построенная последовательность правил представляет маршрут логического вывода.
2. Способ по п. 1, в котором совокупность известных параметров представляет собой очередь или стек, при этом известные параметры поочередно извлекаются из очереди или стека, соответственно, для выполнения упомянутой обработки.
3. Способ по п. 1, при этом способ дополнительно содержит этап, на котором выводят на дисплейное устройство найденные искомые параметры и построенный маршрут логического вывода.
4. Способ по п. 3, дополнительно содержащий этап, на котором, если по результатам упомянутой обработки, по меньшей мере, часть искомых параметров не найдена, выводят сообщение об ошибке и/или не найденные искомые параметры.
5. Способ по п. 2, в котором, если для известного параметра запускаемые правила не определены, извлекают из очереди или стека следующий известный параметр и выполняют в отношении него упомянутую обработку.
6. Способ по п. 1, дополнительно содержащий этап, на котором вводят известные параметры через пользовательский интерфейс.
7. Способ по п. 1, в котором
для каждого параметра хранится, в виде по меньшей мере одного списка, информация о всех правилах, для которых он является входной или выходной переменной;
для каждого правила хранится, в виде по меньшей мере одного списка, информация о всех его входных и выходных переменных, включая информацию о количестве входных и выходных переменных.
8. Способ по п. 7, в котором
для каждого параметра, найденного при упомянутой обработке, дополнительно сохраняют информацию о том, посредством какого запущенного правила, в котором он является выходной переменной, данный параметр был найден;
для каждого запускаемого правила дополнительно сохраняют информацию о том, какой из параметров, являющихся входной переменной этого правила, привел при упомянутой обработке к определению того, что данное правило является запускаемым.
9. Способ по п. 7, в котором для каждого правила дополнительно сохраняют индикатор, показывающий, было ли правило запущено или нет, при этом после запуска правила индикатор модифицируют так, чтобы он показывал, что правило было запущено.
10. Способ по п. 1, в котором
объекты дополнительно содержат классы, при этом каждый класс может включать в себя другие классы и/или параметры, причем каждый параметр относится только к одному классу; и
связи дополнительно содержат отношения, причем каждое отношение описывает взаимосвязь между абстрактными переменными,
при этом каждое правило включает в себя ссылку на отношение.
11. Способ по п. 10, в котором представление модели предметной области дополнительно содержит одно или более ограничений, при этом входными переменными каждого ограничения являются значения параметров, каждое ограничение содержит ссылку на отношение, выражающее условие, которому должны удовлетворять входные переменные, и выходной переменной каждого ограничения является булевская переменная.
12. Способ по п. 11, дополнительно содержащий этапы, на которых:
выполняют запуск по меньшей мере одного ограничения посредством задания соответствующих известных параметров в качестве его входных переменных; и
выводят сообщение об ошибке и останавливают выполнение способа, если условие, выражаемое данным ограничением, не удовлетворяется этими соответствующими известными параметрами.
13. Способ по п. 1, дополнительно содержащий этапы, на которых:
формируют список искомых параметров из упомянутых искомых параметров;
пока список искомых параметров не пустой,
извлекают из списка искомых параметров искомый параметр и выявляют правило, посредством которого выбранный искомый параметр был непосредственно определен;
если выявленное правило ранее не было добавлено в формируемую глобальную последовательность правил, формируют локальную последовательность правил, задействованных для определения выбранного искомого параметра, начиная с добавления выявленного правила в локальную последовательность правил, при этом при упомянутом формировании локальной последовательности правил, для каждого правила, начиная с упомянутого выявленного правила:
определяют параметр-инициатор, который является входной переменной правила и которым при упомянутой обработке был инициирован запуск правила;
если у правила есть одна или более других входных переменных, для каждой из этих одной или более других входных переменных добавляют параметр, являющийся этой входной переменной, в начало списка искомых параметров и определяют место вставки локальной последовательности правил, которая должна быть создана для добавленного параметра, в глобальную последовательность правил, при этом место вставки указывает правило, перед которым в глобальной последовательности правил должна вставляться локальная последовательность правил, которая должна быть создана для добавленного параметра;
пока формирование локальной последовательности правил не завершено:
выбирают правило из запущенных правил, выходной переменной которого является упомянутый параметр-инициатор, и проверяют, присутствует ли выбранное правило в глобальной последовательности правил и является ли оно местом вставки,
если выбранное правило присутствует в глобальной последовательности правил или является местом вставки, завершают формирование локальной последовательности правил,
если выбранное правило не присутствует в глобальной последовательности правил и не является местом вставки, добавляют выбранное правило в конец формируемой локальной последовательности правил и проверяют, является ли данное правило правилом, входными переменными которого являлись только известные параметры, и
если входными переменными выбранного правила являлись только известные параметры, завершают формирование локальной последовательности правил; и
если для искомого параметра определено место вставки, вставляют сформированную локальную последовательность правил в место вставки в глобальной последовательности правил, в противном случае, добавляют локальную последовательность правил в конец глобальной последовательности правил,
при этом сформированная глобальная последовательность правил представляет собой оптимизированный маршрут логического вывода.
14. Способ по п. 13, дополнительно содержащий этап, на котором при добавлении правила в локальную последовательность правил заносят выходные переменные этого правила в формируемый список найденных параметров, если эти выходные переменные не присутствуют в списке найденных параметров, при этом искомые параметры, присутствующие в списке найденных параметров, удаляют из списка искомых параметров.
15. Способ по п. 13, в котором каждая из локальной последовательности правил и глобальной последовательности правил представляет собой список, а список искомых параметров представляет собой связанный список.
16. Компьютерно-реализованная система для автоматизированного построения маршрута логического вывода в базе знаний, содержащей представление модели предметной области в виде объектов и связей, организованных в ориентированный двудольный граф, при этом объекты содержат параметры, причем связи содержат правила и каждое правило имеет по меньшей мере одну входную переменную и по меньшей мере одну выходную переменную, а каждый связанный с правилом параметр является либо его входной переменной, либо выходной переменной, при этом система содержит:
средство для формирования совокупности известных параметров и для задания одного или более искомых параметров;
средство для выполнения обработки для каждого известного параметра, ранее не проходившего данную обработку, в целях нахождения искомых параметров, при этом упомянутая обработка содержит:
определение запускаемых правил, в которых известный параметр является входной переменной, для которых известны все остальные входные переменные и которые не запускались раньше, и
запуск этих определенных запускаемых правил и дополнение совокупности известных параметров выходными переменными запущенных правил,
при этом если найдены все искомые параметры, упомянутая обработка прекращается; и
средство для построения последовательности из запущенных правил в порядке их запуска, при этом построенная последовательность правил представляет маршрут логического вывода.
17. Компьютерное устройство, приспособленное для автоматизированного построения маршрута логического вывода в базе знаний, содержащей представление модели предметной области в виде объектов и связей, организованных в ориентированный двудольный граф, при этом объекты содержат параметры, причем связи содержат правила и каждое правило имеет по меньшей мере одну входную переменную и по меньшей мере одну выходную переменную, а каждый связанный с правилом параметр является либо его входной переменной, либо выходной переменной, при этом компьютерное устройство содержит:
один или более процессоров; и
один или более блоков хранения данных, в которых хранятся машиноисполняемые инструкции, которые при их исполнении одним или более процессорами предписывают одному или более процессорам:
формировать совокупность известных параметров и задавать один или более искомых параметров;
выполнять обработку для каждого известного параметра, ранее не проходившего данную обработку, в целях нахождения искомых параметров, при этом упомянутая обработка содержит:
определение запускаемых правил, в которых известный параметр является входной переменной, для которых известны все входные переменные и которые не запускались раньше,
запуск этих определенных запускаемых правил и дополнение совокупности известных параметров выходными переменными запущенных правил,
при этом если найдены все искомые параметры, упомянутая обработка прекращается; и
строить последовательность из запущенных правил в порядке их запуска, при этом построенная последовательность правил представляет маршрут логического вывода.
18. Считываемый компьютером носитель, на котором сохранены исполняемые компьютером инструкции, которые при их исполнении предписывают компьютеру выполнять способ автоматизированного построения маршрута логического вывода в базе знаний по любому одному из пп. 1-15.
19. Машинореализуемый способ автоматизированного построения маршрута логического вывода в базе знаний, содержащей представление модели предметной области в виде объектов и связей, организованных в ориентированный двудольный граф, при этом объекты содержат параметры, причем связи содержат правила и каждое правило имеет по меньшей мере одну входную переменную и по меньшей мере одну выходную переменную, а каждый связанный с правилом параметр является либо его входной переменной, либо выходной переменной, при этом способ содержит этапы, на которых:
формируют совокупность известных параметров и задают один или более искомых параметров;
выполняют обработку для каждого известного параметра, ранее не проходившего данную обработку, в целях нахождения искомых параметров, при этом упомянутая обработка содержит этапы, на которых:
определяют запускаемые правила, в которых известный параметр является входной переменной, для которых известны все остальные входные переменные и которые не запускались раньше, и
запускают эти определенные запускаемые правила и дополняют совокупность известных параметров выходными переменными запущенных правил,
при этом если найдены все искомые параметры, упомянутую обработку прекращают;
строят последовательность из запущенных правил в порядке их запуска, при этом построенная последовательность правил представляет маршрут логического вывода; и
фильтруют построенную последовательность правил так, чтобы в ней присутствовали только те правила, запуск которых непосредственно задействовался для нахождения искомых параметров.
20. Способ по п. 19, в котором совокупность известных параметров представляет собой очередь или стек, при этом известные параметры поочередно извлекаются из очереди или стека, соответственно, для выполнения упомянутой обработки.
21. Способ по п. 19, дополнительно содержащий этап, на котором выводят на дисплейное устройство найденные искомые параметры и построенный маршрут логического вывода.
22. Способ по п. 21, дополнительно содержащий этап, на котором, если по результатам упомянутой обработки, по меньшей мере, часть искомых параметров не найдена, выводят сообщение об ошибке и/или не найденные искомые параметры.
23. Способ по п. 20, в котором, если для известного параметра запускаемые правила не определены, извлекают из очереди или стека следующий известный параметр и выполняют в отношении него упомянутую обработку.
24. Способ по п. 19, дополнительно содержащий этап, на котором вводят известные параметры через пользовательский интерфейс.
25. Способ по п. 19, в котором
для каждого параметра хранится, в виде по меньшей мере одного списка, информация о всех правилах, для которых он является входной или выходной переменной;
для каждого правила хранится, в виде по меньшей мере одного списка, информация о всех его входных и выходных переменных, включая информацию о количестве входных и выходных переменных.
26. Способ по п. 25, в котором
для каждого параметра, найденного при упомянутой обработке, дополнительно сохраняют информацию о том, посредством какого запущенного правила, в котором он является выходной переменной, данный параметр был найден;
для каждого запускаемого правила дополнительно сохраняют информацию о том, какой из параметров, являющихся входной переменной этого правила, привел при упомянутой обработке к определению того, что данное правило является запускаемым.
27. Способ по п. 25, в котором для каждого правила дополнительно сохраняют индикатор, показывающий, было ли правило запущено или нет, при этом после запуска правила индикатор модифицируют так, чтобы он показывал, что правило было запущено.
28. Способ по п. 19, в котором
объекты дополнительно содержат классы, при этом каждый класс может включать в себя другие классы и/или параметры, причем каждый параметр относится только к одному классу; и
связи дополнительно содержат отношения, причем каждое отношение описывает взаимосвязь между абстрактными переменными, при этом каждое правило включает в себя ссылку на отношение.
29. Способ по п. 28, в котором представление модели предметной области дополнительно содержит одно или более ограничений, при этом входными переменными каждого ограничения являются значения параметров, каждое ограничение содержит ссылку на отношение, выражающее условие, которому должны удовлетворять входные переменные, и выходной переменной каждого ограничения является булевская переменная.
30. Способ по п. 29, дополнительно содержащий этапы, на которых:
выполняют запуск по меньшей мере одного ограничения посредством задания соответствующих известных параметров в качестве его входных переменных; и
выводят сообщение об ошибке и останавливают выполнение способа, если условие, выражаемое данным ограничением, не удовлетворяется этими соответствующими известными параметрами.
31. Способ по п. 19, в котором упомянутая фильтрация содержит этапы, на которых:
формируют список искомых параметров из упомянутых искомых параметров;
пока список искомых параметров не пустой,
извлекают из списка искомых параметров искомый параметр и выявляют правило, посредством которого выбранный искомый параметр был непосредственно определен;
если выявленное правило ранее не было добавлено в формируемую глобальную последовательность правил, формируют локальную последовательность правил, задействованных для определения выбранного искомого параметра, начиная с добавления выявленного правила в локальную последовательность правил, при этом при упомянутом формировании локальной последовательности правил, для каждого правила, начиная с упомянутого выявленного правила:
определяют параметр-инициатор, который является входной переменной правила и которым при упомянутой обработке был инициирован запуск правила;
если у правила есть одна или более других входных переменных, для каждой из этих одной или более других входных переменных добавляют параметр, являющийся этой входной переменной, в начало списка искомых параметров и определяют место вставки локальной последовательности правил, которая должна быть создана для добавленного параметра, в глобальную последовательность правил, при этом место вставки указывает правило, перед которым в глобальной последовательности правил должна вставляться локальная последовательность правил, которая должна быть создана для добавленного параметра;
пока формирование локальной последовательности правил не завершено:
выбирают правило из запущенных правил, выходной переменной которого является упомянутый параметр-инициатор, и проверяют, присутствует ли выбранное правило в глобальной последовательности правил и является ли оно местом вставки,
если выбранное правило присутствует в глобальной последовательности правил или является местом вставки, завершают формирование локальной последовательности правил,
если выбранное правило не присутствует в глобальной последовательности правил и не является местом вставки, добавляют выбранное правило в конец формируемой локальной последовательности правил и проверяют, является ли данное правило правилом, входными переменными которого являлись только известные параметры, и
если входными переменными выбранного правила являлись только известные параметры, завершают формирование локальной последовательности правил; и
если для искомого параметра определено место вставки, вставляют сформированную локальную последовательность правил в место вставки в глобальной последовательности правил, в противном случае, добавляют локальную последовательность правил в конец глобальной последовательности правил,
при этом сформированная глобальная последовательность правил представляет собой оптимизированный маршрут логического вывода.
32. Способ по п. 31, дополнительно содержащий этап, на котором при добавлении правила в локальную последовательность правил заносят выходные переменные этого правила в формируемый список найденных параметров, если эти выходные переменные не присутствуют в списке найденных параметров, при этом искомые параметры, присутствующие в списке найденных параметров, удаляют из списка искомых параметров.
33. Способ по п. 31, в котором каждая из локальной последовательности правил и глобальной последовательности правил представляет собой список, а список искомых параметров представляет собой связанный список.
34. Компьютерно-реализованная система для автоматизированного построения маршрута логического вывода в базе знаний, содержащей представление модели предметной области в виде объектов и связей, организованных в ориентированный двудольный граф, при этом объекты содержат параметры, причем связи содержат правила и каждое правило имеет по меньшей мере одну входную переменную и по меньшей мере одну выходную переменную, а каждый связанный с правилом параметр является либо его входной переменной, либо выходной переменной, при этом система содержит:
средство для формирования совокупности известных параметров и для задания одного или более искомых параметров;
средство для выполнения обработки для каждого известного параметра, ранее не проходившего данную обработку, в целях нахождения искомых параметров, при этом упомянутая обработка содержит:
определение запускаемых правил, в которых известный параметр является входной переменной, для которых известны все остальные входные переменные и которые не запускались раньше, и
запуск этих определенных запускаемых правил и дополнение совокупности известных параметров выходными переменными запущенных правил,
при этом если найдены все искомые параметры, упомянутая обработка прекращается;
средство для построения последовательности из запущенных правил в порядке их запуска, при этом построенная последовательность правил представляет маршрут логического вывода; и
средство для фильтрации построенной последовательности правил так, чтобы в ней присутствовали только те правила, запуск которых непосредственно задействовался для нахождения искомых параметров.
35. Компьютерное устройство, приспособленное для автоматизированного построения маршрута логического вывода в базе знаний, содержащей представление модели предметной области в виде объектов и связей, организованных в ориентированный двудольный граф, при этом объекты содержат параметры, причем связи содержат правила и каждое правило имеет по меньшей мере одну входную переменную и по меньшей мере одну выходную переменную, а каждый связанный с правилом параметр является либо его входной переменной, либо выходной переменной, при этом компьютерное устройство содержит:
один или более процессоров; и
один или более блоков хранения данных, в которых хранятся машиноисполняемые инструкции, которые при их исполнении одним или более процессорами предписывают одному или более процессорам:
формировать совокупность известных параметров и задавать один или более искомых параметров;
выполнять обработку для каждого известного параметра, ранее не проходившего данную обработку, в целях нахождения искомых параметров, при этом упомянутая обработка содержит:
определение запускаемых правил, в которых известный параметр является входной переменной, для которых известны все остальные входные переменные и которые не запускались раньше, и
запуск этих определенных запускаемых правил и дополнение совокупности известных параметров выходными переменными запущенных правил,
при этом если найдены все искомые параметры, упомянутая обработка прекращается;
строить последовательность из запущенных правил в порядке их запуска, при этом построенная последовательность правил представляет маршрут логического вывода; и
фильтровать построенную последовательность правил так, чтобы в ней присутствовали только те правила, запуск которых непосредственно задействовался для нахождения искомых параметров.
36. Считываемый компьютером носитель, на котором сохранены исполняемые компьютером инструкции, которые при их исполнении предписывают компьютеру выполнять способ автоматизированного построения маршрута логического вывода в базе знаний по любому одному из пп. 19-33.
Priority Applications (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
RU2015104624A RU2607995C2 (ru) | 2015-02-11 | 2015-02-11 | Автоматизированное построение маршрута логического вывода в миварной базе знаний |
EP16749536.5A EP3258389A4 (en) | 2015-02-11 | 2016-02-05 | Automated acquisition of a logical deduction path in a mivar knowledge base |
PCT/RU2016/050003 WO2016130048A1 (ru) | 2015-02-11 | 2016-02-05 | Автоматизированное построение маршрута логического вывода в миварной базе знаний |
US15/550,244 US20180025277A1 (en) | 2015-02-11 | 2016-02-05 | Automated acquisition of a logical deduction path in a mivar knowledge base |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
RU2015104624A RU2607995C2 (ru) | 2015-02-11 | 2015-02-11 | Автоматизированное построение маршрута логического вывода в миварной базе знаний |
Publications (2)
Publication Number | Publication Date |
---|---|
RU2015104624A true RU2015104624A (ru) | 2016-08-27 |
RU2607995C2 RU2607995C2 (ru) | 2017-01-11 |
Family
ID=56615415
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
RU2015104624A RU2607995C2 (ru) | 2015-02-11 | 2015-02-11 | Автоматизированное построение маршрута логического вывода в миварной базе знаний |
Country Status (4)
Country | Link |
---|---|
US (1) | US20180025277A1 (ru) |
EP (1) | EP3258389A4 (ru) |
RU (1) | RU2607995C2 (ru) |
WO (1) | WO2016130048A1 (ru) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
RU2685965C1 (ru) * | 2017-12-18 | 2019-04-23 | Общество с ограниченной ответственностью "ТриниДата" | Способ формирования правила получения логического вывода |
CN108021773B (zh) * | 2017-12-27 | 2021-01-05 | 大连理工大学 | 基于dss数据库的分布式水文模型多场次洪水参数率定方法 |
US11531914B2 (en) | 2018-08-20 | 2022-12-20 | Accenture Global Solutions Limited | Artificial intelligence (AI) based automatic rule generation |
Family Cites Families (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
RU2166208C2 (ru) * | 1999-04-29 | 2001-04-27 | Халин Евгений Васильевич | Способ автоматизированного приобретения знаний по безопасности производства |
RU2236700C2 (ru) * | 2000-03-02 | 2004-09-20 | Открытое акционерное общество "Московская телекоммуникационная корпорация" | Способ анализа и прогнозирования развития динамической системы и ее отдельных элементов |
US6721726B1 (en) * | 2000-03-08 | 2004-04-13 | Accenture Llp | Knowledge management tool |
US8396859B2 (en) * | 2000-06-26 | 2013-03-12 | Oracle International Corporation | Subject matter context search engine |
NO316480B1 (no) * | 2001-11-15 | 2004-01-26 | Forinnova As | Fremgangsmåte og system for tekstuell granskning og oppdagelse |
US8015143B2 (en) * | 2002-05-22 | 2011-09-06 | Estes Timothy W | Knowledge discovery agent system and method |
RU29597U1 (ru) * | 2002-12-30 | 2003-05-20 | Федеральное государственное унитарное предприятие Летно-исследовательский институт им. М.М. Громова | Связная экспертная система |
US20090326792A1 (en) * | 2007-05-06 | 2009-12-31 | Mcgrath Alan Thomas | Method and system for increasing the degree of autonomy of an unmanned aircraft by utilizing meteorological data received from GPS dropsondes released from an unmanned aircraft to determine course and altitude corrections and an automated data management and decision support navigational system to make these navigational calculations and to correct the unmanned aircraft's flight path |
US20090048903A1 (en) * | 2007-08-13 | 2009-02-19 | Universal Passage, Inc. | Method and system for universal life path decision support |
US20130006649A1 (en) * | 2008-09-26 | 2013-01-03 | Vasu Rangadass | System and Method Healthcare Diagnostics and Treatment |
RU2485581C1 (ru) * | 2012-04-26 | 2013-06-20 | Открытое акционерное общество "Лётно-исследовательский институт имени М.М.Громова" | Поисковая экспертная система |
CN104781843B (zh) * | 2012-09-10 | 2019-06-28 | 皇家飞利浦有限公司 | 临床决策支持 |
-
2015
- 2015-02-11 RU RU2015104624A patent/RU2607995C2/ru not_active IP Right Cessation
-
2016
- 2016-02-05 WO PCT/RU2016/050003 patent/WO2016130048A1/ru active Application Filing
- 2016-02-05 EP EP16749536.5A patent/EP3258389A4/en not_active Withdrawn
- 2016-02-05 US US15/550,244 patent/US20180025277A1/en not_active Abandoned
Also Published As
Publication number | Publication date |
---|---|
EP3258389A1 (en) | 2017-12-20 |
RU2607995C2 (ru) | 2017-01-11 |
WO2016130048A1 (ru) | 2016-08-18 |
US20180025277A1 (en) | 2018-01-25 |
EP3258389A4 (en) | 2018-12-05 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US20180365287A1 (en) | Source code search engine | |
JP5149225B2 (ja) | テストケース生成装置およびテストケース生成方法 | |
CN108549683B (zh) | 数据查询方法以及系统 | |
EP4369180A2 (en) | Callpath finder | |
JP2016524255A5 (ru) | ||
EP2983117A1 (en) | Event processing method in stream processing system and stream processing system | |
RU2015104624A (ru) | Автоматизированное построение маршрута логического вывода в миварной базе знаний | |
CN105095425B (zh) | 一种数据库的跨库结转方法及装置 | |
KR101587158B1 (ko) | 트리 인덱스를 이용하는 노드 탐색 방법 및 장치 | |
JP2017091533A5 (ru) | ||
CN110457224B (zh) | 生成测试数据的方法及装置 | |
CN103870563B (zh) | 确定给定文本的主题分布的方法和装置 | |
CN106294530B (zh) | 规则匹配的方法和系统 | |
US10032204B2 (en) | System and method for synthetic ideation | |
CN106569734B (zh) | 数据洗牌时内存溢出的修复方法及装置 | |
JP2018519592A5 (ru) | ||
Biere et al. | Experimenting with SAT solvers in Vampire | |
US4989162A (en) | Method of using an accuracy valve in a conflict resolution of a forward inference | |
US7433858B2 (en) | Rule selection engine | |
US9727635B2 (en) | Combined code searching and automatic code navigation | |
Mencía et al. | Efficient relaxations of over-constrained CSPs | |
CN104598567A (zh) | 一种基于Hadoop MapReduce编程框架的数据统计排重的方法 | |
CN110737465B (zh) | 一种函数调用路径获取的方法和相关装置 | |
US9703920B2 (en) | Intra-run design decision process for circuit synthesis | |
CN110209829B (zh) | 信息处理方法和装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
MM4A | The patent is invalid due to non-payment of fees |
Effective date: 20180212 |
|
NF4A | Reinstatement of patent |
Effective date: 20190201 |
|
MM4A | The patent is invalid due to non-payment of fees |
Effective date: 20210212 |