{ "id": "math/0207165", "version": "v1", "published": "2002-07-19T15:18:34.000Z", "updated": "2002-07-19T15:18:34.000Z", "title": "Default Logic in a Coherent Setting", "authors": [ "Giulianella Coletti", "Romano Scozzafava", "Barbara Vantaggi" ], "categories": [ "math.PR", "math.LO" ], "abstract": "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.", "revisions": [ { "version": "v1", "updated": "2002-07-19T15:18:34.000Z" } ], "analyses": { "subjects": [ "03B48", "60A05" ], "keywords": [ "default logic", "coherent setting", "conditional event", "suitable coherent conditional probability", "third value" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2002math......7165C" } } }