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
Image capture and identification system and process
Method and apparatus for establishing a media clip
Semiconductor device, semiconductor device design method, semiconductor design apparatus, and program
Inter vehicle communication system
Closed-loop adaptive adjustment of pacing therapy based on cardiogenic impedance signals detected by an implantable medical device
Digital broadcast receiver and method for processing caption thereof
  Randomly Featured Patents
Method and system for stabilization of arachidonic acid for use in platelet function assay
Methods and apparatuses for controlling the temperature of a data processing system
Electromechanical positioning device
In situ forming hydrogels
Shrub rose plant named `JACmorde`
Communication system and method for performing short message service in communication system
Telephony-data application interface apparatus and method for multi-modal access to data applications
Gate-controlled rectifier and application to rectification circuits thereof
Method of image segmentation
Communication device and data transmission method between at least two communication devices