𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases

✍ Scribed by Newton C.A. da Costa; V.S. Subrahmanian

Book ID
113402474
Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
858 KB
Volume
1
Category
Article
ISSN
0933-3657

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A knowledge representation perspective:
A knowledge representation perspective: Logics for paraconsistent reasoning
✍ Philippe Besnard; Els Laenens πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 912 KB

Paraconsistent logics are examined as an approach to knowledge representation devoted to the formalization of reasoning in the presence of contradictions. The adequacy of paraconsistent logics in such a perspective is described both on a general level and on a more specific level: discussion involve

Three-valued logic for reasoning from an
Three-valued logic for reasoning from an inconsistent knowledge base
✍ Ikuo Tahara; Shiho Nobesawa πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 271 KB

## Abstract Nontrivial reasoning under inconsistency, called paraconsistent reasoning, has been discussed mainly in two frameworks; one is the classical logic (consistency‐based) framework and the other is the three‐valued logic framework. In this paper, we propose a new entailment relation based o