CIN: An Intelligent Information Management Toolkit

摘要

Information systems are often faced with incomplete information, and as a consequence they have to make plausible conjectures to operate in a satisfactory way. A simple example is the Closed World Assumption which is used extensively in database systems. Default Reasoning provides formal methods which support such behaviour; the plausible conjectures are made in the absence of complete information based on default rules ("rules of thumb").