Titlebook: Reasoning with Actual and Potential Contradictions; Philippe Besnard,Anthony Hunter Book 1998 Springer Science+Business Media Dordrecht 19

ODE

書目名稱Reasoning with Actual and Potential Contradictions影響因子(影響力)




書目名稱Reasoning with Actual and Potential Contradictions影響因子(影響力)學(xué)科排名




書目名稱Reasoning with Actual and Potential Contradictions網(wǎng)絡(luò)公開度




書目名稱Reasoning with Actual and Potential Contradictions網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Reasoning with Actual and Potential Contradictions被引頻次




書目名稱Reasoning with Actual and Potential Contradictions被引頻次學(xué)科排名




書目名稱Reasoning with Actual and Potential Contradictions年度引用




書目名稱Reasoning with Actual and Potential Contradictions年度引用學(xué)科排名




書目名稱Reasoning with Actual and Potential Contradictions讀者反饋




書目名稱Reasoning with Actual and Potential Contradictions讀者反饋學(xué)科排名

殺死

Preserve

詞根詞綴法

Paraconsistent Logics,out the logic being trivialized [Gabbay and Hunter, 1991; Finkelstein .., 1994]. This is the need to derive reasonable inferences without deriving the trivial inferences that follow the ex falso quodlibet proof rule that holds in classical logic.

exorbitant

Modal Logics for Representing Incoherent Knowledge,eed to be able to represent and reason with this in a non-trivial way. Representing incoherences cannot be done non-trivially in classical logic, since here when an inconsistency arises one may derive anything using (properties of the) material implication and modus ponens.

Metastasis

Introduction to Actual and Potential Contradictions,apter some general issues of representing and reasoning with notions of contradiction and inconsistency. For the sake of generality in this chapter, logics are here understood as formal systems consisting of a language . (in the form of a set of formulas) on which an inference operation . is defined

Catheter

裁決

Modal Logics for Representing Incoherent Knowledge,ther one we get some information that contradicts this. Examples range from human conversion in groups to electronic agents with multiple sensors and computer systems with multiple (communicating) intelligent (artificial) agents (so-called ‘.’). In order to cope with this incoherent information we n

Heart-Rate

空氣傳播

Conditional Logics for Defeasible Reasoning,totypical proprties. Example of such statements include “birds fly” or “John walks to work”. A notable characteristic of such statements is that they express a truth (or a conditional) that makes reference to . states of affairs. Such statements may also admit exceptions: it is clearly true that not