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/57 - Propositional logic


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


NumberTitleIssue Date
7917459System and method for executing complex IF-THEN clauses
Complex nested if-then statement on data objects in a digital computer are organized as a plurality of logical case statements; for each case statement, a set of binary condition arrays is provided and for each data object a condition set. Case statements are execut...
03/29/2011
7644058Apparatus and process for conjunctive normal form processing
A method for analyzing system-problems, comprising the steps of: accepting from a user an input describing a system having a problem; parsing the user input to create a boolean representation of the system, the boolean representation comprising a series of equations...
01/05/2010
7613676Generating a database model from natural language expressions of business rules
One embodiment of the invention is a method for generating a database model from a set of business rules. For a business rule given as input, an empty list of fact types is created. A determination of whether the business rule is a definitional rule defining that on...
11/03/2009
7349840Memory system for storing and retrieving experience and knowledge with natural language utilizing state representation data, word sense numbers, function codes, directed graphs and/or context memory
A memory system for storing and retrieving experience and knowledge with natural language through methods and apparatus is disclosed. The primary components of this memory system include syntactic processes, function word processes, ellipsis processes, morphology pr...
03/25/2008
7343589Declarative state space reduction in a transactional messaging language
A XLANG/s compiler recognizes a statement in XLANG/s code to make an assumption as to the success or failure of a specified transaction. The assignment states of variables are tracked and changes to such states are recorded. While processing XLANG/s code, the compil...
03/11/2008
7328203System and method for executing complex if-then clauses
Complex nested if-then statement on data objects in a digital computer are organized as a plurality of logical case statements; for each case statement, a set of binary condition arrays is provided and for each data object a condition set. Case statements are execut...
02/05/2008
7209860Distributed expert diagnostic service and system
An expert diagnostic service system using a distributed architecture for generating expert diagnostic suggestions based on input received from a plurality of diagnostic systems. The expert service system collects data related to effective diagnostic results, such as...
04/24/2007
7203657General packet-based payment and transaction method and system
A method and system to enable data packets to engage in two-way transactions with various facilities, electronic equipment, and data sources, performing various services. This is accomplished by the loading of data packets with access tokens, denominated at certain ...
04/10/2007
7158970Maximizing expected generalization for learning complex query concepts
A method of learning a user query concept is provided which includes a sample selection stage and a feature reduction stage; during the sample selection stage, sample objects are selected from a query concept sample space bounded by a k-CNF and a k-DNF; the selected...
01/02/2007
7085763Device search system
According to the present invention, a search condition can be moderated to easily understand a desired device without performing re-search, even if there is no device completely matching the search condition. An attribute of an object class is extracted out of the s...
08/01/2006
7062642Policy based provisioning of network device resources
Methods are disclosed for establishing a path for data transmissions in a system having a plurality of possible paths by creating a configuration database and establishing internal connection paths based upon a configuration policy and the configuration database. Th...
06/13/2006
6895573Method for generating a workflow on a computer, and a computer system adapted for performing the method
A method for generating a workflow on a computer. Assessment data, e.g. defining a need, is obtained from a user. Based thereon, a workflow including a logical sequence of interdependent steps to be made is created using an assessment system. A number of workflow st...
05/17/2005
6546380Method and apparatus for detecting an endless loop in a rules-based expert system
A method and apparatus for detecting an endless loop in a rules-based expert system. This is preferably accomplished by maintaining a count for each of the rules during rule processing. The count indicates the number of times a corresponding rule is execu...
04/08/2003
6347311Implementation of service independent building blocks
When implementing services compiled of service independent building blocks (SIB) in an intelligent network, the SIB parameters to be relayed in computer instructions are replaced with a global data structure, whereby no parameters at all are transferred i...
02/12/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
5761090Expert system for testing industrial processes and determining sensor status
A method and system for monitoring both an industrial process and a sensor. The method and system include determining a minimum number of sensor pairs needed to test the industrial process as well as the sensor for evaluating the state of operation of bot...
06/02/1998
5680518Probabilistic computing methods and apparatus
A new probabilistic computing system (PCS) provides computational functionality needed to efficiently realize randomized computing methods in otherwise standard, deterministic digital computing systems. The PCS may be incorporated in a standard computing ...
10/21/1997
5587903Artificial intelligence language program
A sentence entered by a user is translated into Esperanto. The translated sentence is then parsed and a series of propositions are generated. Each proposition consist of a subject, verb, and an optional object such as an adjective, noun, or prepositional ...
12/24/1996
5493633Deduction inference system for solving complex propositional logic problems in response to signals from a plurality of system sensors
A deduction inference system is connected to a plurality of sensor elements, a display device, and an actuator mechanism. The deduction inference system processes stimulus sensor signals received from responding sensor elements. Each sensor signal uniquel...
02/20/1996
5487134Real-time rule based processing system
A rule based processing system that is optimized for implementation in hardware. The system includes a set of logic gates that are used to implement a rule network connected to a working memory composed from a set of memory components. When a set of input...
01/23/1996
5392383Fuzzy syllogistic system
A fuzzy syllogistic inference processing system for use with a chain of implications when links in the chain have various measures between 0 and 1 of confidence. Analog signals that are linearly related to the confidence measures are generated and compare...
02/21/1995
5390287Deduction inference system for solving complex propositional logic problems in response to signals from a plurality of system sensors
A deduction inference system is connected to a plurality of sensor elements, a display device, and an actuator mechanism. The deduction inference system processes stimulus sensor signals received from responding sensor elements. Each sensor signal uniquel...
02/14/1995
5259067Optimization of information bases
A technique for increasing the efficiency of a system such as an artificial intelligence system or a data base system in which a query is applied to a set of formulas. The technique creates an approximation of the set of formulas which is computationally ...
11/02/1993
5088048Massively 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 solver generating requests for propositional reasoning, and ...
02/11/1992
4908778Inductive inference method for obtaining rules represented by propositional logic
An inductive inference apparatus comprises an input section for inputting a proposition, conditions for the proposition, and the tendency of each condition, a storage section for storing the proposition, and necessary and sufficient conditions of the prop...
03/13/1990
4779208Information processing system and method for use in computer systems suitable for production system
A computer system performs processing such as inference processing by sequentially executing rules each with its if-part stored in a working memory. The computer system comprises a production memory storing rules such as the laws of experience and nature ...
10/18/1988
4740886Computer control system utilizing knowledge processing
A computer control system utilizing mathematical formula processing and more broadly knowledge engineering is characterized by a man-machine processing unit for defining a mathematical formula model, a program generation unit for converting the defined ma...
04/26/1988
4727487Resource allocation method in a computer system
A method of resource allocating to respective unit processes is disclosed which comprises, in order to allow the resource allocation based on experimental know-how of operation without assistance of a system operator, the steps of storing information of e...
02/23/1988
 
Sign InRegister
Username  
Password   
forgot password?