Paraconsistent circumscription

  • Zuoquan Lin
Knowledge Representation IV: Reasoning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1081)


In [15], paraconsistent circumscription is described by application of predicate circumscription in a paraconsistent logic, which is nonmonotonic and paraconsistent. In this paper, we first extend paraconsistent circumscription into first-order case by minimal semantics. Unfortunately, the circumscriptive schema is not available for paraconsistent logic. In order to obtain a satisfactory proof theory for paraconsistent circumscription, we then propose a minimal tableaux to arrive at the goal. The sound and complete theorems of the tableaux with respect to the semantics are provided.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Anderson. R and Belnap. N, Entailment, Vol. 1, Princeton, 1975Google Scholar
  2. [2]
    Blair. H and Subrahmanian. V, Paraconsistent Logic Programming, Theoretical Computer Science, 68, 1989Google Scholar
  3. [3]
    Davis. M, The Mathematics of Non-Monotonie Reasoning, Artificial Intelligence 13, 1980Google Scholar
  4. [4]
    Dunn M, Intuitive Semantics for First-Order Entailments and ‘Coupled Tree', Philosophical Studies, 29, 1976, 149–168Google Scholar
  5. [5]
    Dunn M, A Sieve for Entailments, J. of Philosophical Logic, 9 (1980), 41–57Google Scholar
  6. [6]
    Etherington D, Kraus. S and Perlis. D, Nonmonotonicity and the Scope of Reasoning, Artificial Intelligence 52 (1991), 221–261Google Scholar
  7. [7]
    Ginsberg. M (Ed.), Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 1987Google Scholar
  8. [8]
    Hanks. S and McDermott. D, Nonmonotonic Reasoning and Temporal Projection, Artificial Intelligence 35 (1988)Google Scholar
  9. [9]
    Hintikka. J, Model Minimization — An Alternative to Circumscription, J. of Automated Reasoning, 4, 1988Google Scholar
  10. [10]
    Levesque. H, A Logic of Implicit and Explicit Belief, Proceedings of AAAI-84, 1984Google Scholar
  11. [11]
    Lifschitz. V, Computing Circumscription, Proceedings of IJCAI-85, 1985Google Scholar
  12. [12]
    Lifschitz. V, The Satisfaction of Circumscription, Artificial Intelligence 28, 1986Google Scholar
  13. [13]
    Lin. F, Reasoning in the Presence of Inconsistency, Proceedings of AAAI-87, 139–143Google Scholar
  14. [14]
    Lin. Z, Fault-Tolerant Reasoning, Proceedings of the 2nd World Congress on Expert Systems, January 10–14, Lisbon, 1994Google Scholar
  15. [15]
    Lin. Z, Circumscription in a Paraconsistent Logic, Proceedings of Canadian Conference on Artificial Intelligence, Banff, 1994Google Scholar
  16. [16]
    Lin. Z, A Note on Tableaux of Logics of Paradox, Proceedings of German Conference on Artificial Intelligence (KI-94), Lecture Note in Artificial Intelligence, Springer-Verlag, 1994Google Scholar
  17. [17]
    McCarthy. J, Circumscription — A Form of Non-Monotonie Reasoning, Artificial Intelligence 13, 1980Google Scholar
  18. [18]
    McCarthy. J, Application of Circumscription to Formalizing Common-Sense Knowledge, Artificial Intelligence 28, 1986Google Scholar
  19. [19]
    Morris. P, Stable Closure, Defeasible Logic and Contradiction Tolerant Reasoning, Proceedings of AAAI-88, 1988Google Scholar
  20. [20]
    Olivetti. N, Tableaux and Sequent Calculus for Minimal Entailment, J. of Automated Reasoning, 9, 1992, 99–139Google Scholar
  21. [21]
    Pequeno. T and buchsbaum. A, The logic of Epistemic Inconsistency, Proceedings of KR-91, 1991Google Scholar
  22. [22]
    Perlis. D, On the Consistency of Commonsense Reasoning, Computational Intelligence 2 (1986)Google Scholar
  23. [23]
    Priest. G, Logic of Paradox, J. of Philosophical Logic 8, 1979Google Scholar
  24. [24]
    Priest. G et al. (Ed.), Paraconsistent Logic: Essays in the Inconsistency, Philosophia Verlag, 1989Google Scholar
  25. [25]
    Priest. G, Reasoning about Truth, Artificial Intelligence 39, 1989Google Scholar
  26. [26]
    Reiter. R, On Closed World Data Base, in: Logic and Data Base, Gallaire. H and Minker. J (Eds.), Plenum Press, 1978Google Scholar
  27. [27]
    Roos. N, A Logic for Reasoning with Inconsistent Knowledge, Artificial Intelligence, 57(1992), 69–103Google Scholar
  28. [28]
    Shoham. Y, Nonmonotonic Reasoning: Meaning and utility, Proceedings of IJCAI'87, 1987Google Scholar
  29. [29]
    Smullyan. M, First-Order Logic, Springer-Verlag, 1968Google Scholar
  30. [30]
    Thomason. K and Horty. J, Logics for Inheritance Theory, Proceedings of International Workshop on Nonmonotonic Reasoning (IWNMR-88), 1988Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Zuoquan Lin
    • 1
  1. 1.Computer Science InstituteShantou UniversityShantouChina

Personalised recommendations