FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100022810> ?p ?o ?g. }

• W2100022810 abstract "In this thesis we are concerned with developing formal and representational mechanisms for reasoning with inconsistent information. Strictly speaking there are two conceptually distinct senses in which we are interested in reasoning with inconsistent information. In one sense, we are interested in using logical deduction to draw inferences in a symbolic system. More specifically, we are interested in mechanisms that can continue to perform deduction in a reasonable manner despite the threat of inconsistencies as a direct result of errors or misrepresentations. So in this sense we are interested in inconsistency-tolerant or paraconsistent deduction. However, not every case of inconsistent description is a case of misrepresentation. In many practical situations, logically inconsistent descriptions may be deployed as representations for problems that are inherently conflicting. The issue of error or misrepresentation is irrelevant in these cases. Rather the main concern in these cases is to provide meaningful analyses of the underlying structure and properties of our logical representation which in turn informs us about the salient features of the problem under consideration. So in this second sense, we are interested in deploying logic as a representation to model situations involving conflict. In this thesis we adopt a novel framework to unify both logic-as-deduction and logic-as-representation approaches to reasoning with inconsistent information. From a preservational view point, we take deduction as a process by which metalogical properties are preserved from premises to conclusions. Thus methodologically wemay begin by identifying inconsistency-tolerant deduction mechanisms and then investigate what additional properties of inconsistent premises are preserved by these mechanisms; or alternatively we may begin by identifying properties of inconsistent logical descriptions and investigate which deductive mechanisms can preserve these properties. We view these as two aspects of the same investigation. A key assumption in this work is that adequate analyses of inconsistencies require provisions to quantitatively measure and compare inconsistent logical representations. While paraconsistent logics have enjoyed considerable success in recent years, proper quantitative analysis of inconsistencies seems to have lapsed behind to some extent. In this thesis we’ll explore different ways in which we can compare and measure inconsistencies. We hope" @default.
• W2100022810 created "2016-06-24" @default.
• W2100022810 creator A5015505779 @default.
• W2100022810 date "2004-01-01" @default.
• W2100022810 modified "2023-09-24" @default.
• W2100022810 title "Reasoning with Inconsistent Information" @default.
• W2100022810 cites W1015949428 @default.
• W2100022810 cites W13455872 @default.
• W2100022810 cites W143313172 @default.
• W2100022810 cites W1480405493 @default.
• W2100022810 cites W1487349793 @default.
• W2100022810 cites W1487409515 @default.
• W2100022810 cites W1488450166 @default.
• W2100022810 cites W1488789520 @default.
• W2100022810 cites W1489402961 @default.
• W2100022810 cites W1501414593 @default.
• W2100022810 cites W1505359507 @default.
• W2100022810 cites W1506910973 @default.
• W2100022810 cites W1526521033 @default.
• W2100022810 cites W1531117202 @default.
• W2100022810 cites W1534239005 @default.
• W2100022810 cites W1534293633 @default.
• W2100022810 cites W1535254060 @default.
• W2100022810 cites W1545685255 @default.
• W2100022810 cites W1547594020 @default.
• W2100022810 cites W1548446199 @default.
• W2100022810 cites W1550802026 @default.
• W2100022810 cites W1554516311 @default.
• W2100022810 cites W1554654858 @default.
• W2100022810 cites W1555877973 @default.
• W2100022810 cites W1557601222 @default.
• W2100022810 cites W1565010992 @default.
• W2100022810 cites W1569596742 @default.
• W2100022810 cites W1570433418 @default.
• W2100022810 cites W1578044518 @default.
• W2100022810 cites W1580776589 @default.
• W2100022810 cites W1586696788 @default.
• W2100022810 cites W1593617641 @default.
• W2100022810 cites W1595430922 @default.
• W2100022810 cites W1596067335 @default.
• W2100022810 cites W1600348701 @default.
• W2100022810 cites W1602390698 @default.
• W2100022810 cites W163012990 @default.
• W2100022810 cites W1686746446 @default.
• W2100022810 cites W1762925607 @default.
• W2100022810 cites W1776669836 @default.
• W2100022810 cites W1789350094 @default.
• W2100022810 cites W1809048060 @default.
• W2100022810 cites W1825730661 @default.
• W2100022810 cites W1836266120 @default.
• W2100022810 cites W1873680480 @default.
• W2100022810 cites W1881301291 @default.
• W2100022810 cites W1923807516 @default.
• W2100022810 cites W1967192042 @default.
• W2100022810 cites W1967858132 @default.
• W2100022810 cites W1968128450 @default.
• W2100022810 cites W1972655158 @default.
• W2100022810 cites W1976303542 @default.
• W2100022810 cites W1976504097 @default.
• W2100022810 cites W1980589711 @default.
• W2100022810 cites W1981671130 @default.
• W2100022810 cites W1985428131 @default.
• W2100022810 cites W1985520716 @default.
• W2100022810 cites W1986234279 @default.
• W2100022810 cites W1988877071 @default.
• W2100022810 cites W1991023298 @default.
• W2100022810 cites W1991350248 @default.
• W2100022810 cites W1994227541 @default.
• W2100022810 cites W1995875735 @default.
• W2100022810 cites W1997813550 @default.
• W2100022810 cites W1999622198 @default.
• W2100022810 cites W2003116861 @default.
• W2100022810 cites W2005593208 @default.
• W2100022810 cites W2006078799 @default.
• W2100022810 cites W2008244290 @default.
• W2100022810 cites W2008618044 @default.
• W2100022810 cites W2010242502 @default.
• W2100022810 cites W2011039300 @default.
• W2100022810 cites W2012449337 @default.
• W2100022810 cites W2013788787 @default.
• W2100022810 cites W2016515719 @default.
• W2100022810 cites W2016777334 @default.
• W2100022810 cites W2016806726 @default.
• W2100022810 cites W2021592171 @default.
• W2100022810 cites W2023605209 @default.
• W2100022810 cites W2025262844 @default.
• W2100022810 cites W2026799317 @default.
• W2100022810 cites W2027379370 @default.
• W2100022810 cites W2030232034 @default.
• W2100022810 cites W2031814994 @default.
• W2100022810 cites W2034313967 @default.
• W2100022810 cites W2038897673 @default.
• W2100022810 cites W2041905826 @default.
• W2100022810 cites W2047923802 @default.
• W2100022810 cites W2050160961 @default.
• W2100022810 cites W2051405266 @default.
• W2100022810 cites W2054320265 @default.
• W2100022810 cites W2054518394 @default.
• W2100022810 cites W2055862540 @default.
• W2100022810 cites W2057502281 @default.

• next