Paraconsistent Knowledge Bases and Many-Valued Logic

@inproceedings{Villadsen2002ParaconsistentKB,
  title={Paraconsistent Knowledge Bases and Many-Valued Logic},
  author={J\orgen Villadsen},
  booktitle={BalticDB&IS},
  year={2002}
}
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge bases. We present a paraconsistent many-valued logic with a simple and new semantics for the logical operators. In particular we compare our approach with work based on… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 16 references

Meaning and Partiality

  • R. Muskens
  • CSLI Publications,
  • 1995
Highly Influential
3 Excerpts

A useful four-valued logic

  • N. D. Belnap
  • Modern Uses of Multiple - Valued Logic
  • 1977
Highly Influential
4 Excerpts

What is paraconsistent logic

  • Béziau, J.-Y
  • Frontiers in Paraconsistent Logic ,
  • 2000
1 Excerpt

Similar Papers

Loading similar papers…