{"id":1903,"date":"2013-04-10T18:37:01","date_gmt":"2013-04-10T18:37:01","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=1903"},"modified":"2013-04-11T07:56:46","modified_gmt":"2013-04-11T07:56:46","slug":"lira-session-soroush-rafiee-rad","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2013\/04\/lira-session-soroush-rafiee-rad\/","title":{"rendered":"LIRa Session: Soroush Rafiee Rad"},"content":{"rendered":"

On TUESDAY April 16, we will have a LIRa session with\u00a0Soroush Rafiee Rad.<\/p>\n

Everyone is cordially invited!<\/p>\n

Speaker: Soroush Rafiee Rad <\/strong>(Tilburg University)
\nTitle:\u00a0Reasoning With Inconsistencies: A first order account<\/strong>
\nRoom: Science Park 107 (NEW ILLC LOCATION), room F1.15
\nTime: TUESDAY, 16 April, 15:30-17:30<\/p>\n

Abstract:
\nDealing with inconsistency has always been an issue for mathematical logic\u00a0and there has been several attempts to address this either in the literature\u00a0on belief revision or paraconsistent logics. Although the trivialisation of\u00a0the consequence relation in the presence of inconsistency can be considered\u00a0a virtue when working in the mathematical universe, there are certain\u00a0aspects of reasoning where it is undesirable. This is the case in\u00a0particular, when inconsistencies are not associated with the world but\u00a0rather with the agent’s knowledge of the world. And in such cases one might\u00a0expect the pathological scope of inconsistency to be limited to the part of\u00a0the agent’s knowledge relevant to that inconsistency. In this talk we\u00a0investigate a probabilistic consequence relation for the first order\u00a0languages that can enable us to derive meaningful logical consequences from\u00a0an inconsistent knowledge base. We adopt a probabilistic semantics for the\u00a0consequence relation and investigate a sound and complete proof system.<\/p>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

On TUESDAY April 16, we will have a LIRa session with\u00a0Soroush Rafiee Rad.
\nEveryone is cordially invited!
\nSpeaker: Soroush Rafiee Rad (Tilburg University)
\nTitle:\u00a0Reasoning With Inconsistencies: A first order account
\nRoom: Science Park 107 (NEW ILLC LOCATION), room F1.15
\nTime: TUESDAY, 16 April, 15:30-17:30
\nAbstract:
\nDealing with inconsistency has always been an issue for mathematical logic\u00a0and there has been several attempts to […]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-1903","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1903","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=1903"}],"version-history":[{"count":10,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1903\/revisions"}],"predecessor-version":[{"id":1920,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1903\/revisions\/1920"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1903"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1903"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1903"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}