Gradable logical values for knowledge representation
β Scribed by N. K. Kossovskii; A. V. Tishkov
- Publisher
- Springer US
- Year
- 2000
- Tongue
- English
- Weight
- 644 KB
- Volume
- 98
- Category
- Article
- ISSN
- 1573-8795
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
## 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