×

A simple signed system for paraconsistent reasoning. (English) Zbl 1427.68287

Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’96, Évora, Portugal, September 30 – October 3, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1126, 404-416 (1996).
Summary: We present a novel approach to paraconsistent reasoning, that is to reasoning from inconsistent information. The basic idea is the following. We transform an inconsistent theory into a consistent one by renaming all literals occuring in the theory. Then, we restore some of the original contents of the theory by introducing progressively formal equivalences linking the original literals to their renamings. This is done as long as consistency is preserved. The restoration of the original contents of the theory is done by appeal to default logic. The overall approach provides us with a family of paraconsistent consequence relations.
For the entire collection see [Zbl 1415.68010].

MSC:

68T27 Logic in artificial intelligence
03B53 Paraconsistent logics
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] A. Anderson and N. Belnap. Entailment: The Logic of Relevance and Necessity, Vol. I. Princeton University Press, 1975. · Zbl 0323.02030
[2] O. Arieli and A. Avron. Logical bilattices and inconsistent data. In Proceedings of the Logic in Computer Science Conference, pages 468-476, 1994.
[3] N. Belnap. A useful four-valued logic. In J. Dunn and G. Epstein, editors, Modern Uses of Multiple-Valued Logic. Reidel, 1977. · Zbl 0417.03009
[4] S. Benferhat, D. Dubois, and H. Prade. Argumentative inference in uncertain and inconsistent knowledge bases. In Proceedings of Ninth International Conference on Uncertainty in Artificial Intelligence, pages 411-419, 1993.
[5] P. Besnard. Paraconsistent logic approach to knowledge representation. In M. de Glas and D. Gabbay, editors, Proceedings of the First World Conference on Fundamentals of Artificial Intelligence, 1991.
[6] P. Besnard and T. Schaub. A simple signed system for paraconsistent reasoning. Technical report, IRISA, 1996. In preparation. · Zbl 0893.68149
[7] S. Brass. On the semantics of supernormal defaults. In Ruzena Bajcsy, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pages 578-583. Morgan Kaufmann Publishers, 1993.
[8] G. Brewka. Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, Cambridge, 1991. · Zbl 0723.68099
[9] W. Carnielli, L. Fariñas del Cerro, and M. Lima Marques. Contextual negations and reasoning with contradictions. In J. Mylopoulos and R. Reiter, editors, Proceedings of the International Joint Conference on Artificial Intelligence, pages 532-537. Morgan Kaufmann Publishers, 1991. · Zbl 0742.68052
[10] N. da Costa. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15:497-510, 1974. · Zbl 0236.02022
[11] J. Dix. On cumulativity in default logic and its relation to Poole’s approach. In B. Neumann, editor, Proceedings of the European Conference on Artificial Intelligence, pages 289-293. John Wiley & sons, 1992.
[12] D. Gabbay and A. Hunter. Restricted access logics for inconsistent information. In M. Clarke, R. Kruse, and S. Moral, editors, Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Springer Verlag, 1993.
[13] J. Horty, R. Thomason, and D. Touretzky. A skeptical theory of inheritance in nonmonotonic semantic networks. Artificial Intelligence, 42:311-348, 1990. · Zbl 0717.68085
[14] M. Kifer and E. Lozinskii. RI: A logic for reasoning with inconsistency. In Proceedings of the Logic in Computer Science Conference, pages 253-262, 1989. · Zbl 0717.03005
[15] D. Makinson. General theory of cumulative inference. In M. Reinfrank, J. de Kleer, M. Ginsberg, and E. Sandewall, editors, Proceedings of the Second International Workshop on Non-Monotonic Reasoning, volume 346 of Lecture Notes in Artificial Intelligence, pages 1-18. Springer Verlag, 1989. · Zbl 0675.03007
[16] R. Manor and N. Rescher. On inferences from inconsistent information. Theory and Decision, 1:179-219, 1970. · Zbl 0212.31103 · doi:10.1007/BF00154005
[17] T. Pequeno and A. Buchsbaum. The logic of epistemic inconsistency. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, pages 453-560, San Mateo, CA, 1991. Morgan Kaufmann Publishers. · Zbl 0765.68185
[18] D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27-47, 1988. · Zbl 0647.68094
[19] G. Priest, R. Routley, and J. Norman, editors. Paraconsistent Logics. Philosophica Verlag, 1989. · Zbl 0678.00003
[20] R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1-2):81-132, 1980. · Zbl 0435.68069 · doi:10.1016/0004-3702(80)90014-4
[21] R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-96, 1987. · Zbl 0643.68122 · doi:10.1016/0004-3702(87)90062-2
[22] N. Rescher and R. Brandom. The Logic of Inconsistency. Blackwell, 1980. · Zbl 0598.03001
[23] N. Roos. A logic for reasoning with inconsistent knowledge. Artificial Intelligence, 57:69-103, 1992. · Zbl 0763.68057 · doi:10.1016/0004-3702(92)90105-7
[24] E. Sandewall. A functional approach to non-monotonic logic. Computational Intelligence, 1:80-87, 1985.
[25] G. Wagner. Ex contradictione nihil sequitur. In J. Mylopoulos and R. Reiter, editors, Proceedings of the International Joint Conference on Artificial Intelligence, pages 538-543. Morgan Kaufmann Publishers, 1991. · Zbl 0742.68061
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.