U.S. patents available from 1976 to present.
U.S. patent applications available from 2005 to present.

Icon_funbox Did You Know...

...that while attempting to develop a super strong glue, 3M employee Spencer Silver accidentally developed a glue that was so weak it would barely hold two pieces of paper together? However, his colleague Art Fry needed the glue. Fry sang with his church choir and marked the pages of his hymnal with small scraps of paper that often fell out. He used Silver's glue to hold the papers in place. Today we call this invention Post-it Notes.

Newsletter  PatentStorm News

Make the Most of Our Site

See this month's Top Inventors and Most Cited Patents.

Stay on top of the latest innovations by subscribing to an RSS feed.

Registered users: Manage your profile.

 

Class 706/56 - Predicate logic or predicate calculus


Subclass of Class 706 - Data processing: artificial intelligence
Definition: Subject matter wherein the integrated collection of facts
No. of patents: 30
Last issue date: 03/13/2012


NumberTitleIssue Date
8135661Electronic system with methods for early detection and prediction of external forces' harmful intentions
A method and an arrangement in electronic systems. Uncertainties are handled in a special way. The uncertainties can regard a parameter that is to be determined or uncertainties in signals or data that constitute a basis for determination of the sought parameter. Th...
03/13/2012
7895149System for opinion reconciliation
A system is disclosed for reconciling opinions generated by agents with respect to one or more predicates. The disclosed system may use observed variables and a probabilistic model including latent parameters to estimate a truth score associated with each of the pre...
02/22/2011
7778952Displaying facts on a linear graph
A set of objects having facts is established. Facts of objects having positions in an order are identified. Some facts explicitly describe the positions in the linear order, while are facts do not explicitly describe the positions. The facts are presented in the ord...
08/17/2010
7698248Method and system for auditing processes and projects for process improvement
Systems and methods for auditing knowledge-based projects or methods wherein the users participate in and contribute to generating an automatically updating community data set for obtaining information for evaluating and comparing a target project to best practices ...
04/13/2010
7493300Model and system for reasoning with N-step lookahead in policy-based system management
When an alarm condition relating to a performance goal of a storage system is detected, a storage management system invokes an N-step lookahead engine for simulating operation of the storage system when there are multiple actions that could be taken by the storage s...
02/17/2009
7467124Arrangement of configurable logic blocks
A logic circuit includes at least one register and a corresponding comparator coupled to the register and an input data node. A multiplexer is coupled to the register. A control block is coupled to the multiplexer, the comparator, the input node and an input control...
12/16/2008
7356522System and method for building a rulebase
A method for building a rulebase includes receiving a plurality of rulebase components. The method also includes merging the rulebase components to create a consolidated rulebase. ...
04/08/2008
7246039Fault diagnosis system
A fault diagnosis system for diagnosing faults in complex equipment. The system includes means for storing a set of diagnostic signatures which relates a set of known faults which may occur in the equipment to respective fault symptoms which are deemed indicative of...
07/17/2007
7181729Methods and systems for an interactive theorem-proving tool with reflective capabilities
Methods and systems are provided for improved operation of a theorem-proving tool. Logic statements that are to be proved are loaded and a series of interactive commands and assumptions are interactively processed. As the series of commands and assumptions are proce...
02/20/2007
7181422Segregation and management of financial assets by rules
The invention supports the management of financial assets such as accounts receivable or mortgages. The invention provides a facility for a user to define rules to segregate assets into pools, define purchasing rules, capture real time information regarding transact...
02/20/2007
7062510Consumer profiling and advertisement selection system
Computer network method and apparatus provides targeting of appropriate audience based on psychographic or behavioral profiles of end users. The psychographic profile is formed by recording computer activity and viewing habits of the end user. Content of categories ...
06/13/2006
7058816Apparatus and method for content entry management
A method of managing local content data, includes: determining if a user is authorized to edit a particular content related to a particular region; editing a local content related to the particular region; processing the local content; and if the local content has b...
06/06/2006
7055098Dynamic display of data item evaluation
A graphical user interface (GUI) is provided for use in conjunction with attribute evaluation utilizing computation rules and a combining policy. The graphical user interface displays a visual representation of the evaluation of attributes. The GUI displays a repres...
05/30/2006
7051273Customizing forms in an electronic mail system utilizing custom field behaviors and user defined operations
User-customizable forms in an electronic mail system enable an administrator to select customized field types and customized behaviors. The electronic mail system provides for the receiving and displaying of mail information in conjunction with the use of a user-cus...
05/23/2006
7024400Differential LSI space-based probabilistic document classifier
A computerized method for automatic document classification based on a combined use of the projection and the distance of the differential document vectors to the differential latent semantics index (DLSI) spaces. The method includes the setting up of a DLSI space-b...
04/04/2006
7003515Consumer item matching method and system
A method of determining at least one match item corresponding to a source item. A database of multiple items such as songs is created. Each song is also represented by an n-dimensional database vector in which each element corresponding to one of n musical character...
02/21/2006
7003360System and method for product configuration using numerical clauses and inference procedures
A system and method for product configuration represents a product using a configuration model having numerical clauses. Features of the product are associated with literals in the numerical clauses. The numerical clauses may specify a number of literals to determin...
02/21/2006
6985900Delta model processing logic representation and execution system
The invention presents novel method, apparatus, and data structures for storing, maintaining, and executing processing logic on a computer system. Processing logic is encoded into its distinct, constituent elements that are flexibly linked, facilitating reuse and re...
01/10/2006
6763354Mining emergent weighted association rules utilizing backlinking reinforcement analysis
A system and methods providing for the evaluation of transaction data records to first determine forward link associations between items as reference and related items identified by corresponding “expert” users as a basis for establishing expert database item as...
07/13/2004
6434570Method and apparatus for estimating a percentile for a value
A method and apparatus are described for computing the value at a given percentile of a population and the percentile of a given value in the population. In the described system, computing efficiencies are achieved by storing received values in "buckets" ...
08/13/2002
6421667Delta model processing logic representation and execution system
The invention presents novel method, apparatus, and data structures for storing, maintaining, and executing processing logic on a computer system. Processing logic is encoded into its distinct, constituent elements that are flexibly linked, facilitating r...
07/16/2002
6163730Method and control system for changing the state of a plant
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 intermedia...
12/19/2000
6028987Method of operation of arithmetic and logic unit, storage medium, and arithmetic and logic unit
A method of operation of an arithmetic and logic unit, a storage medium, and an arithmetic and logic unit introducing a technique and concept of converting a serial structure of decisions having an order dependency to an indeterminate code binary tree whi...
02/22/2000
5809212Conditional transition networks and computational processes for use interactive computer-based systems
A conditional transition network for representing a domain of knowledge in a computer based system and computational procedures for use with the same is here presented. Each node of the network comprises a number of data fields, namely: a Precondition Fie...
09/15/1998
5627945Biased learning system
The invention permits various types of background knowledge for a concept learning system to be represented in a single formal structure known as an antecedent description grammar. A user formulates background knowledge for a learning problem into such a ...
05/06/1997
5596682Method and apparatus of automated theorem proving for information processing
A method of automated theorem proving for information processing which can be highly efficient, irrespective of the set of clauses to be dealt with. The method includes the steps of: transforming the statement and the set of knowledge into expressions in ...
01/21/1997
5307445Query optimization by type lattices in object-oriented logic programs and deductive databases
Processing techniques for enhancing execution of programs written in a logic-oriented programming language such as PROLOG are disclosed. The techniques are particularly useful for programs having class predicates and subclass predicates which are definiti...
04/26/1994
5278946Method of presenting multimedia data in a desired form by comparing and replacing a user template model with analogous portions of a system
Multimedia data in an object structure include entity objects and relation objects, wherein each entity object has data representing a media element as internal data, and each relation object represents a relation between the entity objects. A relation ob...
01/11/1994
5249262Component intersection data base filter
A Component Intersection Database Filter is a mechanism to process conjunction-of-constraints queries which does not require indexes, allows arbitrary query complexity without exponential explosion in query processing time, and is inexpensive to implement...
09/28/1993
4884217Expert system with three classes of rules
An expert system wherein the rules are of three classes: (1) retrieval rules, which each associate one of several attributes to an object in accordance with the values of inputs; (2) analysis rules, which selectively associate an attribute with an object,...
11/28/1989
 
Sign InRegister
Username  
Password   
forgot password?