EP2712429A1 - Actuation of a technical system - Google Patents
Actuation of a technical systemInfo
- Publication number
- EP2712429A1 EP2712429A1 EP12743402.5A EP12743402A EP2712429A1 EP 2712429 A1 EP2712429 A1 EP 2712429A1 EP 12743402 A EP12743402 A EP 12743402A EP 2712429 A1 EP2712429 A1 EP 2712429A1
- Authority
- EP
- European Patent Office
- Prior art keywords
- determined
- observations
- relaxed
- subset
- abduction
- Prior art date
- Legal status (The legal status 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 status listed.)
- Ceased
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
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B17/00—Systems involving the use of models or simulators of said systems
- G05B17/02—Systems involving the use of models or simulators of said systems electric
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B23/00—Testing or monitoring of control systems or parts thereof
- G05B23/02—Electric testing or monitoring
- G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
- G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
- G05B23/0221—Preprocessing measurements, e.g. data collection rate adjustment; Standardization of measurements; Time series or signal analysis, e.g. frequency analysis or wavelets; Trustworthiness of measurements; Indexes therefor; Measurements using easily measured parameters to estimate parameters difficult to measure; Virtual sensor creation; De-noising; Sensor fusion; Unconventional preprocessing inherently present in specific fault detection methods like PCA-based methods
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B23/00—Testing or monitoring of control systems or parts thereof
- G05B23/02—Electric testing or monitoring
- G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
- G05B23/0259—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterized by the response to fault detection
- G05B23/0275—Fault isolation and identification, e.g. classify fault; estimate cause or root of failure
- G05B23/0278—Qualitative, e.g. if-then rules; Fuzzy logic; Lookup tables; Symptomatic search; FMEA
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/004—Error avoidance
-
- 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
Definitions
- the invention relates to a method and a device for controlling a technical system.
- Model-based information interpretation (and its application as part of a model-based diagnosis) is becoming increasingly important.
- Model-based methods have the advantage of an explicit and comprehensible description of the domain (eg of the technical system to be diagnosed).
- Such an explicit model can be investigated and ver ⁇ stood, which promotes the acceptance of the user especially with regard to a diagnosis or interpretation resulting ⁇ nis.
- the models can be adapted to new machines with a manageable effort, expanded with new domain knowledge, and even checked for correctness depending on the type of display.
- a vocabulary of the model can be used for a human-machine interaction and thus for the realization of an interactive interpretation process.
- the object of the invention is to avoid the above disadvantages and ge ⁇ called a possibility of waste production to enable in relation to incorrect observations.
- control can relate to or include control, diagnosis or other processing of data of the technical system.
- diagnosis such as the use of information during a maintenance interval
- Formulating as a multi-criteria optimization problem eliminates the need to off-set assumptions and explained observations.
- the presented approach is generic to a large extent, that is, it requires no assumptions about the used recuperferenzrelati ⁇ ones in addition to the intuitive determination that do not improve, the addition of a further assumption (at unchanged observation amount) the preference and (the addition of an ER clarified observation in unchanged assumption) can not worsen the preference.
- optimality corresponds here to a perfect fit with respect to the two order of preference (since the maximization of the observations and the minimization of the assumptions represent opposing or mutually different goals).
- One solution to the problem consists of pareto-optimal pairs (A, O).
- the general definition of optimality based on general orders makes it possible to use different optimality concepts, such as minimum and / or maximum number of elements, subset and / or superset relationship, or minimum and / or maximum sum of the weights of the contained elements ,
- the order is based on the orders A and o as follows: (A, O) ⁇ ( ⁇ ', ⁇ ') A A ' ⁇ O o'
- the relaxed abduction problem is solved by transforming the relaxed abduction problem into a hypergraph, so that tuples (A, O) are encoded by Pareto-optimal paths in the hypergraph.
- hyper-edges of the hypergraph are induced by rewriting prescribed rules.
- V ⁇ (ACB), (AC 3r.B) ⁇ A, Be NJ, r GN R ⁇ ,
- V r ⁇ (ACA), (ACT)
- p X are hyper paths from X to? /,
- a next embodiment is that shortest hyper paths are determined taking into account two preferences. It is also an embodiment that the shortest hyperpaths are determined taking into account two preferences by means of a label correction algorithm.
- a further development consists in the fact that the labels code pareto-optimal paths to the hitherto found nodes of the hypergraphene.
- An additional embodiment is that changes along the hyper-edges are propagated by means of a meet operator and / or by means of a join operator.
- Another embodiment is that the relaxed abduction problem is determined by means of a description logic.
- the above object is also achieved by means of a device for triggering a technical system comprising a processing unit which is set up in such a way that a relaxed abduction problem can be determined, the relaxed abduction problem can be solved and the technical system can be appropriately controlled.
- the processing unit may in particular be a Jerusalem horn lamp, a horn lamp, a horn lamp, a horn lamp, a horn lamp, a horn lamp, a horn lamp, a horn lamp, a horn lamp, a horn lamp, a horn lamp, a horn lamp, a horn lamp, a horn lamp, a horn lamp, a horn lamp, a horn lamp, a light-producing circuitry, or the like.
- peripherals memory, input / output interfaces, input / output devices, etc.
- the above explanations regarding the method apply to the device accordingly.
- the device can be implemented in one component or distributed in several components.
- angebun ⁇ eg, the Internet
- a system or a computer network is proposed comprising at least one of the devices described here.
- the solution presented herein further includes a computer program product directly loadable into a memory of a digital computer comprising program code portions adapted to perform steps of the method described herein.
- a computer-readable storage medium e.g. any memory comprising computer-executable instructions (e.g., in the form of program code) adapted for the computer to perform steps of the method described herein.
- Fig.l is a schematic representation of an algorithm in
- FIG. 3 shows a schematic block diagram with control units for controlling a technical system.
- the solution proposed here includes the fol ⁇ constricting steps:
- model-based information interpretation (and thus also model-based diagnostics) is significantly enhanced by the approach proposed here, since situations with an abundance of observation data (or a poorly formulated model) can now also be processed.
- the solution shown here is kon ⁇ conservatively, that is, in cases where a conventional method provides a solution to a corresponding solution is also provided by the approach proposed here.
- ⁇ can be understood as an inversion of the mode-ponens rule, which makes it possible to derive ⁇ as a hypothetical explanation for the occurrence of ⁇ , on condition that the presence of ⁇ in a sense justifies ⁇ .
- This general formulation can not assume causality between ⁇ and ⁇ .
- Different understandings of how ⁇ justifies the presence of ⁇ lead to different understandings of abductive interference, such as a so-called set-cover-based approach, logic-based approaches, or a knowledge-level approach.
- Definition 1 preference-based abduction problem
- VAP (T, A, ⁇ , ⁇ A )
- Typical preference orders for quantities are or include
- An order ⁇ (- ⁇ ) over sets is monotone (strictly monotonic) for a subset relationship, if 5 "C S implies S 'S (or S'CS implies, 5" S).
- an order (-) is anti-monotonic (strictly anti-monotonic) for a subset relationship if S '3 S implies S' ⁇ ⁇ S (S f S implies S '- ⁇ S).
- Applications of abductive information interpretation using a formal domain model include media interpretation and diagnostics for complex technical systems such as production machines. These domains have many partially simple observations due to a variety of sensors, whereas the model for all these observations is often not sufficiently or incompletely specified. The following example illustrates how the classical definition of abduction in a specific situation can fail:
- a production system includes a diagnostic unit, the production system being modeled on a model.
- the model indicates that a fluctuating power supply manifests itself in temporary failures of a main control unit while the communication links remain functional and a mechanical gripper of the production system is unaffected (the observations are modeled as a causal consequence of the diagnosis).
- O * is thus an element of the explanatory space (ES); furthermore (A * , O * ) ⁇ is minimal. It is now assumed that (A *, O *) not pareto-opt IMA1 is for ES, further Let ( ⁇ ', ⁇ ') £ ES, so that (without restriction of generality Be ⁇ ) -4 '- ⁇ . -4 * and O '- ⁇ o O * applies. That would result
- (A *, () *) is a pareto-opt ima1es element of the explanatory space ES.
- Analog is ( ⁇ ', ⁇ ') is a Pareto optimal element of the Erklä ⁇ approximately space ES.
- the description logic £ C + is a member of the £ X family for which a subsumption in PTIME can be proven.
- ££ + axioms are
- the (NF6) J * i O f'2 CS for ⁇ ⁇ , ß € Nc iV U ⁇ T ⁇ and ⁇ , ⁇ 2, s € Ni? ⁇
- the (NF1) describes a concept inclusion "all objects of a class A ⁇ are also objects of a class B".
- the (NF2) describes: "If an object belongs to the class A t and to the class A, then it also belongs to the class B". This can be abbreviated to "A and A 2 implies B”.
- the (NF3) denotes: "if an object to the class A is one, then it is connected with at least one object of class B over ei ⁇ ne relation r".
- the (NF4) describes: "If an object is connected to at least one object of class A % by means of a relation r, then this object belongs to the class S".
- the normal forms (NF5) and (NF6) are given correspondingly for the rollers ⁇ , r 2 , s GN R.
- IR1 A structure formed according to the rules of a graph made light ⁇ a derivation of subsumptions.
- the axiom oriented representation allows a high flexibil ⁇ ty and reuse of information. From completion rules to hypergraphs
- any normalized set of axioms can be described as a hypergraph (or equivalent) Representation of such a hypergraph) whose nodes are axioms of type (NF1) and (NF3) over the concepts and role names used in the axioms (corresponding to all as premise or
- Hyper-edges of the hypergraph are induced by rewriting the rules (CR1) to (CR6); For example, an instantiation of the rule (CR4) induces the CCF of CC 3r.D and DCE by means of the axiom 3r. d / ⁇ * , an H perkan ⁇ te
- Elements from the set of observations ö represent justifiable (ie, derived) information, so they correspond to nodes of the hypergraph.
- the Hy ⁇ perkanten are preferably provided according to this criterion with a label. This is also clear from the definition below.
- TZAV (T. O. A A. C) onsproblem a nonrelaxed Abdukti-.
- V T ⁇ (ACA), (ACT) IA e JVj ⁇ C 1 /
- H ⁇ AP is polynomial in
- hyperpath there is a hyperpath from X to t if there is a hyper edge connecting a given set of nodes Y to t, and any 6V from A ⁇ can be reached via a hyperpath.
- px hyperpaths are from X to;? / ,: Hyperpath search for relaxed abduction
- This section exemplifies an algorithm for solving the relaxed abduction problem TZAV.
- ⁇ the shortest paths Hyper determined in consideration of two different criteria (multi-objective optimization).
- the meet operator is defined as follows Function: meet (Li L%, just, concl)
- the join operator can be defined as follows:
- FIG. 1 is a schematic representation of an algorithm in pseudo-code notation for exemplifying the propagation of the labels based on rule (CR4).
- the labels for the hyperpath of the relaxed reduction problem are generated by means of the algorithm shown in FIG.
- lines 1 to 4 an initialization takes place and in the following lines of the code fragment shown the labels are assigned or changes of the labels are propagated.
- KAP- (T- ⁇ . O. o) The set of all solutions for a relaxed abduction problem "KAP- (T- ⁇ . O. o) is given by a - ⁇ - minimum completion of MP (/ i ⁇ p) under an Components ⁇ ten coll association pursuant
- Hyperpfacle in H AVrs that start at Vy represent explanations. Labels constructed based on these hyperpaths can be used to encode relevant information used during this derivation. According to the claim 2, it suffices to show that the proposed algorithm, the labels of all Pareto-optimal paths in IIRAV which correctly determined at r ⁇ begin NEN.
- the worst-case size of nodes Labels least reduced to ⁇ a factor 0 ⁇
- the expected number of non-dominated paths to a state can also be determined as follows: Any two orders are taken over elements of .4 and ö such that any subset directly can be coded as a binary vector of length ⁇ A ⁇ or ⁇ ö ⁇ . From this it can be deduced that the labels are on average only of the order l, 5 ' * ⁇ + ' c ⁇ instead of 2W +! O I grow.
- the maximum label size will be set to
- weights can be used to calculate limits for a maximum score that can be achieved by a partial solution; this score can be used as a pruning criterion.
- the relaxed abduction extends the logic-based abduction by the possibility of interpreting false information regarding incomplete models.
- a solution of the relieved abduction over ££ + knowledge bases based on pareto-optimal hyperpathias in the derivation graph is presented. This approach also has significant advantages in terms of performance over a mere enumeration despite the inherent exponential growth of node labels.
- the proposed algorithm is accordingly applicable to other description logics for which a subsumption can be decided by completion. This is e.g. in the case of the ££ ++ description logic.
- a relaxed abduction problem for the technical system is determined, e.g. based on data from transducers or sensors or other collectable data concerning the technical system.
- the relaxed abduction problem is solved.
- the technical system may be a technical facility, a manufacturing facility, a process control, a power plant or the like.
- control unit 301 which is arranged by way of example within a technical An ⁇ position 302nd
- a control unit 303 is provided, which is arranged separately from the technical system 302 and connected to it via a network 304, for example the Internet.
- Both control units 301, 303 can be used to control the technical system 302; in particular, at least one of the control units 301, 303 can carry out a diagnosis for the technical system 302 and / or set parameters of the technical system 302.
Abstract
Description
Claims
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
DE102011079034A DE102011079034A1 (en) | 2011-07-12 | 2011-07-12 | Control of a technical system |
PCT/EP2012/062815 WO2013007547A1 (en) | 2011-07-12 | 2012-07-02 | Actuation of a technical system |
Publications (1)
Publication Number | Publication Date |
---|---|
EP2712429A1 true EP2712429A1 (en) | 2014-04-02 |
Family
ID=46614441
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
EP12743402.5A Ceased EP2712429A1 (en) | 2011-07-12 | 2012-07-02 | Actuation of a technical system |
Country Status (5)
Country | Link |
---|---|
US (1) | US9449275B2 (en) |
EP (1) | EP2712429A1 (en) |
CN (1) | CN103782245B (en) |
DE (1) | DE102011079034A1 (en) |
WO (1) | WO2013007547A1 (en) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE102011079034A1 (en) | 2011-07-12 | 2013-01-17 | Siemens Aktiengesellschaft | Control of a technical system |
US11436265B2 (en) * | 2017-06-13 | 2022-09-06 | Microsoft Technology Licensing, Llc | System for presenting tailored content based on user sensibilities |
JP7127686B2 (en) * | 2018-08-27 | 2022-08-30 | 日本電気株式会社 | Hypothetical Inference Device, Hypothetical Inference Method, and Program |
Family Cites Families (153)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4783741A (en) | 1983-08-08 | 1988-11-08 | Bernhard Mitterauer | Computer system for simulating reticular formation operation |
US4813013A (en) | 1984-03-01 | 1989-03-14 | The Cadware Group, Ltd. | Schematic diagram generating system using library of general purpose interactively selectable graphic primitives to create special applications icons |
US4656603A (en) | 1984-03-01 | 1987-04-07 | The Cadware Group, Ltd. | Schematic diagram generating system using library of general purpose interactively selectable graphic primitives to create special applications icons |
US5852811A (en) | 1987-04-15 | 1998-12-22 | Proprietary Financial Products, Inc. | Method for managing financial accounts by a preferred allocation of funds among accounts |
US5018075A (en) | 1989-03-24 | 1991-05-21 | Bull Hn Information Systems Inc. | Unknown response processing in a diagnostic expert system |
US5293323A (en) | 1991-10-24 | 1994-03-08 | General Electric Company | Method for fault diagnosis by assessment of confidence measure |
GB9217886D0 (en) | 1992-08-21 | 1992-10-07 | Canon Res Ct Europe Ltd | Method and apparatus for parsing natural language |
US5631831A (en) | 1993-02-26 | 1997-05-20 | Spx Corporation | Diagnosis method for vehicle systems |
CN1092151A (en) | 1993-03-08 | 1994-09-14 | 三洋电机株式会社 | The control method of air conditioner |
GB2278467B (en) | 1993-05-20 | 1998-04-01 | Canon Res Ct Europe Ltd | Apparatus and method for data processing and/or for control |
US5712960A (en) | 1993-07-02 | 1998-01-27 | Cv Soft, S.R.L. | System and methods for intelligent database management using abductive reasoning |
US5704018A (en) | 1994-05-09 | 1997-12-30 | Microsoft Corporation | Generating improved belief networks |
US5810747A (en) | 1996-08-21 | 1998-09-22 | Interactive Remote Site Technology, Inc. | Remote site medical intervention system |
US6012152A (en) | 1996-11-27 | 2000-01-04 | Telefonaktiebolaget Lm Ericsson (Publ) | Software fault management system |
US5884294A (en) | 1997-04-18 | 1999-03-16 | Northrop Grumman Corporation | System and method for functional recognition of emitters |
US6389406B1 (en) | 1997-07-30 | 2002-05-14 | Unisys Corporation | Semiotic decision making system for responding to natural language queries and components thereof |
US6044347A (en) | 1997-08-05 | 2000-03-28 | Lucent Technologies Inc. | Methods and apparatus object-oriented rule-based dialogue management |
US6701516B1 (en) | 1998-05-21 | 2004-03-02 | Qifang Li | P++ software |
US6394263B1 (en) | 1999-07-30 | 2002-05-28 | Unisys Corporation | Autognomic decision making system and method |
US6278987B1 (en) | 1999-07-30 | 2001-08-21 | Unisys Corporation | Data processing method for a semiotic decision making system used for responding to natural language queries and other purposes |
US6505184B1 (en) | 1999-07-30 | 2003-01-07 | Unisys Corporation | Autognomic decision making system and method |
US6601026B2 (en) | 1999-09-17 | 2003-07-29 | Discern Communications, Inc. | Information retrieval by natural language querying |
US6351675B1 (en) | 1999-10-04 | 2002-02-26 | Medtronic, Inc. | System and method of programming an implantable medical device |
US7725307B2 (en) | 1999-11-12 | 2010-05-25 | Phoenix Solutions, Inc. | Query engine for processing voice based queries including semantic decoding |
US9076448B2 (en) | 1999-11-12 | 2015-07-07 | Nuance Communications, Inc. | Distributed real time speech recognition system |
US7050977B1 (en) | 1999-11-12 | 2006-05-23 | Phoenix Solutions, Inc. | Speech-enabled server for internet website and method |
US7392185B2 (en) | 1999-11-12 | 2008-06-24 | Phoenix Solutions, Inc. | Speech based learning/training system using semantic decoding |
JP3956581B2 (en) | 2000-05-18 | 2007-08-08 | 株式会社日立製作所 | Inference system based on case similarity |
US7389208B1 (en) | 2000-06-30 | 2008-06-17 | Accord Solutions, Inc. | System and method for dynamic knowledge construction |
WO2002021481A1 (en) | 2000-09-01 | 2002-03-14 | Keith Raniere | Rational inquiry method |
US20030073939A1 (en) | 2001-02-23 | 2003-04-17 | Taylor Robin L. | Continuous passive motion apparatus |
BR0209347A (en) | 2001-05-03 | 2004-06-15 | Forensic Technology Wai Inc | Evidence Management Method |
US20030028469A1 (en) | 2001-06-29 | 2003-02-06 | International Business Machines Corporation | Methods and apparatus for enabling an electronic information marketplace |
US20030078838A1 (en) | 2001-10-18 | 2003-04-24 | Szmanda Jeffrey P. | Method of retrieving advertising information and use of the method |
ITFI20010199A1 (en) | 2001-10-22 | 2003-04-22 | Riccardo Vieri | SYSTEM AND METHOD TO TRANSFORM TEXTUAL COMMUNICATIONS INTO VOICE AND SEND THEM WITH AN INTERNET CONNECTION TO ANY TELEPHONE SYSTEM |
JP2003273939A (en) | 2002-03-13 | 2003-09-26 | Nec Corp | Multiplex transmission system, converter and alarm transfer method |
US20070094209A1 (en) | 2002-10-03 | 2007-04-26 | Steward Donald V | Cause and effect problem solving system and method |
WO2004046854A2 (en) | 2002-11-15 | 2004-06-03 | Erick Von Schweber | A method and apparatus for information surveying |
US7421738B2 (en) | 2002-11-25 | 2008-09-02 | Honeywell International Inc. | Skeptical system |
US7181376B2 (en) | 2003-06-03 | 2007-02-20 | International Business Machines Corporation | Apparatus and method for coverage directed test |
US7313573B2 (en) | 2003-09-17 | 2007-12-25 | International Business Machines Corporation | Diagnosis of equipment failures using an integrated approach of case based reasoning and reliability analysis |
US8078559B2 (en) | 2004-06-30 | 2011-12-13 | Northrop Grumman Systems Corporation | System and method for the automated discovery of unknown unknowns |
US20060112048A1 (en) | 2004-10-29 | 2006-05-25 | Talbot Patrick J | System and method for the automated discovery of unknown unknowns |
US20060122834A1 (en) | 2004-12-03 | 2006-06-08 | Bennett Ian M | Emotion detection device & method for use in distributed systems |
GB0502259D0 (en) | 2005-02-03 | 2005-03-09 | British Telecomm | Document searching tool and method |
US20060256953A1 (en) | 2005-05-12 | 2006-11-16 | Knowlagent, Inc. | Method and system for improving workforce performance in a contact center |
US7613667B2 (en) | 2005-06-30 | 2009-11-03 | The Boeing Company | Methods and systems for analyzing incident reports |
US8743708B1 (en) | 2005-08-01 | 2014-06-03 | Rockwell Collins, Inc. | Device and method supporting cognitive, dynamic media access control |
US7450523B1 (en) | 2005-08-01 | 2008-11-11 | Rockwell Collins, Inc. | Control of reconfigurable SIS/MAC protocols used in wireless communication devices |
US7606784B2 (en) | 2005-08-02 | 2009-10-20 | Northrop Grumman Corporation | Uncertainty management in a decision-making system |
US8677377B2 (en) | 2005-09-08 | 2014-03-18 | Apple Inc. | Method and apparatus for building an intelligent automated assistant |
US20070061110A1 (en) | 2005-09-09 | 2007-03-15 | Canadian Space Agency | System and method for diagnosis based on set operations |
US7694226B2 (en) | 2006-01-03 | 2010-04-06 | Eastman Kodak Company | System and method for generating a work of communication with supplemental context |
US8719005B1 (en) | 2006-02-10 | 2014-05-06 | Rusty Shawn Lee | Method and apparatus for using directed reasoning to respond to natural language queries |
US8060567B2 (en) | 2006-04-12 | 2011-11-15 | Google Inc. | Method, system, graphical user interface, and data structure for creating electronic calendar entries from email messages |
US7313515B2 (en) | 2006-05-01 | 2007-12-25 | Palo Alto Research Center Incorporated | Systems and methods for detecting entailment and contradiction |
US20070288467A1 (en) | 2006-06-07 | 2007-12-13 | Motorola, Inc. | Method and apparatus for harmonizing the gathering of data and issuing of commands in an autonomic computing system using model-based translation |
US20070288405A1 (en) * | 2006-06-07 | 2007-12-13 | Motorola, Inc. | Problem solving mechanism selection facilitation apparatus and method |
US20070288419A1 (en) | 2006-06-07 | 2007-12-13 | Motorola, Inc. | Method and apparatus for augmenting data and actions with semantic information to facilitate the autonomic operations of components and systems |
US7720787B2 (en) * | 2006-06-10 | 2010-05-18 | Distip Pty Limited | Intelligence analysis method and system using subjective logic |
US7783582B2 (en) | 2006-07-10 | 2010-08-24 | University Of Washington | Bayesian-network-based method and system for detection of clinical-laboratory errors using synthetic errors |
US20080015891A1 (en) | 2006-07-12 | 2008-01-17 | Medai, Inc. | Method and System to Assess an Acute and Chronic Disease Impact Index |
US20080071714A1 (en) | 2006-08-21 | 2008-03-20 | Motorola, Inc. | Method and apparatus for controlling autonomic computing system processes using knowledge-based reasoning mechanisms |
US9318108B2 (en) | 2010-01-18 | 2016-04-19 | Apple Inc. | Intelligent automated assistant |
US8065319B2 (en) | 2007-04-01 | 2011-11-22 | Nec Laboratories America, Inc. | Runtime semantic query optimization for event stream processing |
US8977255B2 (en) | 2007-04-03 | 2015-03-10 | Apple Inc. | Method and system for operating a multi-function portable electronic device using voice-activation |
US8024610B2 (en) | 2007-05-24 | 2011-09-20 | Palo Alto Research Center Incorporated | Diagnosing intermittent faults |
US8271257B2 (en) | 2007-05-24 | 2012-09-18 | Palo Alto Research Center Incorporated | Troubleshooting temporal behavior in “combinational” circuits |
US20080306899A1 (en) | 2007-06-07 | 2008-12-11 | Gregory Michelle L | Methods, apparatus, and computer-readable media for analyzing conversational-type data |
US7962321B2 (en) | 2007-07-10 | 2011-06-14 | Palo Alto Research Center Incorporated | Modeling when connections are the problem |
US8463556B2 (en) | 2007-08-30 | 2013-06-11 | Exelis Inc. | System and method for radioisotope identification |
US9256713B2 (en) | 2007-08-30 | 2016-02-09 | Exelis Inc. | Library generation for detection and identification of shielded radioisotopes |
US8543565B2 (en) | 2007-09-07 | 2013-09-24 | At&T Intellectual Property Ii, L.P. | System and method using a discriminative learning approach for question answering |
US9053089B2 (en) | 2007-10-02 | 2015-06-09 | Apple Inc. | Part-of-speech tagging using latent analogy |
US8607311B2 (en) | 2007-12-21 | 2013-12-10 | Microsoft Corporation | Delegation in logic-based access control |
US8010560B2 (en) | 2007-12-21 | 2011-08-30 | Microsoft Corporation | Abducing assertion to support access query |
US8839344B2 (en) | 2008-01-28 | 2014-09-16 | Microsoft Corporation | Access policy analysis |
US8065143B2 (en) | 2008-02-22 | 2011-11-22 | Apple Inc. | Providing text input using speech data and non-speech data |
US20090222921A1 (en) | 2008-02-29 | 2009-09-03 | Utah State University | Technique and Architecture for Cognitive Coordination of Resources in a Distributed Network |
US8996376B2 (en) | 2008-04-05 | 2015-03-31 | Apple Inc. | Intelligent text-to-speech conversion |
US20090328133A1 (en) | 2008-06-27 | 2009-12-31 | Motorola, Inc. | Capability management for network elements |
US20090327172A1 (en) | 2008-06-27 | 2009-12-31 | Motorola, Inc. | Adaptive knowledge-based reasoning in autonomic computing systems |
CA2671002A1 (en) | 2008-07-07 | 2010-01-07 | Glen Drummond | Persona-based customer relationship management tools and methods for sales support |
US8768702B2 (en) | 2008-09-05 | 2014-07-01 | Apple Inc. | Multi-tiered voice feedback in an electronic device |
US8898568B2 (en) | 2008-09-09 | 2014-11-25 | Apple Inc. | Audio user interface |
US8001423B2 (en) * | 2008-09-26 | 2011-08-16 | Bae Systems Information And Electronic Systems Integration Inc. | Prognostic diagnostic capability tracking system |
US8712776B2 (en) | 2008-09-29 | 2014-04-29 | Apple Inc. | Systems and methods for selective text to speech synthesis |
US8676904B2 (en) | 2008-10-02 | 2014-03-18 | Apple Inc. | Electronic devices with voice command and contextual data processing capabilities |
US8862252B2 (en) | 2009-01-30 | 2014-10-14 | Apple Inc. | Audio user interface for displayless electronic device |
US20100205649A1 (en) | 2009-02-06 | 2010-08-12 | Microsoft Corporation | Credential gathering with deferred instantiation |
US8380507B2 (en) | 2009-03-09 | 2013-02-19 | Apple Inc. | Systems and methods for determining the language to use for speech generated by a text to speech engine |
CN101872345A (en) | 2009-04-27 | 2010-10-27 | 刘冬梅 | Logical reasoning mechanism being suitable for legal expert system |
US20120185424A1 (en) | 2009-07-01 | 2012-07-19 | Quantum Leap Research, Inc. | FlexSCAPE: Data Driven Hypothesis Testing and Generation System |
US20110231356A1 (en) | 2009-07-01 | 2011-09-22 | Quantum Leap Research, Inc. | FlexSCAPE: Data Driven Hypothesis Testing and Generation System |
US8458229B2 (en) | 2009-10-21 | 2013-06-04 | Nokia Corporation | Method and system for projecting and injecting information spaces |
US8285664B2 (en) | 2009-11-03 | 2012-10-09 | Clausal Computing Oy | Semantic network with selective indexing |
US8682649B2 (en) | 2009-11-12 | 2014-03-25 | Apple Inc. | Sentiment prediction from textual data |
US8285438B2 (en) | 2009-11-16 | 2012-10-09 | Honeywell International Inc. | Methods systems and apparatus for analyzing complex systems via prognostic reasoning |
US20150310497A1 (en) | 2009-12-17 | 2015-10-29 | David Valin | Method and process for registration, creation and management of micro shares of real or intangible properties and advertisements in a network system |
US20110153362A1 (en) | 2009-12-17 | 2011-06-23 | Valin David A | Method and mechanism for identifying protecting, requesting, assisting and managing information |
US8311838B2 (en) | 2010-01-13 | 2012-11-13 | Apple Inc. | Devices and methods for identifying a prompt corresponding to a voice input in a sequence of prompts |
US9213821B2 (en) | 2010-02-24 | 2015-12-15 | Infosys Limited | System and method for monitoring human interaction |
US8682667B2 (en) | 2010-02-25 | 2014-03-25 | Apple Inc. | User profiling for selecting user specific voice input processing information |
US20110218855A1 (en) | 2010-03-03 | 2011-09-08 | Platformation, Inc. | Offering Promotions Based on Query Analysis |
US20130054506A1 (en) | 2010-04-23 | 2013-02-28 | Siemens Aktiengesellschaft | Method and device for controlling an industrial system |
US10192641B2 (en) | 2010-04-29 | 2019-01-29 | The Regents Of The University Of California | Method of generating a dynamic pathway map |
US9160738B2 (en) | 2010-05-27 | 2015-10-13 | Microsoft Corporation | Delegation-based authorization |
US20110314075A1 (en) | 2010-06-18 | 2011-12-22 | Nokia Corporation | Method and apparatus for managing distributed computations within a computation space |
US8713021B2 (en) | 2010-07-07 | 2014-04-29 | Apple Inc. | Unsupervised document clustering using latent semantic density analysis |
US8719006B2 (en) | 2010-08-27 | 2014-05-06 | Apple Inc. | Combined statistical and rule-based part-of-speech tagging for text-to-speech synthesis |
US9047565B2 (en) | 2010-09-17 | 2015-06-02 | Fluor Technologies Corporation | Intelligent plant development library environment |
US8719014B2 (en) | 2010-09-27 | 2014-05-06 | Apple Inc. | Electronic device with text error correction based on voice recognition data |
FR2966616B1 (en) | 2010-10-22 | 2012-12-14 | Airbus | METHOD, DEVICE AND COMPUTER PROGRAM FOR AIDING THE DIAGNOSIS OF A SYSTEM OF AN AIRCRAFT USING GRAPHICS OF REDUCED EVENTS |
US11096577B2 (en) | 2010-11-03 | 2021-08-24 | Nxgn Management, Llc | Proactive patient health care inference engines and systems |
US20120185330A1 (en) | 2011-01-14 | 2012-07-19 | Platformation, Inc. | Discovery and Publishing Among Multiple Sellers and Multiple Buyers |
US8825642B2 (en) | 2011-01-27 | 2014-09-02 | Electronic Entertainment Design And Research | Game recommendation engine for mapping games to disabilities |
US20120197751A1 (en) | 2011-01-27 | 2012-08-02 | Electronic Entertainment Design And Research | Product recommendations and weighting optimization systems |
US20120197653A1 (en) | 2011-01-27 | 2012-08-02 | Electronic Entertainment Design And Research | Brand identification, systems and methods |
US8781836B2 (en) | 2011-02-22 | 2014-07-15 | Apple Inc. | Hearing assistance system for providing consistent human speech |
US20120226650A1 (en) | 2011-03-03 | 2012-09-06 | Nicholas Witchey | Black Box Innovation, Systems and Methods |
US9262612B2 (en) | 2011-03-21 | 2016-02-16 | Apple Inc. | Device access using voice authentication |
GB2503163B (en) | 2011-03-22 | 2019-05-29 | Nant Holdings Ip Llc | Reasoning Engines |
US8572290B1 (en) | 2011-05-02 | 2013-10-29 | Board Of Supervisors Of Louisiana State University And Agricultural And Mechanical College | System and architecture for robust management of resources in a wide-area network |
US9153142B2 (en) | 2011-05-26 | 2015-10-06 | International Business Machines Corporation | User interface for an evidence-based, hypothesis-generating decision support system |
US8812294B2 (en) | 2011-06-21 | 2014-08-19 | Apple Inc. | Translating phrases from one language into another using an order-based set of declarative rules |
DE102011079034A1 (en) | 2011-07-12 | 2013-01-17 | Siemens Aktiengesellschaft | Control of a technical system |
CA2748698A1 (en) | 2011-08-10 | 2013-02-10 | Learningmate Solutions Private Limited | System, method and apparatus for managing education and training workflows |
US8706472B2 (en) | 2011-08-11 | 2014-04-22 | Apple Inc. | Method for disambiguating multiple readings in language conversion |
US8762156B2 (en) | 2011-09-28 | 2014-06-24 | Apple Inc. | Speech recognition repair using contextual information |
WO2013060389A1 (en) | 2011-10-28 | 2013-05-02 | Siemens Aktiengesellschaft | Control of a machine |
US20130110573A1 (en) | 2011-11-02 | 2013-05-02 | Fluor Technologies Corporation | Identification and optimization of over-engineered components |
US20140249875A1 (en) | 2011-12-21 | 2014-09-04 | International Business Machines Corporation | Detecting cases with conflicting rules |
US20140358865A1 (en) | 2011-12-28 | 2014-12-04 | Hans-Gerd Brummel | Processing a technical system |
US20130204813A1 (en) | 2012-01-20 | 2013-08-08 | Fluential, Llc | Self-learning, context aware virtual assistants, systems and methods |
US20130211841A1 (en) | 2012-02-15 | 2013-08-15 | Fluential, Llc | Multi-Dimensional Interactions and Recall |
US20140195664A1 (en) | 2012-02-15 | 2014-07-10 | Flybits, Inc. | Zone Oriented Applications, Systems and Methods |
US20130212130A1 (en) | 2012-02-15 | 2013-08-15 | Flybits, Inc. | Zone Oriented Applications, Systems and Methods |
EP2836921A4 (en) | 2012-04-12 | 2017-05-24 | Tata Consultancy Services Limited | A system and a method for reasoning and running continuous queries over data streams |
US8768869B1 (en) | 2012-04-19 | 2014-07-01 | The United States Of America As Represented By The Secretary Of The Navy | BRIAN: a basic regimen for intelligent analysis using networks |
US9258306B2 (en) | 2012-05-11 | 2016-02-09 | Infosys Limited | Methods for confirming user interaction in response to a request for a computer provided service and devices thereof |
US8775442B2 (en) | 2012-05-15 | 2014-07-08 | Apple Inc. | Semantic search using a single-source semantic model |
US8965818B2 (en) | 2012-05-16 | 2015-02-24 | Siemens Aktiengesellschaft | Method and system for supporting a clinical diagnosis |
DE102012211511A1 (en) | 2012-07-03 | 2014-01-09 | Siemens Aktiengesellschaft | Determining the suitability of a resource |
US8935167B2 (en) | 2012-09-25 | 2015-01-13 | Apple Inc. | Exemplar-based latent perceptual modeling for automatic speech recognition |
US9519804B2 (en) | 2013-02-05 | 2016-12-13 | Hackproof Technologies, Inc. | Domain-specific hardwired symbolic machine that validates and maps a symbol |
US9367683B2 (en) | 2013-03-15 | 2016-06-14 | Cyberricade, Inc. | Cyber security |
US9607462B2 (en) | 2013-03-18 | 2017-03-28 | Kenneth Gerald Blemel | System for anti-tamper parcel packaging, shipment, receipt, and storage |
US10740358B2 (en) | 2013-04-11 | 2020-08-11 | Oracle International Corporation | Knowledge-intensive data processing system |
KR101786987B1 (en) | 2013-04-19 | 2017-10-18 | 엠파이어 테크놀로지 디벨롭먼트 엘엘씨 | Coarse semantic data set enhancement for a reasoning task |
US20150199607A1 (en) | 2013-05-31 | 2015-07-16 | Empire Technology Development Llc | Incremental reasoning based on scalable and dynamical semantic data |
US20150046388A1 (en) | 2013-08-07 | 2015-02-12 | Wright State University | Semantic perception |
FI10723U1 (en) | 2013-09-13 | 2014-12-17 | Maarit Laitinen | Mathematical teaching materials |
IL231281A0 (en) | 2014-03-03 | 2014-08-31 | Avi Mistriel | Referent-centric social networking |
-
2011
- 2011-07-12 DE DE102011079034A patent/DE102011079034A1/en not_active Ceased
-
2012
- 2012-07-02 CN CN201280044282.4A patent/CN103782245B/en active Active
- 2012-07-02 EP EP12743402.5A patent/EP2712429A1/en not_active Ceased
- 2012-07-02 US US14/232,315 patent/US9449275B2/en active Active
- 2012-07-02 WO PCT/EP2012/062815 patent/WO2013007547A1/en active Application Filing
Non-Patent Citations (1)
Title |
---|
THOMAS M HUBAUER ET AL: "Relaxed Abduction: Robust Information Interpretation for Incomplete Models", PROCEEDINGS OF THE 2011 INTERNATIONAL WORKSHOP ON DESCRIPTION LOGICS (DL2011) BARCELONA, SPAIN, JULY 13-16, 2011, 30 June 2011 (2011-06-30), pages 1 - 11, XP055110397, Retrieved from the Internet <URL:http://ceur-ws.org/Vol-745/paper_48.pdf> [retrieved on 20140327] * |
Also Published As
Publication number | Publication date |
---|---|
DE102011079034A1 (en) | 2013-01-17 |
WO2013007547A1 (en) | 2013-01-17 |
US20140149337A1 (en) | 2014-05-29 |
CN103782245B (en) | 2016-12-21 |
US9449275B2 (en) | 2016-09-20 |
CN103782245A (en) | 2014-05-07 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
DE602005004997T2 (en) | Diagnostic procedure and system | |
DE102004024262A1 (en) | Knowledge-based diagnostic system for a complex technical system with two separate knowledge bases for processing technical system data and processing customer complaints | |
EP1020815A2 (en) | Apparatus and method for automatic diagnosis of a technical system with efficient reuse of information | |
DE19732046A1 (en) | Process diagnostic system and method for diagnosing processes and states of a technical process | |
EP1256037B1 (en) | Method for operating a technical facility | |
WO2005055134A2 (en) | Inference machine | |
EP3781922A1 (en) | Diagnostic system and method for processing data of a motor vehicle | |
EP2712429A1 (en) | Actuation of a technical system | |
AT412131B (en) | AUTOMATION SYSTEM FOR SOLVING A PROCESS TECHNICAL TASK AND METHOD FOR THIS | |
WO2012034805A1 (en) | Apparatus for processing data in a computer‑aided logic system, and appropriate method | |
EP2756361A1 (en) | Control of a machine | |
DE102020107001A1 (en) | Method and device for determining the status of an on-board electrical system of a vehicle | |
WO2022038060A1 (en) | Method for diagnosing an open- and/or closed-loop control system, and open- and/or closed-loop control system | |
EP1506474A2 (en) | Method for generating an automation program | |
EP3968149A1 (en) | Generation of control rules from schematic control systems | |
WO2008064616A1 (en) | Method and diagnostic system for the diagnosis of a technical system | |
DE112019007691T5 (en) | SYSTEM FOR PLANNING ROBOT ACTIONS, ROBOT SYSTEM, ROBOT TASK VERIFICATION SYSTEM AND METHOD FOR PLANNING ROBOT ACTIONS | |
WO2017028931A1 (en) | Method for generating a switching sequence in an industrial system, and device | |
DE102022112606B3 (en) | Computer-implemented method for calibrating a technical system | |
WO2001075535A2 (en) | State control of technical systems | |
WO2013000504A1 (en) | Method for assisting the commissioning of a technical system | |
DE102020202514A1 (en) | Method for determining the reliability of a technical system | |
WO2023144014A1 (en) | Technical system with cloud services use | |
DE19828528A1 (en) | Expert system e.g. for process control | |
EP4120069A1 (en) | Transformation of an application into a semantic description |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PUAI | Public reference made under article 153(3) epc to a published international application that has entered the european phase |
Free format text: ORIGINAL CODE: 0009012 |
|
17P | Request for examination filed |
Effective date: 20131227 |
|
AK | Designated contracting states |
Kind code of ref document: A1 Designated state(s): AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR |
|
DAX | Request for extension of the european patent (deleted) | ||
RAP1 | Party data changed (applicant data changed or rights of an application transferred) |
Owner name: SIEMENS AKTIENGESELLSCHAFT |
|
17Q | First examination report despatched |
Effective date: 20171109 |
|
REG | Reference to a national code |
Ref country code: DE Ref legal event code: R003 |
|
STAA | Information on the status of an ep patent application or granted ep patent |
Free format text: STATUS: THE APPLICATION HAS BEEN REFUSED |
|
18R | Application refused |
Effective date: 20200730 |