Patents by Inventor Carsten Sinz

Carsten Sinz has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Method for checking the completeness and consistency of an information library
    Patent number: 7716188
    Abstract: To simplify the creation and handling of an information library which is associated with a number of modules from which a device is put together in accordance with a prescribed configuration structure, a method for checking the completeness and consistency of the information library is provided.
    Type: Grant
    Filed: May 9, 2005
    Date of Patent: May 11, 2010
    Assignee: Siemens Aktiengesellschaft
    Inventors: Dieter Feichtinger, Georg Görtler, Carsten Sinz
  • Method for checking the completeness and consistency of an information library
    Publication number: 20060050654
    Abstract: To simplify the creation and handling of an information library which is associated with a number of modules from which a device is put together in accordance with a prescribed configuration structure, a method for checking the completeness and consistency of the information library is provided.
    Type: Application
    Filed: May 9, 2005
    Publication date: March 9, 2006
    Inventors: Dieter Feichtinger, Georg Gortler, Carsten Sinz
  • Loop detection in rule-based expert systems
    Patent number: 6952690
    Abstract: This invention describes a method to verify non-looping properties of programs implemented as rule-based expert systems. Our method detects conditions under which the expert system enters erroneous infinite program loops, which lead to non-terminating or oscillating computations, or otherwise proves the absence of such conditions. Our automatic procedure also gives advice on how to correct these errors. The expert systems considered consist of condition-action rules (IF-THEN-statements), where the conditions are logical expressions (formulas of a propositional finite domain logic), and the actions modify the value of a single variable which in turn can be part of other logical expressions. There may be additional (external) variables not controlled by the expert system, and each rule may have an associated evaluation priority.
    Type: Grant
    Filed: August 22, 2002
    Date of Patent: October 4, 2005
    Assignee: International Business Machines Corporation
    Inventors: Thomas Lumpp, Juergen Schneider, Wolfgang Kuechlin, Carsten Sinz
  • Loop detection in rule-based expert systems
    Publication number: 20040039718
    Abstract: This invention describes a method to verify non-looping properties of programs implemented as rule-based expert systems. Our method detects conditions under which the expert system enters erroneous infinite program loops, which lead to non-terminating or oscillating computations, or otherwise proves the absence of such conditions. Our automatic procedure also gives advice on how to correct these errors. The expert systems considered consist of condition-action rules (IF-THEN-statements), where the conditions are logical expressions (formulas of a propositional finite domain logic), and the actions modify the value of a single variable which in turn can be part of other logical expressions. There may be additional (external) variables not controlled by the expert system, and each rule may have an associated evaluation priority.
    Type: Application
    Filed: August 22, 2002
    Publication date: February 26, 2004
    Applicant: International Business Machines Corps.
    Inventors: Thomas Lumpp, Juergen Schneider, Wolfgang Kuechlin, Carsten Sinz