Temporal Logic Patents (Class 706/58)
  • Patent number: 7107108
    Abstract: In the field of electronic or computerised control apparatuses, known methods of compensating for disturbance signals rely on less than ideal analytical or empirical models. There is provided a controller (200) or method of controlling which observes and learns the correlation between various measured signals and automatically learns how to control the apparatus.
    Type: Grant
    Filed: June 5, 2002
    Date of Patent: September 12, 2006
    Inventors: Florentin Woergoetter, Bernd Pohr
  • Patent number: 6941290
    Abstract: A method for computing all occurrences of a compound event from occurrences of primitive events where the compound event is a defined combination of the primitive events. The method includes the steps of: (a) defining primitive event types; (b) defining combinations of the primitive event types as a compound event type; (c) inputting the primitive event occurrences, such occurrences being specified as the set of temporal intervals over which a given primitive event type is true; and (d) computing the compound event occurrences, such occurrences being specified as the set of temporal intervals over which the compound event type is true, where the sets of temporal intervals in steps (c) and (d) are specified as smaller sets of spanning intervals, each spanning interval representing a set of intervals.
    Type: Grant
    Filed: July 30, 2001
    Date of Patent: September 6, 2005
    Assignee: NEC Laboratories America, Inc.
    Inventor: Jeffrey Mark Siskind
  • Publication number: 20040267684
    Abstract: A current first state, of a first temporal sequence of respective first states of a dynamically modifiable system, is determined. The first current state of the system is determined by combining a first system-inherent information flow comprising past system information of the system with a second system-inherent information flow comprising future system information in the first current state. The first current state is then determined from the combination.
    Type: Application
    Filed: August 11, 2004
    Publication date: December 30, 2004
    Inventors: Caglayan Erdem, Hans-Georg Zimmermann
  • Patent number: 6722973
    Abstract: There is provided a rearing simulation apparatus which can dramatically produce further rearing pleasure for a player by allowing the player to rear and grow an imaginary living body of the rearing simulation apparatus and constructing the rearing simulation apparatus not only to display information but also to move or run, the rearing simulation apparatus comprising a memory means for memorizing control data related to the rearing of the imaginary living body, a control means for reading out control data corresponding to an input related to the rearing when the input is entered from the input means and executing control processing related to the rearing of the imaginary living body based on the control data so read out, a display means for displaying rearing information related to the imaginary living body and an operating means adapted to be operated by the information obtained from the control means, whereby the results of the rearing by the rearing means are displayed on the display means and the operatin
    Type: Grant
    Filed: November 13, 2001
    Date of Patent: April 20, 2004
    Assignee: Wiz Co., Ltd.
    Inventor: Susumu Akaishi
  • Patent number: 6496742
    Abstract: A classification apparatus, notably for uses in recognition or characterisation of odors, comprises a plurality of sensors for generating raw data representing a plurality of instances of a plurality of different classes; and a processing unit for processing said raw data so as to determine an identification model. The identification model comprises definitions of the classes and a particular allocation rule selected dependent upon the application. The class definitions are established by analysing data obtained during a learning phase, the analysis being performed according to a particular information extraction method. During a later identification phase, the identification model enables an instance of unknown class to be allocated to an appropriate class amongst those defined during the learning phase. The information extraction method can be selected dependent upon the application.
    Type: Grant
    Filed: May 1, 2000
    Date of Patent: December 17, 2002
    Assignee: Alpha M.O.S.
    Inventors: Saïd Labreche, Hicham Amine, Tze Tsung Tan, François Loubet
  • Patent number: 6477520
    Abstract: A travel purchasing optimization system consists of a cognizer in communication with a knowledge base and a rule base. A knowledge acquisition and rule manager (KARM) dynamically creates, alters, and adaptively fine tunes rules for the rule base from existing business knowledge using a rule modeling language. A travel request is made through an external booking system and sent to the cognizer via an integration framework and the knowledge base. The integration framework pools data from a series of external systems or databases and the cognizer compares the rules from the rule base with the pooled data from the integration framework. The cognizer generates the total cost of travel (TCOT) and sends the TCOT back to the external booking system via the integration framework.
    Type: Grant
    Filed: February 22, 1999
    Date of Patent: November 5, 2002
    Assignee: Yatra Corporation
    Inventors: Ashutosh Malaviya, Paritosh Malaviya, Praful Saklani, Mukul Saklani
  • Patent number: 6446057
    Abstract: A technique is used in embodiments of the invention such that backtracking programs can be written in a general purpose computer language (e.g., C++ or Java) without requiring the control structure of the program to reflect the structure of the decision tree. A data state and a control state are restored during backtracking. For restoring the data state, embodiments of the invention keep track of the changes made to variables and the point in execution at which the changes are made. When backtracking occurs, the data state can be restored by undoing the changes to the desired point in execution. For restoring the control state, the method of the invention provides a “failure” exception state that is invoked upon failure in the program (e.g., a failure to find a solution in a search program). The failure exception is “caught” by catch points established in the execution stack.
    Type: Grant
    Filed: December 4, 2000
    Date of Patent: September 3, 2002
    Inventor: Paul William Vaughan
  • Patent number: 6227966
    Abstract: With a purpose of providing a simulation device for fostering a virtual creature where the virtual creature is disciplined, the virtual creature is grown and fostered when a player conducts a corresponding treatment in response to a call or a request from the displayed virtual creature, the simulation device is provided with mark display units for displaying treatments for fostering the virtual creature by marks, and key switches for inputting a corresponding treatment by selecting a specific mark from a plurality of marks, the simulation device is provided with a storing unit for storing control data for fostering the virtual creature and a control unit where, when a treatment for fostering the virtual creature is input by operating the key switches, the control data in correspondence thereto is read from the storing unit and a control for fostering the virtual creature is conducted based on the read control data, and the simulation device is further constituted by a detecting circuit for detecting a call fr
    Type: Grant
    Filed: August 12, 1997
    Date of Patent: May 8, 2001
    Assignees: Kabushiki Kaisha Bandai, Kabushiki Kaisha Wiz
    Inventor: Akihiro Yokoi
  • Patent number: 6192356
    Abstract: A system and method for automatically evaluating a decisional rule containing a task and a condition which must be fulfilled before the task can be performed and for automatically performing the task when or whenever the condition is fulfilled in which a decisional rule is entered into a computer, parsed, and then processed such that automatic and continuing iterative evaluations of whether the condition is fulfilled are provided until the condition is fulfilled and then the task associated with the decisional rule is automatically performed and whereby further processing is resumed only after the condition is fulfilled.
    Type: Grant
    Filed: December 11, 1998
    Date of Patent: February 20, 2001
    Assignee: The Charles Stark Draper Laboratory, Inc.
    Inventor: Donald Eyles
  • Patent number: 6163730
    Abstract: A device in accordance with the present invention includes drive circuitry (110) coupled to a plant (120). The drive circuitry (110) generates a first set of command signals to transition the state of the plant (120) from an initial state to an intermediate state at a first discrete time. The drive circuitry (110) generates a second set of command signals to transition the state of the plant (120) from the intermediate state to the final state at a second discrete time. A state estimator (130) is coupled to the plant to detect the state of the plant (120). A method for changing the state of a plant (120) is also provided. The method includes the steps of transitioning the plant (120) from a first state to a selected state at one of a plurality of discrete times, each of the discrete times being separated by at least one discrete time interval, and transitioning the plant (120) from the selected state to a final state at another of the plurality of discrete times.
    Type: Grant
    Filed: August 11, 1997
    Date of Patent: December 19, 2000
    Assignee: Motorola, Inc.
    Inventor: David A. Hayner
  • Patent number: 6098061
    Abstract: A computer-understandable knowledge base for accumulating computer-understandable task knowledge and a know-how knowledge base for accumulating know-how knowledge understandable for a human being are provided. In accordance with, for example, a result of the process for solving a problem which has been performed by the computer-understandable knowledge base 1, know-how knowledge relating to the problem solution is automatically retrieved and presented. Since know-how knowledge relating to the problem solution is automatically retrieved and presented in accordance with the state of the problem solving process which has been performed by the computer-understandable knowledge base, a user is able to efficiently make a reference to required know-how knowledge without a complicated process for conditions for retrieving the know-how knowledge. Even if a problem cannot be solved by the computer-understandable knowledge base, the know-how knowledge is used to guide the problem solution.
    Type: Grant
    Filed: March 13, 1997
    Date of Patent: August 1, 2000
    Assignee: Kabushiki Kaisha Toshiba
    Inventors: Kazuyuki Gotoh, Hideo Numagami, Yoichi Takebayashi, Kouichi Sasaki
  • Patent number: 5978786
    Abstract: A system and method for automatically evaluating a decisional rule containing a task and a condition which must be fulfilled before the task can be performed and for automatically performing the task when or whenever the condition is fulfilled in which a decisional rule is entered into computing means, parsed, and then processed such that automatic and continuing iterative evaluations of whether the condition is fulfilled are provided until the condition is fulfilled and then the task associated with the decisional rule is automatically performed and whereby further processing is resumed only after the condition is fulfilled.
    Type: Grant
    Filed: October 3, 1997
    Date of Patent: November 2, 1999
    Assignee: The Charles Stark Draper Laboratory, Inc.
    Inventor: Donald Eyles
  • Patent number: 5971922
    Abstract: A system for predicting a blood glucose level is comprised of a time series measurement data storing section for storing blood glucose level measured data in a blood glucose time series file to treat the data as time series data. A dynamics estimating section estimates a dynamics which most preferably represents a phase characteristic of the time series data stored in the time series measurement data storing section. A parameter storing section stores an embedding dimension n and a time delay .tau. of the dynamics estimated in the dynamics estimating section as parameters for embedding the estimated dynamics in multidimensional state space. A blood glucose predicting section predicts a near future value of blood glucose level by means of the Local Fuzzy Reconstruction Method on the basis of the stored data of the blood glucose level data stored in the blood glucose time series file and the parameters corresponding to the data and for storing the predicted future value in a predicted blood glucose level file.
    Type: Grant
    Filed: October 16, 1998
    Date of Patent: October 26, 1999
    Inventors: Seizaburou Arita, Masaya Yoneda, Tadashi Iokibe
  • Patent number: 5855010
    Abstract: A data processing apparatus comprises apparatus arranged to model a number of modules (302,314) with each module containing a number of interconnected behaviours (320-325). A behaviour identified as a marker (304) is able to access a behaviour (321) within another module via an identify link (306) and from information denoting that behaviour within a look-up table (312) held in a further behaviour (310). Having established access, a direct identify link (316) can be set up between the selected behaviour (321) and a nominated behaviour (318) within the module containing the marker. This direct identify link is maintained when the identify link between the marker and the further behaviour is terminated, allowing the marker to go on and establish other direct links (330) to the internal behaviours of other modules (336).
    Type: Grant
    Filed: July 3, 1995
    Date of Patent: December 29, 1998
    Assignee: U.S. Philips Corporation
    Inventor: Peter R. Wavish
  • Patent number: RE37431
    Abstract: An intelligent help system which processes information specific to a user and a system state is described. The system incorporates a monitoring device to determine which events to store as data in an historical queue. These data, as well as non-historical data (e.g. system state), are stored in a knowledge base. An inference engine tests rules against the knowledge base data, thereby providing a help tag. A display engine links the help tag with an appropriate solution tag to provide help text for display.
    Type: Grant
    Filed: October 2, 1996
    Date of Patent: October 30, 2001
    Assignee: AST Research, Inc.
    Inventors: Charles D. Lanier, Richard J. Wolf, Leticia Villegas