Computer Science – Artificial Intelligence
Scientific paper
2002-07-24
Computer Science
Artificial Intelligence
8 pages
Scientific paper
We seek to find normative criteria of adequacy for nonmonotonic logic similar to the criterion of validity for deductive logic. Rather than stipulating that the conclusion of an inference be true in all models in which the premises are true, we require that the conclusion of a nonmonotonic inference be true in ``almost all'' models of a certain sort in which the premises are true. This ``certain sort'' specification picks out the models that are relevant to the inference, taking into account factors such as specificity and vagueness, and previous inferences. The frequencies characterizing the relevant models reflect known frequencies in our actual world. The criteria of adequacy for a default inference can be extended by thresholding to criteria of adequacy for an extension. We show that this avoids the implausibilities that might otherwise result from the chaining of default inferences. The model proportions, when construed in terms of frequencies, provide a verifiable grounding of default rules, and can become the basis for generating default rules from statistics.
Kyburg Henry E. Jr.
Teng Choh Man
No associations
LandOfFree
Evaluating Defaults does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Evaluating Defaults, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Evaluating Defaults will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-226615