Making inconsistency respectable 1 : A logical framework for inconsistency inreasoningDov


We claim there is a fundamental diierence between the way humans handle inconsistency and the way it is currently handled in formal logical systems: To a human, resolving inconsistencies is not necessarily done by \restoring" consistency but by supplying rules telling one how to act when the inconsistency arises. For artiicial intelligence there is an… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics