29,294 research outputs found
Default Logic in a Coherent Setting
In this talk - based on the results of a forthcoming paper (Coletti,
Scozzafava and Vantaggi 2002), presented also by one of us at the Conference on
"Non Classical Logic, Approximate Reasoning and Soft-Computing" (Anacapri,
Italy, 2001) - we discuss the problem of representing default rules by means of
a suitable coherent conditional probability, defined on a family of conditional
events. An event is singled-out (in our approach) by a proposition, that is a
statement that can be either true or false; a conditional event is consequently
defined by means of two propositions and is a 3-valued entity, the third value
being (in this context) a conditional probability
- …