Signed Systems for Paraconsistent Reasoning

Journal of Automated Reasoning

Volumn 20, Issue 1-2, 1998, Pages 191-213

  Besnard, Ph ^a   Schaub, T ^b  

^a CAMPUS DE BEAULIEU   (France)

^b UNIVERSITÉ D'ANGERS   (France)

Author keywords

Inconsistent information; Knowledge representation; Paraconsistent reasoning; Semantics

Indexed keywords

COMPUTATIONAL LINGUISTICS; KNOWLEDGE REPRESENTATION;

PARACONSISTENT REASONING;

FORMAL LOGIC;

EID: 0032050872     PISSN: 01687433     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1005957026440     Document Type: Article

References (31)

1. Anderson, A. and Belnap, N.: Entailment: The Logic of Relevance and Necessity Vol. I, Princeton University Press, 1975.
2. Arieli, O. and Avron, A.: Logical bilattices and inconsistent data, in Proc. Logic in Computer Science Conference, 1994, pp. 468-476.
3. Belnap, N.: A useful four-valued logic, in J. Dunn and G. Epstein (eds), Modern Uses of Multiple-Valued Logic, Reidel, 1977.
4. Benferhat, S., Dubois, D. and Prade, H.: Argumentative inference in uncertain and inconsistent knowledge bases, in Proc. Ninth International Conference on Uncertainty in Artificial Intelligence, 1993, pp. 411-419.
5. Besnard, P.: Paraconsistent logic approach to knowledge representation, in M. de Glas and D. Gabbay (eds), Proc. First World Conference on Fundamentals of Artificial Intelligence, 1991.
6. Blair, H. and Subrahmanian, V. S.: Paraconsistent foundations of logic programming, J. Non-Classical Logics 5(2) (1988), 45-73.
7. Blair, H. and Subrahmanian, V. S.: Paraconsistent logic programming, Theoretical Computer Science 68(2) (1989), 135-154.
8. Brass, S.: On the semantics of supernormal defaults, in Ruzena Bajcsy (ed.), Proc. International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, 1993, pp. 578-583.
9. Brewka, G.: Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge University Press, Cambridge, 1991.
10. Carnielli, W., Fariñas del Cerro, L. and Lima Marques, M.: Contextual negations and reasoning with contradictions, in J. Mylopoulos and R. Reiter (eds), Proc. International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, 1991, pp. 532-537.
11. da Costa, N.: On the theory of inconsistent formal systems, Notre Dame Journal of Formal Logic 15 (1974), 497-510.
12. Damásio, C. V. and Pereira, L. M.: A survey on paraconsistent semantics for extended logic programs and transformations for well-founded semantics, in D. Gabbay and P. Smets (eds), Handbook of Defeasible Reasoning and Uncertainty Management Systems Vol. 2, Oxford University Press, 1997, to appear.
13. Dix, J.: On cumulativity in default logic and its relation to Poole's approach, in B. Neumann (ed.), Proc. European Conference on Artificial Intelligence, John Wiley and Sons, 1992, pp. 289-293.
14. Gabbay, D. and Hunter, A.: Restricted access logics for inconsistent information, in M. Clarke, R. Kruse, and S. Moral (eds), Proc. European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer-Verlag, 1993.
15. Gallier, J.: Logic for Computer Science: Foundations of Automated Theorem Proving, Harper and Row, New York, 1986.
16. Grant, J. and Subrahmanian, V. S.: Reasoning in inconsistent knowledge bases, IEEE Transactions on Knowledge and Data Engineering 7(1) (1995), 177-189.
17. Horty, J., Thomason, R. and Touretzky, D.: A skeptical theory of inheritance in nonmonotonic semantic networks, Artificial Intelligence 42 (1990), 311-348.
18. Kifer, M. and Lozinskii, E.: RI: A logic for reasoning with inconsistency, in Proc. Logic in Computer Science Conference, 1989, pp. 253-262.
19. Makinson, D.: General theory of cumulative inference, in M. Reinfrank, J. de Kleer, M. Ginsberg, and E. Sandewall (eds), Proc. Second International Workshop on Non-Monotonic Reasoning Vol. 346 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 1989, pp. 1-18.
20. Manor, R. and Rescher, N.: On inferences from inconsistent information, Theory and Decision 1 (1970), 179-219.
21. Murray, N.: Completely non-clausal theorem proving, Artificial Intelligence 18 (1982), 67-85.
22. Pequeno, T. and Buchsbaum, A.: The logic of epistemic inconsistency, In J. Allen, R. Fikes and E. Sandewall (eds), Proc. Second International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann Publishers, San Mateo, CA, 1991, pp. 453-560.
23. Poole, D.: A logical framework for default reasoning, Artificial Intelligence 36 (1988), 27-47.
24. Priest, G., Routley, R. and Norman, J.: Paraconsistent Logics, Philosophica Verlag, 1989.
25. Reiter, R.: A logic for default reasoning, Artificial Intelligence 13(1-2) (1980), 81-132.
26. Reiter, R.: A theory of diagnosis from first principles, Artificial Intelligence 32(1) (1987), 57-96.
27. Rescher, N. and Brandom, R.: The Logic of Inconsistency, Blackwell, 1980.
28. Roos, N.: A logic for reasoning with inconsistent knowledge, Artificial Intelligence 57 (1992), 69-103.
29. Sandewall, E.: A functional approach to non-monotonic logic, Computational Intelligence 1 (1985), 80-87.
30. Shoenfield, Joseph, R.: Mathematical Logic, Addison-Wesley, Reading, MA, 1967.
31. Wagner, G.: Ex contradictione nihil sequitur, in J. Mylopoulos and R. Reiter (eds), Proc. International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, 1991, pp. 538-543.