|
Match
|
Document |
Document Title |
|
|
7533074 |
Modifiable knowledge base in a mobile device
One implementation provides a method for modifying a knowledge base on a client device. The method includes receiving input from a user of the client device specifying a first proposed modification...
|
|
|
7383586 |
File system operation and digital rights management (DRM)
File system interaction with digital rights management (DRM) is facilitated by enabling one or more file system components to be DRM-aware. These one or more file system components may be part of a...
|
|
|
6996843 |
System and method for detecting computer intrusions
A system and method are disclosed for detecting intrusions in a host system on a network. The intrusion detection system comprises an analysis engine configured to use continuations and apply...
|
|
|
6934695 |
Agent system for generating and executing a plan, and for re-planning
Disclosed is a technology relating to an agent system for generating an excellent plan. A script can be freely described by individually storing an action definition and the script without any...
|
|
|
6836770 |
Method for transforming SQL queries
A computer-implemented method for transforming an SQL query having a WHERE clause having nested SELECT expressions. The expression in the WHERE clause being transformed by the iterative application...
|
|
|
6336110 |
System for solving of a constraint-satisfaction problem and constructing of a system
A system and method for processing a large constraint satisfaction problem quickly, including a subset generating module ( 1 ), which divides a set of alternatives provided for a plurality of parts...
|
|
|
6286047 |
Method and system for automatic discovery of network services
A method for identifying services, service elements and dependencies among the services and service elements includes executing first and second phases of discovery. In the first phase, the...
|
|
|
6223170 |
Method and apparatus for inference of partial knowledge in interactive configuration
The invention relates to a method of configuring a set of object values in a computer. At least one object value of the set of object values is user-chosen from a number of object values. Each...
|
|
|
6047278 |
Method for the automatic generation of a controller
A method is described which aids the generation of a controller from an application-related formal specification. The method enables the generation of controllers which satisfy specified safety...
|
|
|
5978789 |
Efficient hypothetical query evaluation in a database system
A hypothetical query in a database system is transformed using algebraic equivalences involving explicit substitutions so as to produce one or more equivalent queries which can be evaluated more...
|
|
|
5832465 |
Method for building a self-learning evidential reasoning system
The present invention discloses a method for building a self-learning evidential reasoning system from examples. In this invention a hierarchical model structure for the self-learning evidential...
|
|
|
5706406 |
Architecture for an artificial agent that reasons defeasibly
A method for defeasible reasoning including a method for analyzing data input, reasoning to conclusions on the basis of that data and adopting and executing plans on the basis of those conclusions....
|
|
|
5446830 |
Efficient nonmonotonic reasoning apparatus and methods
The use of nonmonotonic or "common sense" reasoning has often been advocated to speed up reasoning systems. The difficulty has always been that nonmonotonic reasoning requires consistency checks,...
|
|
|
5276775 |
System and method for building knowledge-based applications
A method and system (10) associates a deductive reasoning system having a forward deductive reasoning portion (13), a backward deductive reasoning portion (15), and a frame template portion (18)...
|
|
|
5272704 |
Method and apparatus for generation of multi-branched diagnostic trees
A method and apparatus for automated generation of multi-branched diagnostic trees is described. The present invention generally is practiced on model-based diagnostic systems and utilizes a...
|
|
|
5179631 |
Neural network logic system
A novel neural network implementation for logic systems has been developed. The neural network can determine whether a particular logic system and knowledge base are self-consistent, which can be a...
|
|
|
5088048 |
Massively parallel propositional reasoning
Propositional reasoning is performed on a massively parallel processor, with sets of element value combinations being handled by separate processing units. A host processor operates as a problem...
|
|
|
4918621 |
Method for representing a directed acyclic graph of worlds using an assumption-based truth maintenance system
In artificial intelligence, a method is provided for representing a directed acyclic graph of worlds using an assumption-based truth maintenance system (ATMS) as a tool. The invention introduces...
|
|
|
4845665 |
Simulation of computer program external interfaces
A method for developing computer program external interfaces by simulating the interfaces to allow intended users to evaluate the design of the program, even before program code for the simulated...
|