Skip to main content
SpringerLink
Log in
Book cover

Intelligent Systems and Soft Computing pp 161–187Cite as

Soft Computing for Intelligent Knowledge-Based Systems

  • Chapter

  • 392 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1804))

Abstract

Knowledge-based systems are founded on the idea that knowledge should be declarative, so that it can be easily read, understood, and altered by a human user as well as by a machine. Logic fulfils these criteria, and logic programming has been widely used for implementing knowledge-based systems. One major shortcoming of logic programming is the lack of a mechanism to deal with the uncertainty inherent in many knowledge-based systems. Soft computing is a key technology for the management of uncertainty, although so far its major successes have been centred on fuzzy control rather than higher-level information management. This paper outlines some of the issues related to the area of soft computing in knowledge-based systems, and suggests some simple problems to test the capabilities of software. Fril is discussed as an implementation language for knowledge-based systems involving uncertainty, and some of its applications are outlined.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight 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. Zadeh, L.A.: The Roles of Fuzzy Logic and Soft Computing in the Conception, Design, and Deployment of Intelligent Systems. In: Nwana, H.S., Azarmi, N. (eds.) Software Agents and Soft Computing: Towards Enhancing Machine Intelligence. LNCS, vol. 1198, pp. 183–190. Springer, Heidelberg (1997)

    Google Scholar 

  2. Baldwin, J.F., Martin, T.P.: A FuzzyData Browser in Fril. In: Baldwin, J.F. (ed.) Fuzzy Logic in AI, pp. 101–124. John Wiley, Chichester (1996)

    Google Scholar 

  3. Baldwin, J.F., Martin, T.P.: From Fuzzy Databases to an Intelligent Manual using Fril. J. Intelligent Information Systems 2, 365–395 (1993)

    Article  Google Scholar 

  4. Baldwin, J.F., Martin, T.P.: The Intelligent Manual in Fril. In: Proc. EUFIT 1993 – First European Congress on Fuzzy and Intelligent Technologies, Aachen, Germany, pp. 624–630 (1993)

    Google Scholar 

  5. Zadeh, L.A.: Fuzzy Logic = Computing with Words. IEEE Transactions on Fuzzy Systems 4, 103–111 (1996)

    Article  Google Scholar 

  6. Dubois, D., Prade, H., Yager, R.R.: Information Engineering and Fuzzy Logic. In: Proc. FUZZ-IEEE 1996, New Orleans, pp. 1525–1531 (1996)

    Google Scholar 

  7. Baldwin, J.F.: A Calculus For Mass Assignments In Evidential Reasoning. In: Fedrizzi, M., Kacprzyk, J., Yager, R.R. (eds.) Advances in the Dempster-Shafer Theory of Evidence. John Wiley, Chichester (1992)

    Google Scholar 

  8. Baldwin, J.F.: The Management of Fuzzy and Probabilistic Uncertainities for Knowledge Based Systems. In: Shapiro, S.A. (ed.) Encyclopedia of AI, 2nd edn., pp. 528–537. John Wiley, Chichester (1992)

    Google Scholar 

  9. Bezdek, J.C.: Fuzzy Models. IEEE Trans. Fuzzy Systems 1(1), 1–5 (1993)

    MathSciNet  Google Scholar 

  10. Baldwin, J.F., Martin, T.P., Pilsworth, B.W.: FRIL - Fuzzy and Evidential Reasoning in AI. Research Studies Press, John Wiley (1995)

    Google Scholar 

  11. Dubois, D., Prade, H.: Fuzzy sets in approximate reasoning 1 - inference with possibility distributions. Fuzzy Sets and Systems 40, 143–202 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  12. Kowalski, R.: Logic for Problem Solving. Elsevier, Amsterdam (1997)

    Google Scholar 

  13. Robinson, J.A.: A Machine Oriented Logic based on the Resolution Principle. ACM 12, 23–41 (1965)

    Article  MATH  Google Scholar 

  14. Virtanen, H.E.: Linguistic Logic Programming. In: Martin, T.P., Arcelli Fontana, F. (eds.) Logic Programming and Soft Computing, pp. 91–110. RSP/Wiley (1998)

    Google Scholar 

  15. Baldwin, J.F., Lawry, J., Martin, T.P.: Efficient Algorithms for Semantic Unification. In: Proc. Information Processing and the Management of Uncertainty, Spain, pp. 527–532 (1996)

    Google Scholar 

  16. Lee, R.C.T.: Fuzzy Logic and the Resolution Principle. JACM 19, 109–119 (1972)

    Article  MATH  Google Scholar 

  17. Nguyen, H.T.: On Random Sets and Belief Functions. J. Math. Anal. & Appl. 65, 531–542 (1978)

    Article  MATH  MathSciNet  Google Scholar 

  18. Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)

    MATH  Google Scholar 

  19. Baldwin, J.F.: Evidential Reasoning under Probabilistic and Fuzzy Uncertainties. In: Yager, R.R., Zadeh, L.A. (eds.) An Introduction to Fuzzy Logic and Applications in Intelligent Systems, pp. 297–335. Kluwer Academic Publishers, Dordrecht (1991)

    Google Scholar 

  20. Baldwin, J.F.: A New Approach to Inference Under Uncertainty for Knowledge Based systems. In: Kruse, R., Siegel, P. (eds.) ECSQAU 1991 and ECSQARU 1991. LNCS, vol. 548, pp. 107–115. Springer, Heidelberg (1991)

    Google Scholar 

  21. Baldwin, J.F.: Fuzzy Sets, Fuzzy Clustering, and Fuzzy Rules in AI. In: Ralescu, A.L. (ed.) Fuzzy Logic in AI, pp. 10–23. Springer, Heidelberg (1993)

    Google Scholar 

  22. Baldwin, J.F., Martin, T.P.: An Abstract Mechanism for Handling Uncertainty. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds.) Uncertainty in Knowledge Bases, pp. 126–135. Springer, Heidelberg (1991)

    Google Scholar 

  23. Warren, D.H.D.: An Abstract Prolog Instruction Set. SRI International, Menlo Park (1983)

    Google Scholar 

  24. Baldwin, J.F., Martin, T.P.: An Abstract Mechanism for Handling Uncertainty. In: Proc. Inf. Processing and the Management of Uncertainty, Paris, pp. 333–336 (1990)

    Google Scholar 

  25. Baldwin, J.F., Martin, T.P.: Fast Operations on Fuzzy Sets in the Abstract Fril Machine. In: Proc. First IEEE International Conference on Fuzzy Systems, San Diego, CA, pp. 803–810 (1992)

    Google Scholar 

  26. Baldwin, J.F., Martin, T.P., Shanahan, J.G.: Modelling with Words using Cartesian Granule Features. In: Baldwin, J.F., Martin, T.P., Shanahan, J.G. (eds.) Proc. FUZZ-IEEE 1997, Barcelona, Spain, pp. 1295–1300 (1997)

    Google Scholar 

  27. Baldwin, J.F., Martin, T.P., Stylianidis, O. (1998)

    Google Scholar 

  28. Baldwin, J.F., et al.: Machine recognition of odours in FRIL. In: Baldwin, J.F. (ed.) New Applications in Fuzzy Logic (1998) (to appear)

    Google Scholar 

  29. Baldwin, J.F., Martin, T.P.: Fuzzy Modelling in an Intelligent Data Browser. In: Proc. 4th IEEE International Conference on Fuzzy Systems, Yokohama, Japan, pp. 1885–1890 (1995)

    Google Scholar 

  30. Baldwin, J.F., Martin, T.P., McCoy, S.A.: Incremental Learning in a Fril-based Odour Classifier. In: Proc. EUFIT 1998, Aachen, Germany (1998)

    Google Scholar 

  31. Baldwin, J.F., Gooch, R.M., Martin, T.P.: Fuzzy Processing of Hydrophone Sounds. Fuzzy Sets and Systems 77(1), 35–48 (1996)

    Article  Google Scholar 

  32. SKI: ‘Project-90’, Technical Report 91:23, Statens Kärnkraftinspektion, Stockholm, Sweden (1991)

    Google Scholar 

  33. Monk, M.R.M., Swabey, M.: Simulation of Aircrew Behaviour for System Integration using Knowledge-Based Programming. In: Proc. Modelling and Simulation: ESM 1993, Lyons, France, pp. 459–463 (1993)

    Google Scholar 

  34. Sims Williams, J.H., Brown, I.D., Matthewman, A.: An Orthodontic Expert System. Fuzzy Sets and Systems 30, 121–133 (1989)

    Article  MathSciNet  Google Scholar 

  35. Sims Williams, J.H., et al.: A Computer Controlled Expert System for Orthodontic Advice. British Dental Journal 163, 161–166 (1987)

    Article  Google Scholar 

  36. Mackin, N., Stephens, C.D.: Developing and Testing a Fuzzy Expert System – an Example in Orthodontics. In: Proc. Fuzzy Logic - Applications and Future Directions, London, pp. 61–69 (1997)

    Google Scholar 

  37. Wu, C.M.L., Webber, J.P.H., Morton, S.K.: A knowledge-based expert system for laminated composite strut design. Aeronautical Journal 95, 1–20 (1991)

    Google Scholar 

  38. Smith, B.: CAMES - Expert System Administration of Money Market Services. In: Proc. Conceptual Graphs Workshop, European Conference on AI (1990)

    Google Scholar 

  39. Mukaidono, M., Shen, Z.L., Ding, L.: Fundamentals of Fuzzy Prolog. Int. J. Approximate Reasoning 3, 179–193 (1989)

    Article  MATH  Google Scholar 

  40. Mukaidono, M., Yasui, M.: Postulates and Proposals of Fuzzy Prolog. In: Proc. EUFIT 1994, Germany, pp. 1080–1086 (1994)

    Google Scholar 

  41. Martin, T.P., Arcelli Fontana, F. (eds.): Logic Programming and Soft Computing: Uncertainty in A.I. Research Studies Press/John Wiley (1998)

    Google Scholar 

  42. Li, D., Liu, D.: A Fuzzy PROLOG Database System. Research Studies Press, John Wiley (1990)

    Google Scholar 

  43. Ishizuka, M., Kanai, N.: PROLOG-ELF incorporating Fuzzy Logic. New Generation Computing 4, 479–486 (1985)

    Article  Google Scholar 

  44. Budkley, J.J., Siler, W., Tucker, D.: FLOPS - a Fuzzy Expert Systems. Fuzzy Sets and Systems 20, 1–16 (1986)

    Article  Google Scholar 

  45. Baldwin, J.F., Martin, T.P.: Basic Concepts of a Fuzzy Logic Data Browser with Applications. In: Nwana, H.S., Azarmi, N. (eds.) Software Agents and Soft Computing: Towards Enhancing Machine Intelligence. LNCS, vol. 1198, pp. 211–241. Springer, Heidelberg (1997)

    Google Scholar 

  46. Baldwin, J.F.: Knowledge from Data using Fril and Fuzzy Methods. In: Baldwin, J.F. (ed.) Fuzzy Logic in AI, pp. 33–76. John Wiley, Chichester (1996)

    Google Scholar 

  47. Bezdek, J.C.: What is Computational Intelligence? In: Zurada, J.M., Marks II, R.J., Robinson, C.J. (eds.) Computational Intelligence - Imitating Life, pp. 1–12. IEEE Press, Los Alamitos (1994)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Advanced Computing Research Centre and Department of Engineering Mathematics, University of Bristol,  

    Trevor P. Martin & Jim F. Baldwin

Authors
  1. Trevor P. Martin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jim F. Baldwin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. BTexac - BT Advanced Communication Technology Centre Adastral Park, Martlesham, IP5 3RE, Ipswich, UK

    Benham Azvine

  2. Intelligent Systems Research Centre, BT Group plc, Adastral Park, IP5 3RE, Ipswich, United Kingdom

    Detlef D. Nauck

  3.  ,  

    Nader Azarmi

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Martin, T.P., Baldwin, J.F. (2000). Soft Computing for Intelligent Knowledge-Based Systems. In: Azvine, B., Nauck, D.D., Azarmi, N. (eds) Intelligent Systems and Soft Computing. Lecture Notes in Computer Science(), vol 1804. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720181_7

Download citation

  • DOI: https://doi.org/10.1007/10720181_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67837-3

  • Online ISBN: 978-3-540-44917-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation