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
Method for dynamic multi-level pricing for wireless communications according to quality of service
Server-side connection resource pooling
Display system, display control method and computer program
Methods and systems to reduce a number of simulations in a timing analysis
Front face of a vehicle wheel
  Randomly Featured Patents
Semiconductor device and method of producing semiconductor device
Irrigation pipe
System for coring lettuce heads
Presentation pad easel
Retainer, exposure apparatus, and device fabrication method
Turret article molding machine
Pressure activated device and breathing system
Boring tool with variable extension
Local communication system
Method of cancelling offset errors in phase detectors