A constraint-based fuzzy inference system

  • Kevin Lano
Part of the Lecture Notes in Computer Science book series (LNCS, volume 541)


This paper describes an inference system for uncertain predicates, providing an alternative to the maximal entropy method used by Paris and Vencovska in

In the Appendix we give an example of the application of the process, and a formal definition of the logics that underlie the system.

Key words

Fuzzy logic Inexact reasoning 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J.F.Baldwin, B.Pilsworth, T.Martin — The FRIL manual, Equipu-Air Ltd, Bristol.Google Scholar
  2. [2]
    J.F. Baldwin, B. Pilsworth — Evidential Support Logic Programming, Fuzzy Sets and Systems Vol 24, 1987, pp 1–26.Google Scholar
  3. [3]
    J.F. Baldwin — A Fuzzy Relational Inference Language, Fuzzy Sets and Systems Vol 14, 1984, pp 155–174.Google Scholar
  4. [4]
    A.Colmerauer — An Introduction to Prolog III, Proceedings of the ESPRIT 90 Symposium on Computational Logic, Brussels, DG XIII Commission of the European Communities.Google Scholar
  5. [5]
    K.S.Leung, W.S.Felix Wong, W. Lam — Applications of a novel fuzzy expert system shell, Expert Systems Vol 6 No.1, Feb 89.Google Scholar
  6. [6]
    V.Novak, W.Pedrycz — Fuzzy set and t-norms in the light of Fuzzy Logic, in Machine Learning and Uncertain Reasoning, B.Gains, J.Boose (Eds), Academic Press 1990.Google Scholar
  7. [7]
    J.B.Paris, A.Vencovska — A Note on the Inevitability of Maximum Entropy, Mathematics Department, Manchester University 1988.Google Scholar
  8. [8]
    J.B.Paris, A.Vencovska — On the Applicability of Maximum Entropy to Inexact Reasoning, International Journal of Approximate Reasoning Vol 3, No. 1.Google Scholar
  9. [9]
    J.B.Paris, A.Vencovska — A Model of Belief, Manchester University, Department of Mathematics. (1990).Google Scholar
  10. [10]
    R.R. Yeager — On a general class of fuzzy connectives, Fuzzy Sets and Systems Vol 4 (1980), 3, pp 235–242.Google Scholar
  11. [11]
    R. Shostak — The Sup-Inf method for Proving Presburger Formulae, JACM Vol. 24, No. 4, October 1977, pp 529–543.Google Scholar
  12. [12]
    S. Gottwald — Fuzzy Propositional Logics, Fuzzy Sets and Systems Vol 3. No. 2, pp 181–192.Google Scholar
  13. [13]
    K.C.Lano — Mathematical Frameworks for Vagueness and Approximate Reasoning, PhD thesis, Bristol University, 1988. Summary in Fuzzy Sets and Systems, 35(2), 1990.Google Scholar
  14. [14]
    A.Pultr — Fuzziness and Fuzzy Equality, Aspects Of Vagueness, Ed H.Skala, S.Termini, E.Trillas, (D.Reidel 1984) pp 119–135.Google Scholar
  15. [15]
    J. Goguen — The Logic of Inexact Concepts, Synthese 19 (1969) pp 325–373.Google Scholar
  16. [16]
    D. Long, R. Garigliano — A Formal Model through Homogeneity Theory of Adaptive Reasoning, PRG Technical Monograph 71, Oxford University Programming Research Group.Google Scholar
  17. [17]
    L. Zadeh — Fuzzy Sets, Information and Control No. 8 (1965) pp 338–353.Google Scholar
  18. [18]
    K.S.Leung, W. Lam — A Fuzzy Expert System Shell using both Exact and Inexact Reasoning, Journal of Automated Reasoning Vol 5, No. 2, June 1989.Google Scholar
  19. [19]
    Z. Cao, Z. Handel — Applicability of Some Fuzzy Implication Operators, Fuzzy Sets and Systems Vol. 31 No. 2, June 1989, pp 151–186.Google Scholar
  20. [20]
    H.Gardner — The Minds New Science, Basic Books, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Kevin Lano
    • 1
  1. 1.Oxford University Programming Research GroupOxfordUK

Personalised recommendations