2002/07/19 by Giulianella Coletti, Coletti, Giulianella, Romano Scozzafava +3
Computer Science · Mathematics · #03B48 (Primary) #60A05 (Secondary) #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Probability (math.PR) #math.LO #math.PR #msc:03B48 #msc:60A05
paper · pdf · doi:10.48550/arxiv.math/0207165
arxiv created 2002/07/19 · openalex publication_date 2002/07/19 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.