On TUESDAY April 16, we will have a LIRa session with Soroush Rafiee Rad.
Everyone is cordially invited!
Speaker: Soroush Rafiee Rad (Tilburg University)
Title: Reasoning With Inconsistencies: A first order account
Room: Science Park 107 (NEW ILLC LOCATION), room F1.15
Time: TUESDAY, 16 April, 15:30-17:30
Dealing with inconsistency has always been an issue for mathematical logic and there has been several attempts to address this either in the literature on belief revision or paraconsistent logics. Although the trivialisation of the consequence relation in the presence of inconsistency can be considered a virtue when working in the mathematical universe, there are certain aspects of reasoning where it is undesirable. This is the case in particular, when inconsistencies are not associated with the world but rather with the agent’s knowledge of the world. And in such cases one might expect the pathological scope of inconsistency to be limited to the part of the agent’s knowledge relevant to that inconsistency. In this talk we investigate a probabilistic consequence relation for the first order languages that can enable us to derive meaningful logical consequences from an inconsistent knowledge base. We adopt a probabilistic semantics for the consequence relation and investigate a sound and complete proof system.