摘要:
A method and apparatus for actuating a machine is provided in which a relaxed abduction problem is determined in order to explain the greatest possible part of the observations with the fewest possible assumptions. Based upon two preference orders over a subset of observations and a subset of assumptions, tuples are determined so that the theory together with the subset of assumptions explains the subset of observations. On the basis of the formal validity of the approach certain characteristics of the set of results (such as correctness, completeness, etc.) are checked. By the choice of underlying representational language and the preference relations, the complexity of the problem-solving process is influenced and thus flexibly adapted with regard to domain requirements. The invention may be used for any machines, e.g. gas turbines or steam turbines.
摘要:
A method and apparatus for actuating a machine is provided in which a relaxed abduction problem is determined in order to explain the greatest possible part of the observations with the fewest possible assumptions. Based upon two preference orders over a subset of observations and a subset of assumptions, tuples are determined so that the theory together with the subset of assumptions explains the subset of observations. On the basis of the formal validity of the approach certain characteristics of the set of results (such as correctness, completeness, etc.) are checked. By the choice of underlying representational language and the preference relations, the complexity of the problem-solving process is influenced and thus flexibly adapted with regard to domain requirements. The invention may be used for any machines, e.g. gas turbines or steam turbines.
摘要:
Rules of a rule base are transformed in an automated fashion in order to be able to conduct consistency checks and generate explanations and thus classify and correct existing rules. This is beneficial in particular in large systems with existing rule bases, e.g., wherein each rule is associated with at least a diagnostic task of a component of a technical system, e.g., a power system. The task can be subject to fault detection, fault isolation, predictive diagnosis or reporting. The solution presented provides an overview of large sets of rules and thus allows determining which rules are suitable and which are not. The invention is applicable for all kinds of technical systems, e.g., industry and automation systems, in particular power systems.
摘要:
A system, a method and a computer product are disclosed. The method includes using at least one domain ontology including a plurality of domain models connected through mappings to a plurality of data sources, the data sources storing data to be accessed by the query; receiving a query by a query formulation unit; evaluating at least one of a language for defining at least one of the domain models involved in the query, a language of mappings involved in the query and a language of the query and selecting a query answering mode in accordance with results of the evaluation and retrieving an answer meeting at least one query condition from the data sources.
摘要:
In a method, system, and storage medium for obtaining system diagnosis, a diagnosis domain is described that includes a number of possible diagnoses, the number of possible diagnoses prioritized based on at least one of a number of confidence levels, a preference function, and a calculation of a relationship between a number of confirmed system symptoms and a number of possible diagnoses. A number of hypotheses for incipient system symptoms is generated, and a hypothesis is selected from the generated number of hypotheses. Information is obtained regarding a number of system observations, and a selection relevant diagnostics for the system is obtained.
摘要:
The present invention is directed to a method, system, and computer software for obtaining system diagnosis, comprising describing a diagnosis domain comprising a plurality of possible diagnoses, prioritizing the plurality of possible diagnoses based on at least one of a plurality of confidence levels, a preference function, and a calculation of a relationship between a plurality of confirmed system symptoms and a plurality of possible diagnoses, generating a plurality of hypotheses for incipient system symptoms, selecting a hypothesis from the generated plurality of hypotheses, obtaining information regarding a plurality of system observations, and obtaining a selection relevant diagnostics for the system.
摘要:
To enable efficient abduction even for observations that are faulty or inadequately modeled, a relaxed abduction problem is proposed in order to explain the largest possible part of the observations with as few assumptions as possible. On the basis of two preference orders over a subset of observations and a subset of assumptions, tuples can therefore be determined such that the theory, together with the subset of assumptions, explains the subset of observations. The formulation as a multi-criteria optimization problem eliminates the need to offset assumptions made and explained observations against one another. Due to the technical soundness of the approach, specific properties of the set of results (such as correctness, completeness etc.), can be checked, which is particularly advantageous in safety-critical applications. The complexity of the problem-solving process can be influenced and therefore flexibly adapted in terms of domain requirements through the selection of the underlying representation language and preference relations. The invention can be applied to any technical system, e.g. plants or power stations.
摘要:
To enable efficient abduction even for observations that are faulty or inadequately modeled, a relaxed abduction problem is proposed in order to explain the largest possible part of the observations with as few assumptions as possible. On the basis of two preference orders over a subset of observations and a subset of assumptions, tuples can therefore be determined such that the theory, together with the subset of assumptions, explains the subset of observations. The formulation as a multi-criteria optimization problem eliminates the need to offset assumptions made and explained observations against one another. Due to the technical soundness of the approach, specific properties of the set of results (such as correctness, completeness etc.), can be checked, which is particularly advantageous in safety-critical applications. The complexity of the problem-solving process can be influenced and therefore flexibly adapted in terms of domain requirements through the selection of the underlying representation language and preference relations. The invention can be applied to any technical system, e.g. plants or power stations.
摘要:
A product may be provided with a product sensor, thus making it possible to determine, together with the product, data relating to a system or a machine with the aid of the product sensor. The data determined can be used to diagnose and/or control the system or machine. In this case, it is advantageous that the data are obtained at the location of the product and it is thus possible to directly determine a desirable or undesirable effect (for example of environmental parameters or of the system itself) on the product. This system can be used, for example, in automation, in systems or machines or in different product manufacture variants.
摘要:
A product may be provided with a product sensor, thus making it possible to determine, together with the product, data relating to a system or a machine with the aid of the product sensor. The data determined can be used to diagnose and/or control the system or machine. In this case, it is advantageous that the data are obtained at the location of the product and it is thus possible to directly determine a desirable or undesirable effect (for example of environmental parameters or of the system itself) on the product. This system can be used, for example, in automation, in systems or machines or in different product manufacture variants.