RU2013116388A - Устройство для обработки данных в логической системе с компьютерной поддержкой и соответствующий способ - Google Patents

Устройство для обработки данных в логической системе с компьютерной поддержкой и соответствующий способ Download PDF

Info

Publication number
RU2013116388A
RU2013116388A RU2013116388/08A RU2013116388A RU2013116388A RU 2013116388 A RU2013116388 A RU 2013116388A RU 2013116388/08 A RU2013116388/08 A RU 2013116388/08A RU 2013116388 A RU2013116388 A RU 2013116388A RU 2013116388 A RU2013116388 A RU 2013116388A
Authority
RU
Russia
Prior art keywords
data
conclusions
logical
logic
source
Prior art date
Application number
RU2013116388/08A
Other languages
English (en)
Other versions
RU2583720C2 (ru
Inventor
Ян-Грегор ФИШЕР
Original Assignee
Сименс Акциенгезелльшафт
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Сименс Акциенгезелльшафт filed Critical Сименс Акциенгезелльшафт
Publication of RU2013116388A publication Critical patent/RU2013116388A/ru
Application granted granted Critical
Publication of RU2583720C2 publication Critical patent/RU2583720C2/ru

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
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computing arrangements using knowledge-based models
    • G06N5/04—Inference or reasoning models
    • G06N5/045—Explanation of inference; Explainable artificial intelligence [XAI]; Interpretable artificial intelligence
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/30—Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data
    • G06F16/36—Creation of semantic tools, e.g. ontology or thesauri
    • G06F16/367—Ontology

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Computational Linguistics (AREA)
  • Data Mining & Analysis (AREA)
  • General Physics & Mathematics (AREA)
  • Physics & Mathematics (AREA)
  • Mathematical Physics (AREA)
  • Computing Systems (AREA)
  • Evolutionary Computation (AREA)
  • Artificial Intelligence (AREA)
  • Software Systems (AREA)
  • Medical Informatics (AREA)
  • Life Sciences & Earth Sciences (AREA)
  • Animal Behavior & Ethology (AREA)
  • Databases & Information Systems (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Debugging And Monitoring (AREA)
  • Devices For Executing Special Programs (AREA)

Abstract

1. Устройство (V) для обработки данных в логической системе с компьютерной поддержкой, содержащеепо меньшей мере одно устройство (R) логических выводов с блоком (R) рассуждений, которое вырабатывает логические выводы на основе семантической модели и экземпляра модели семантической модели на основе данных,по меньшей мере один источник (4, 5) данных для предоставления данных для обработки посредством устройства (R) логических выводов, а также по меньшей мере одно приложение (1), которое направляет запрос (А) на устройств (R) логических выводов и получает результаты логических выводов от устройства (R) логических выводов, причем устройство (R) логических выводов и источник (4, 5) данных взаимодействуют таким образом, что устройство (R) логических выводов на основе поступающих событий источника (4, 5) данных, в особенности к определенным моментам времени, получает основанные на событии данные от источника (4, 5) данных для генерации причинного и/или основанного на времени логического вывода, и, причем информации об основанных на событии данных источника (4, 5) данных включают в себя временные и причинные компоненты.2. Устройство (V) по п.1, в котором устройство (R) логических выводов содержит средства (7) удаления для удаления устаревших данных и/или логических выводов из памяти устройства (R) логических выводов.3. Устройство (V) по п.1, в котором устройство (R) логических выводов содержит средства (6) управления событиями для обработки событий, причем средства (6) управления событиями выполнены с возможностью передачи логических выводов блока (R) рассуждений в приложение (1).4. Устройство (V) по п.2, в котором устройство (R) логических выводов содерж

Claims (25)

1. Устройство (V) для обработки данных в логической системе с компьютерной поддержкой, содержащее
по меньшей мере одно устройство (R) логических выводов с блоком (Rp) рассуждений, которое вырабатывает логические выводы на основе семантической модели и экземпляра модели семантической модели на основе данных,
по меньшей мере один источник (4, 5) данных для предоставления данных для обработки посредством устройства (R) логических выводов, а также по меньшей мере одно приложение (1), которое направляет запрос (А) на устройств (R) логических выводов и получает результаты логических выводов от устройства (R) логических выводов, причем устройство (R) логических выводов и источник (4, 5) данных взаимодействуют таким образом, что устройство (R) логических выводов на основе поступающих событий источника (4, 5) данных, в особенности к определенным моментам времени, получает основанные на событии данные от источника (4, 5) данных для генерации причинного и/или основанного на времени логического вывода, и, причем информации об основанных на событии данных источника (4, 5) данных включают в себя временные и причинные компоненты.
2. Устройство (V) по п.1, в котором устройство (R) логических выводов содержит средства (7) удаления для удаления устаревших данных и/или логических выводов из памяти устройства (R) логических выводов.
3. Устройство (V) по п.1, в котором устройство (R) логических выводов содержит средства (6) управления событиями для обработки событий, причем средства (6) управления событиями выполнены с возможностью передачи логических выводов блока (Rp) рассуждений в приложение (1).
4. Устройство (V) по п.2, в котором устройство (R) логических выводов содержит средства (6) управления событиями для обработки событий, причем средства (6) управления событиями выполнены с возможностью передачи логических выводов блока (Rp) рассуждений в приложение (1).
5. Устройство (V) по любому из пп.1-4, в котором блок (Rp) рассуждений содержит средства (8) подписки, которые выполнены с возможностью соответствующего выбора источника (4, 5) данных на основе запроса (А) приложения (1).
6. Устройство (V) по любому из пп.1-4, в котором между источником (4, 5) данных и устройством (R) логических выводов расположены средства (Т) запуска.
7. Устройство (V) по п.5, в котором между источником (4, 5) данных и устройством (R) логических выводов расположены средства (Т) запуска.
8. Устройство (V) по любому из пп.1-4, 7, в котором причинные и временные компоненты основанных на событиях данных источников (4, 5) данных связаны друг с другом.
9. Устройство (V) по п.5, в котором причинные и временные компоненты основанных на событиях данных источников (4, 5) данных связаны друг с другом.
10. Устройство (V) по п.6, в котором причинные и временные компоненты основанных на событиях данных источников (4, 5) данных связаны друг с другом.
11. Устройство (V) по любому из пп.1-4, 7, 9, 10, в котором величина экземпляра модели зависит от величины временного окна.
12. Устройство (V) по п.5, в котором величина экземпляра модели зависит от величины временного окна.
13. Устройство (V) по п.6, в котором величина экземпляра модели зависит от величины временного окна.
14. Устройство (V) по п.8, в котором величина экземпляра модели зависит от величины временного окна.
15. Устройство (V) по любому из пп.1-4, 7, 9, 10, 12-14, в котором предусмотрены по меньшей мере одно первое и одно второе устройства (R) логических выводов, причем первое устройство (R) логических выводов выполнено в качестве источника (4, 5) данных для второго устройства (R) логических выводов.
16. Устройство (V) по п.5, в котором предусмотрены по меньшей мере одно первое и одно второе устройства (R) логических выводов, причем первое устройство (R) логических выводов выполнено в качестве источника (4, 5) данных для второго устройства (R) логических выводов.
17. Устройство (V) по п.6, в котором предусмотрены по меньшей мере одно первое и одно второе устройства (R) логических выводов, причем первое устройство (R) логических выводов выполнено в качестве источника (4, 5) данных для второго устройства (R) логических выводов.
18. Устройство (V) по п.8, в котором предусмотрены по меньшей мере одно первое и одно второе устройства (R) логических выводов, причем первое устройство (R) логических выводов выполнено в качестве источника (4, 5) данных для второго устройства (R) логических выводов.
19. Устройство (V) по п.11, в котором предусмотрены по меньшей мере одно первое и одно второе устройства (R) логических выводов, причем первое устройство (R) логических выводов выполнено в качестве источника (4, 5) данных для второго устройства (R) логических выводов.
20. Способ для обработки данных в логической системе с компьютерной поддержкой, включающий в себя следующие этапы:
- направление (S1) подлежащего подписке запроса (А) приложения (1) на по меньшей мере одно устройство (R) логических выводов,
- передача (S5, S7, S8) информации основанных на событии данных источника (4, 5) данных на устройство (R) логических выводов, причем передача (S5, S7, S8) данных источника (4, 5) данных на устройство (R) логических выводов осуществляется, основываясь на событии, в особенности к определенным моментам времени,
- определение (SF) причинного и/или основанного на времени логического вывода посредством блока (Rp) рассуждений устройства (R) логических выводов на основе семантической модели и экземпляра модели семантической модели на основе данных источника (4, 5) данных переданных информации и
- передача (S9, S10) логического вывода в приложение (1) посредством устройства (R) логических выводов.
21. Способ согласно п.20, содержащий этап удаления (S11, S12) устаревших данных и/или устаревших логических выводов из устройства (R) логических выводов и/или источника (4, 5) данных.
22. Способ согласно по п.20, в котором данные источника (4, 5) данных снабжаются временными метками и/или временными зависимостями, в частности, посредством устройства (R) логических выводов.
23. Способ по любому из пп.21 и 22, в котором устройство (R) логических выводов выбирает источник (4, 5) данных на основе запроса (А) приложения (1).
24. Применение устройства (V) по любому из пп.1-19, в особенности пригодного для выполнения способа по любому из пп.20-23, для обработки данных в логической системе с компьютерной поддержкой.
25. Машиночитаемый носитель, содержащий компьютерный программный продукт с программным кодом, при запуске на компьютере обеспечивающим выполнение способа по любому из пп.20-23.
RU2013116388/08A 2010-09-13 2011-08-17 Устройство для обработки данных в логической системе с компьютерной поддержкой и соответствующий способ RU2583720C2 (ru)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
DE102010040641.4 2010-09-13
DE102010040641A DE102010040641A1 (de) 2010-09-13 2010-09-13 Vorrichtung zur Verarbeitung von Daten in einem rechnergestützten Logiksystem sowie entsprechendes Verfahren
PCT/EP2011/064128 WO2012034805A1 (de) 2010-09-13 2011-08-17 Vorrichtung zur verarbeitung von daten in einem rechnergestützten logiksystem sowie entsprechendes verfahren

Publications (2)

Publication Number Publication Date
RU2013116388A true RU2013116388A (ru) 2014-10-20
RU2583720C2 RU2583720C2 (ru) 2016-05-10

Family

ID=44630578

Family Applications (1)

Application Number Title Priority Date Filing Date
RU2013116388/08A RU2583720C2 (ru) 2010-09-13 2011-08-17 Устройство для обработки данных в логической системе с компьютерной поддержкой и соответствующий способ

Country Status (6)

Country Link
US (1) US9202172B2 (ru)
EP (1) EP2569738A1 (ru)
CN (1) CN103080955B (ru)
DE (1) DE102010040641A1 (ru)
RU (1) RU2583720C2 (ru)
WO (1) WO2012034805A1 (ru)

Families Citing this family (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2015013899A1 (en) * 2013-07-31 2015-02-05 Empire Technology Development Llc Information extraction from semantic data
CN107077130B (zh) * 2014-11-13 2020-01-14 西门子公司 用于规划产品的制造的方法和具有自我描述信息的生产模块
RU2685965C1 (ru) * 2017-12-18 2019-04-23 Общество с ограниченной ответственностью "ТриниДата" Способ формирования правила получения логического вывода
CN115345305A (zh) * 2021-05-12 2022-11-15 华为云计算技术有限公司 一种推理系统、方法、装置及相关设备
CN117651954A (zh) * 2022-07-01 2024-03-05 北京小米移动软件有限公司 一种ai模型推理的方法及其装置

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2787902B1 (fr) 1998-12-23 2004-07-30 France Telecom Modele et procede d'implementation d'un agent rationnel dialoguant, serveur et systeme multi-agent pour la mise en oeuvre
US7565662B2 (en) * 2004-09-24 2009-07-21 International Business Machines Corporation Program agent initiated processing of enqueued event actions
RU53036U1 (ru) * 2005-08-11 2006-04-27 Федеральное государственное унитарное предприятие "Летно-исследовательский институт имени М.М. Громова" Связанная экспертная система
US7822699B2 (en) 2005-11-30 2010-10-26 Microsoft Corporation Adaptive semantic reasoning engine
DE102007029122A1 (de) 2006-08-25 2008-02-28 Siemens Ag Verfahren zur Abfrage von Informationen in einem rechnerbasierten Logiksystem
US8751420B2 (en) * 2012-04-02 2014-06-10 Telefonaktiebolaget L M Ericsson (Publ) Generic reasoner distribution of resources using a plurality of shallow reasoners, and a predictor server

Also Published As

Publication number Publication date
RU2583720C2 (ru) 2016-05-10
CN103080955A (zh) 2013-05-01
DE102010040641A1 (de) 2012-03-15
CN103080955B (zh) 2016-08-10
WO2012034805A1 (de) 2012-03-22
US9202172B2 (en) 2015-12-01
US20130179391A1 (en) 2013-07-11
EP2569738A1 (de) 2013-03-20

Similar Documents

Publication Publication Date Title
US11188380B2 (en) Method and apparatus for processing task in smart device
RU2013116388A (ru) Устройство для обработки данных в логической системе с компьютерной поддержкой и соответствующий способ
CN104317749B (zh) 信息写入方法和装置
US8762320B2 (en) State machine with out-of-order processing functionality and method thereof
CA2456339A1 (en) Declarative sequenced report parameterization
RU2017113939A (ru) Авторская разработка задания с предварительным просмотром данных
EP2867785A1 (en) Method and apparatus for virtual machine interoperability
CN106227736A (zh) 一种基于链表结构的逻辑流程实现方法及装置
CN102984233B (zh) 用于在远程协助中进行数据传输的装置和方法
WO2008106664A3 (en) Human behavioral modeling and simulation framework
DE502004006097D1 (de) Verfahren und Einrichtung zur Konfiguration eines Steuerungssystems
CN102446100A (zh) 用于数据类型的类型和长度抽象
CN107766307A (zh) 一种表单元素联动的方法和设备
CN115310408A (zh) 结合元数据的基于变换器的编码
CN112825154A (zh) 深度学习中在线推理的优化方法、装置及计算机存储介质
WO2008106661A3 (en) Human transparency paradigm
RU2009111227A (ru) Способ и устройство для выведения вероятностных моделей из детерминистических моделей
KR102266744B1 (ko) 수온예측장치 및 그 동작 방법
CN111917812B (zh) 数据的传输控制方法、装置、设备以及存储介质
JP6770935B2 (ja) 車両制御装置用の検証装置
JP2016528599A5 (ru)
Chaouche et al. A higher-order agent model for ambient systems
CN116916095B (zh) 一种云视频的平滑显示方法、装置、设备及存储介质
WO2024034077A1 (ja) 学習システム、学習方法、およびコンピュータ可読媒体
JP4732093B2 (ja) プログラム評価方法および装置ならびに評価プログラム

Legal Events

Date Code Title Description
PD4A Correction of name of patent owner
PC41 Official registration of the transfer of exclusive right

Effective date: 20201029