Predicate Logic and Inexact Reasoning

  • T. Panayiotopoulos
  • G. Papakonstantinou
Part of the Microprocessor-Based and Intelligent Systems Engineering book series (ISCA, volume 9)


This paper presents a generalised approach for the incorporation of some inexact reasoning models in propositional and first order predicate logic. Incorporated in the proving mechanism is an extended resolution principle. The resolution takes place between geneneral clauses with an arbitrary selection for unification among these clauses.

Index Terms

Uncertainty theorem proving first order logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    H. Prade,“A Computational Approach to Approximate and Plausible Reasoning with Applications to Expert Systems”, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. PAMI-7, no 3, pp. 260–283, May 1985.CrossRefGoogle Scholar
  2. [2]
    D. Dubois, H. Prade, “Necessity Measures and the Resolution Principle”, IEEE Trans. on SMC, Vol.SMC-17, no.3, pp.474–478, May/June 1987.MathSciNetzbMATHGoogle Scholar
  3. [3]
    R.C.T. Lee, “Fuzzy Logic and the resolution principle”, JAss.Comp.Mach., Vol.19, no.1, pp.109–119, 1972.zbMATHCrossRefGoogle Scholar
  4. [4]
    M. Mukainodo, Z. Shen, L. Ding, “Fundamentals of Fuzzy Prolog”, International Journal of Approximate Reasoning, no 3, pp.179–193, 1989.CrossRefGoogle Scholar
  5. [5]
    M. Ishizuka, N. Kanai, “Prolog-Elf incorporating Fuzzy Logic”, in Proc. 9th Int. Joint Conf. Artificial Intelligence, Los Angeles, pp.701–703, Aug. 18–23, 1985.Google Scholar
  6. [6]
    M.H. Van Emden, “Quantitive deduction and its fixpoint theory”, The Journal of Logic Programming, no 1, pp.37–53, 1986.MathSciNetCrossRefGoogle Scholar
  7. [7]
    D. Dubois, J. Lang, H.Prade, “Theorem proving under uncertainty - a possibility theory-based approach”, in Proc. 10th Int. Joint Conf. Artificial Intelligence, pp.984–986, 1986.Google Scholar
  8. [8]
    T. Panayiotopoulos, G. Papakonstantinou, G. Stamatopoulos, “An Attribute Grammar Based Theorem Prover”, Information and Software Technology, vol 30, no 9, pp.553–560, November 1988.CrossRefGoogle Scholar
  9. [9]
    T. Panayiotopoulos, G. Papakonstantinou, N.M. Sgouros, “An Attribute Grammar interpreter for Inexact Reasoning”, Information and Software Technology, vol 32, no 5, pp.347–356, June 1990.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1991

Authors and Affiliations

  • T. Panayiotopoulos
    • 1
  • G. Papakonstantinou
    • 1
  1. 1.Electrical Engineering Department Computer Science DivisionNational Technical University of AthensAthensGreece

Personalised recommendations