Resources Contact Us Home
Browse by Category: Main > Information Technology
Class Information
Number: 706/57
Name: Data processing: artificial intelligence > Knowledge processing system > Knowledge representation and reasoning technique > Propositional logic
Description: Subject matter wherein the integrated collection of facts and relationships uses a reasoning system formed with truth values (e.g., X is a metal, if C then D) or logic connectives (e.g., and, or, not).

Patents under this class:

Patent Number Title Of Patent Date Issued
8688619 Systems, methods and apparatus for distributed decision processing Apr. 1, 2014
8494950 System for conducting an exchange of click-through traffic on internet web sites Jul. 23, 2013
8321370 Method and system for translating logical constraints to linear constraints Nov. 27, 2012
8296256 SAT-based synthesis of a clock gating function Oct. 23, 2012
8141125 Orchestration of policy engines and format technologies Mar. 20, 2012
7917459 System and method for executing complex IF-THEN clauses Mar. 29, 2011
7801841 Method, system and software arrangement for reconstructing formal descriptive models of processes from functional/modal data using suitable ontology Sep. 21, 2010
7644058 Apparatus and process for conjunctive normal form processing Jan. 5, 2010
7613676 Generating a database model from natural language expressions of business rules Nov. 3, 2009
7577625 Handling of satisfaction and conflicts in a quantified Boolean formula solver Aug. 18, 2009
7522710 Personalizable and customizable feature execution for IP telephony using operational semantics and deontic task trees Apr. 21, 2009
7493300 Model and system for reasoning with N-step lookahead in policy-based system management Feb. 17, 2009
7467124 Arrangement of configurable logic blocks Dec. 16, 2008
7343589 Declarative state space reduction in a transactional messaging language Mar. 11, 2008
7328203 System and method for executing complex if-then clauses Feb. 5, 2008
6895573 Method for generating a workflow on a computer, and a computer system adapted for performing the method May. 17, 2005
6546380 Method and apparatus for detecting an endless loop in a rules-based expert system Apr. 8, 2003
6347311 Implementation of service independent building blocks Feb. 12, 2002
6163730 Method and control system for changing the state of a plant Dec. 19, 2000
5761090 Expert system for testing industrial processes and determining sensor status Jun. 2, 1998
5680518 Probabilistic computing methods and apparatus Oct. 21, 1997
5587903 Artificial intelligence language program Dec. 24, 1996
5493633 Deduction inference system for solving complex propositional logic problems in response to signals from a plurality of system sensors Feb. 20, 1996
5487134 Real-time rule based processing system Jan. 23, 1996
5392383 Fuzzy syllogistic system Feb. 21, 1995
5390287 Deduction inference system for solving complex propositional logic problems in response to signals from a plurality of system sensors Feb. 14, 1995
5259067 Optimization of information bases Nov. 2, 1993
5088048 Massively parallel propositional reasoning Feb. 11, 1992
4908778 Inductive inference method for obtaining rules represented by propositional logic Mar. 13, 1990
4779208 Information processing system and method for use in computer systems suitable for production system Oct. 18, 1988
4740886 Computer control system utilizing knowledge processing Apr. 26, 1988
4727487 Resource allocation method in a computer system Feb. 23, 1988

  Recently Added Patents
Apparatus for counting particles in a gas
Liquid crystal display having wide viewing angle
Protective circuit board and battery pack using the same
Generating wiki pages from content and transformation objects
Radio communication system, base station device and mobile station device utilizing an intermittent reception
Method for restricting the use of an application program, system for authenticating the user of a measuring apparatus, authentication server, client apparatus and storage medium
Synchronous rectifier network unit circuit and method
  Randomly Featured Patents
Device for speeding up the reading of a memory by a processor
Coating film forming apparatus and coating film forming method for immersion light exposure
Developing device having regulating rotary member for regulating toner amount
Gantry stabilizer
Human body sensing apparatus with improved accuracy
Decoupled ducting for twin-engine reaction rotor drive
Autodialer flow control
Mobile display
Vacuum generator
Electronic self-calibration for sensor clearance