Skip to main content

Inference Algorithms in Knowledge-Based Systems

  • Chapter
  • 106 Accesses

Part of the book series: Theory and Decision Library ((TDLD,volume 3))

Abstract

This Ch. summarizes some common techniques of inference utilized for fuzzy data. Special attention has been paid to the implementation of modus ponens (which realizes a data-driven mode of reasoning) and modus tollens (corresponding to a goal-driven mode of reasoning). The detachment principle (corresponding to a means of expressing a similarity between fuzzy statements) is also investigated. We discuss how different forms of fuzzy relation equations are used to handle each of these modes of inference. Also the question of a direct link between the relevancy of the KB and the length of the inference chain leading to meaningful conclusions is considered. This is of primordial importance; it has to be analyzed to interpret the results of inference and, in particular, to visualize precision. A proper reformulation of the problem in terms of fuzzy equations makes it possible to consider this knowledge transformation in a greater detail.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. Buchanan and E.M. Shortliffe, Rule-Based Expert Systems, Addison-Wesley, Reading, Mass., 1984.

    Google Scholar 

  2. E. Czogala and W. Pedrycz, Some problems concerning the construction of algorithms of decision-making in fuzzy systems, Internat. J. Man-Machine Studies 15 (1981), 201–211.

    Article  MathSciNet  MATH  Google Scholar 

  3. A. Di Nola, W. Pedrycz and S. Sessa, Towards handling fuzziness in intelligent systems, in Fuzzy Computing ( M.M. Gupta and T. Yamakawa, Eds.), Elsevier Science Publishers B.V. (North-Holland), Amsterdam (1988), pp. 365–374.

    Google Scholar 

  4. D. Dubois and H. Prade, The principle of minimum specificity as a basis for evidential reasoning, in: Uncertainty in Knowledge-Based Systems (B. Bouchon and R.R. Yager, Ed.) Lecture Notes in Computer Science, Vol. 286, Springer-Verlag, Berlin (1987), pp. 75–84.

    Google Scholar 

  5. S. Fukami, M. Mizumoto and S. Tanaka, Some considerations on fuzzy conditional inferences, Fuzzy Sets and Systems 4 (1980), 243–273.

    Article  MathSciNet  MATH  Google Scholar 

  6. F. Hayes-Roth, Rule-Based Systems, Communications of ACM 28 (1985), 921932.

    Google Scholar 

  7. W.J.M. Kickert and E.M. Mamdani, Analysis of a fuzzy logic controller, Fuzzy Sets and Systems 1 (1978), 29–44.

    Article  MATH  Google Scholar 

  8. R. Kowalski, Logic for Problem Solving, North-Holland, New York, 1979.

    MATH  Google Scholar 

  9. E.M. Mamdani, Advances in the linguistic synthesis of fuzzy controllers, Internat. J. Man-Machine Studies 8 (1976), 669–678.

    Article  MATH  Google Scholar 

  10. E.M. Mamdani and S. Assilian, An experiment in linguistic synthesis with a fuzzy logic controller, Internat. J. Man-Machine Studies 7 (1978), 1–13.

    Article  Google Scholar 

  11. M. Mizumoto and M J Zimmermann, Comparison of fuzzy reasoning methods, Fuzzy Sets and Systems 8 (1982), 253–283.

    Article  MathSciNet  MATH  Google Scholar 

  12. W. Pedrycz, Fuzzy Control and Fuzzy Systems, J. Wiley (Research Studies Press), 1988, to appear.

    Google Scholar 

  13. H. Prade, A computational approach to approximate and plausible reasoning with applications to expert systems, IEEE Trans. on Pattern Analysis and Machine Intelligence, 7 (1985), 260–283.

    Article  MATH  Google Scholar 

  14. E. Sanchez, On truth-qualification in natural languages, Proc. Internat. Conf. Cybernetics and Society, Tokyo-Kyoto (Japan), 3–7 Nov. 1978, Vo1. II, 1233–1236.

    Google Scholar 

  15. M. Togai and H. Watanabe, Expert-Systems on a chip: An engine for real-time approximate reasoning, IEEE Expert 1, no. 3, (1986), 55–62.

    Article  Google Scholar 

  16. Y. Tsukamoto, Fuzzy logic based on Lukasiewicz logic and its application to diagnosis and control, Ph. D. Thesis, Tokyo Inst. of Technology, Tokyo, 1979.

    Google Scholar 

  17. Y. Tsukamoto, T. Takagi and M. Sugeno, Fuzzification of Aleph-1 and its application to control, Proc. Internat. Conf. Cybernetics and Society, Tokyo-Kyoto (Japan), 3–7 Nov. 1978, Vol. II, 1217–1221.

    Google Scholar 

  18. S. Weiss and C.A. Kulikowski, A Practical Guide to Designing Expert Systems, Rowman & Allanheld, Philadelphia, 1984.

    Google Scholar 

  19. D. Willaeys and N. Malvache, The use of fuzzy sets for the treatment of fuzzy information by computer, Fuzzy Sets and Systems 3 (1981), 323–328.

    Article  Google Scholar 

  20. L.A. Zadeh, Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions, IEEE Trans. Syst. Man. Cybern. SMC-15 (1985), 754763.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

di Nola, A., Sessa, S., Pedrycz, W., Sanchez, E. (1989). Inference Algorithms in Knowledge-Based Systems. In: Fuzzy Relation Equations and Their Applications to Knowledge Engineering. Theory and Decision Library, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1650-5_13

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-1650-5_13

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-4050-3

  • Online ISBN: 978-94-017-1650-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics