|
 |
|
Class Information
Number: 706/51
Name: Data processing: artificial intelligence > Knowledge processing system > Knowledge representation and reasoning technique > Non-monotonic reasoning system
Description: Subject matter wherein processing of the integrated collection of facts and relationships contains belief revision (tracking dependencies among propositions).
Patents under this class:
Patent Number |
Title Of Patent |
Date Issued |
8601503 |
Detecting distribution of multimedia content |
Dec. 3, 2013 |
8521678 |
Learning control system and learning control method |
Aug. 27, 2013 |
8494999 |
Sensor based truth maintenance method and system |
Jul. 23, 2013 |
8280817 |
Authentication and tracking system |
Oct. 2, 2012 |
8181113 |
Mediating conflicts in computer users context data |
May. 15, 2012 |
7814041 |
System and method for control and training of avatars in an interactive environment |
Oct. 12, 2010 |
7664570 |
Method and apparatus for limiting the movement of a robot, and a robot equipped with said apparatus |
Feb. 16, 2010 |
7533074 |
Modifiable knowledge base in a mobile device |
May. 12, 2009 |
7383586 |
File system operation and digital rights management (DRM) |
Jun. 3, 2008 |
6996843 |
System and method for detecting computer intrusions |
Feb. 7, 2006 |
6934695 |
Agent system for generating and executing a plan, and for re-planning |
Aug. 23, 2005 |
6836770 |
Method for transforming SQL queries |
Dec. 28, 2004 |
6336110 |
System for solving of a constraint-satisfaction problem and constructing of a system |
Jan. 1, 2002 |
6286047 |
Method and system for automatic discovery of network services |
Sep. 4, 2001 |
6223170 |
Method and apparatus for inference of partial knowledge in interactive configuration |
Apr. 24, 2001 |
6047278 |
Method for the automatic generation of a controller |
Apr. 4, 2000 |
5978789 |
Efficient hypothetical query evaluation in a database system |
Nov. 2, 1999 |
5832465 |
Method for building a self-learning evidential reasoning system |
Nov. 3, 1998 |
5706406 |
Architecture for an artificial agent that reasons defeasibly |
Jan. 6, 1998 |
5446830 |
Efficient nonmonotonic reasoning apparatus and methods |
Aug. 29, 1995 |
5276775 |
System and method for building knowledge-based applications |
Jan. 4, 1994 |
5272704 |
Method and apparatus for generation of multi-branched diagnostic trees |
Dec. 21, 1993 |
5179631 |
Neural network logic system |
Jan. 12, 1993 |
5088048 |
Massively parallel propositional reasoning |
Feb. 11, 1992 |
4918621 |
Method for representing a directed acyclic graph of worlds using an assumption-based truth maintenance system |
Apr. 17, 1990 |
4845665 |
Simulation of computer program external interfaces |
Jul. 4, 1989 |
|
|
|