Method, system and software arrangement for reconstructing formal descriptive models of processes from functional/modal data using suitable ontology
First Claim
1. A method for at least one of generating or utilizing a model associated with a data set using predetermined semantics, comprising:
- organizing the data set into a plurality of states and a plurality of state transitions to generate the model, wherein at least one transition of the plurality of state transitions is associated with each of the states;
associating each of the states with at least one label relating to the predetermined semantics;
assigning at least one probability to at least one state of the plurality of states based on a likelihood that the at least one state follows the at least one transition associated with the at least one state; and
using a computing arrangement, determining at least one invariant associated with the model as a function of the at least one probability, wherein the at least one invariant is determined using at least one of a modal logic technique, a linear-time temporal logic technique, a branching-time temporal logic technique, or a fuzzy logic technique.
1 Assignment
0 Petitions
Accused Products
Abstract
A method, system and software arrangement in accordance with an exemplary embodiment of the present invention are provided to extract descriptive narrative from numerical experimental data augmented with ontological controlled vocabulary. One exemplary application of such system, method and software arrangement is in organizing gene-expression time course data in terms of biological processes that may be activated and deactivated as the biological system responds to its normal or perturbed environment. The present invention may also have biological applications to drug-or-vaccine discovery, understanding behavior of a cell in an altered diseased state (e.g., cancer, neuro-degeneration or auto-immune disease, etc.), genetically modifying a natural wild-type organism, genetic-engineering, etc. Other exemplary applications may include understanding neural behavior, market behavior of a population of users interacting on the Internet, etc.
41 Citations
33 Claims
-
1. A method for at least one of generating or utilizing a model associated with a data set using predetermined semantics, comprising:
-
organizing the data set into a plurality of states and a plurality of state transitions to generate the model, wherein at least one transition of the plurality of state transitions is associated with each of the states; associating each of the states with at least one label relating to the predetermined semantics; assigning at least one probability to at least one state of the plurality of states based on a likelihood that the at least one state follows the at least one transition associated with the at least one state; and using a computing arrangement, determining at least one invariant associated with the model as a function of the at least one probability, wherein the at least one invariant is determined using at least one of a modal logic technique, a linear-time temporal logic technique, a branching-time temporal logic technique, or a fuzzy logic technique. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13)
-
-
14. A system for at least one of generating or utilizing a model associated with a data set using predetermined semantics, comprising:
-
a processing arrangement; and a computer-readable medium which includes thereon a set of instructions, wherein the set of instructions is configured to program the processing arrangement to; (a) organize the data set into a plurality of states and a plurality of state transitions to generate the model, wherein at least one transition of the plurality of state transitions is associated with each of the states; (b) associate each of the states with at least one label relating to the predetermined semantics; (c) assign at least one probability to at least one state of the plurality of states based on a likelihood that the at least one state follows the at least one transition associated with the at least one state; and (d) determine at least one invariant associated with the model as a function of the at least one probability, wherein the at least one invariant is determined using at least one of a modal logic technique, a linear-time temporal logic technique, a branching-time temporal logic technique, or a fuzzy logic technique. - View Dependent Claims (15, 16, 17, 18, 19)
-
-
20. A software arrangement, stored on a computer-readable medium, for at least one of generating or utilizing a model associated with a data set using predetermined semantics, comprising:
-
a first set of instructions which, when executed by a processing arrangement, configure the processing arrangement to organize the data set into a plurality of states and a plurality of state transitions to generate the model, wherein at least one transition of the plurality of state transitions is associated with each of the states; a second set of instructions which, when executed by the processing arrangement, configure the processing arrangement to associate each of the states with at least one label relating to the predetermined semantics; a third set of instructions which, when executed by the processing arrangement, configure the processing arrangement to assign at least one probability to at least one state of the plurality of states based on a likelihood that the at least one state follows the at least one transition associated with the at least one state; and a fourth set of instructions which, when executed by the processing arrangement, configure the processing arrangement to determine at least one invariant associated with the model as a function of the at least one probability, wherein the at least one invariant is determined using at least one of a modal logic technique, a linear-time temporal logic technique, a branching-time temporal logic technique, or a fuzzy logic technique. - View Dependent Claims (21, 22, 23, 24, 25)
-
-
26. A non-transitory computer-accessible medium, which has stored thereon computer executable instructions for at least one of generating or utilizing a model associated with a data set using predetermined semantics, which, when executed by a hardware processing arrangement, configure the hardware processing arrangement to execute-procedures-comprising:
-
(a) organize the data set into a plurality of states and a plurality of state transitions to generate the model, wherein at least one transition of the plurality of state transitions is associated with each of the states; (b) associate each of the states with at least one label relating to the predetermined semantics; (c) assign at least one probability to at least one state of the plurality of states based on a likelihood that the at least one state follows the at least one transition associated with the at least one state; and (d) determine at least one invariant associated with the model as a function of the at least one probability, wherein the at least one invariant is determined using at least one of a modal logic technique, a linear-time temporal logic technique, a branching-time temporal logic technique, or a fuzzy logic technique. - View Dependent Claims (27, 28, 29, 30, 31, 32, 33)
-
Specification