Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases

Newton C.A. da Costa; V. S. Subrahmanian

doi:10.1016/0933-3657(89)90031-6

Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases

Newton C.A. da Costa^*, V. S. Subrahmanian

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

25 Scopus citations

Abstract

Inconsistency is a natural phenomenon of the world. Thus, we need methods to reason about systems that may be inconsistent. Paraconsistent logics are a family of logics proposed initially by da Costa [3, 4, 5, 6] as a framework for reasoning in the presence of inconsistency. In this paper, we discuss various alternative schemes for paraconsistent reasoning and show how it applies to the design of large knowledge bases and databases in expert systems where incosistent information may often be present.

Original language	English (US)
Pages (from-to)	167-174
Number of pages	8
Journal	Artificial Intelligence In Medicine
Volume	1
Issue number	4
DOIs	https://doi.org/10.1016/0933-3657(89)90031-6
State	Published - 1989
Externally published	Yes

Keywords

belief
consistency checking
disbelief
inconsistent knowledge bases
knowledge bases
medical expert systems
paraconsistent logic programming
paraconsistent logics
uncertainty

ASJC Scopus subject areas

Medicine (miscellaneous)
Artificial Intelligence

Access to Document

10.1016/0933-3657(89)90031-6

Cite this

@article{dc5c422d2bd249a7a8143596def37a34,

title = "Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases",

abstract = "Inconsistency is a natural phenomenon of the world. Thus, we need methods to reason about systems that may be inconsistent. Paraconsistent logics are a family of logics proposed initially by da Costa [3, 4, 5, 6] as a framework for reasoning in the presence of inconsistency. In this paper, we discuss various alternative schemes for paraconsistent reasoning and show how it applies to the design of large knowledge bases and databases in expert systems where incosistent information may often be present.",

keywords = "belief, consistency checking, disbelief, inconsistent knowledge bases, knowledge bases, medical expert systems, paraconsistent logic programming, paraconsistent logics, uncertainty",

author = "{da Costa}, {Newton C.A.} and Subrahmanian, {V. S.}",

year = "1989",

doi = "10.1016/0933-3657(89)90031-6",

language = "English (US)",

volume = "1",

pages = "167--174",

journal = "Artificial Intelligence in Medicine",

issn = "0933-3657",

publisher = "Elsevier",

number = "4",

}

TY - JOUR

T1 - Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases

AU - da Costa, Newton C.A.

AU - Subrahmanian, V. S.

PY - 1989

Y1 - 1989

N2 - Inconsistency is a natural phenomenon of the world. Thus, we need methods to reason about systems that may be inconsistent. Paraconsistent logics are a family of logics proposed initially by da Costa [3, 4, 5, 6] as a framework for reasoning in the presence of inconsistency. In this paper, we discuss various alternative schemes for paraconsistent reasoning and show how it applies to the design of large knowledge bases and databases in expert systems where incosistent information may often be present.

AB - Inconsistency is a natural phenomenon of the world. Thus, we need methods to reason about systems that may be inconsistent. Paraconsistent logics are a family of logics proposed initially by da Costa [3, 4, 5, 6] as a framework for reasoning in the presence of inconsistency. In this paper, we discuss various alternative schemes for paraconsistent reasoning and show how it applies to the design of large knowledge bases and databases in expert systems where incosistent information may often be present.

KW - belief

KW - consistency checking

KW - disbelief

KW - inconsistent knowledge bases

KW - knowledge bases

KW - medical expert systems

KW - paraconsistent logic programming

KW - paraconsistent logics

KW - uncertainty

UR - http://www.scopus.com/inward/record.url?scp=22944447494&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=22944447494&partnerID=8YFLogxK

U2 - 10.1016/0933-3657(89)90031-6

DO - 10.1016/0933-3657(89)90031-6

M3 - Article

AN - SCOPUS:22944447494

SN - 0933-3657

VL - 1

SP - 167

EP - 174

JO - Artificial Intelligence in Medicine

JF - Artificial Intelligence in Medicine

IS - 4

ER -

Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this