Journal of Information Technology Services (한국IT서비스학회지)

Korea Society of IT Services (한국IT서비스학회)
권호 표지

Development of a Backward Chaining Inference Methodology Considering Unknown Facts Based on Backtrack Technique

백트래킹 기법을 이용한 불확정성 하에서의 역방향추론 방법에 대한 연구

  • 송용욱 (연세대학교 원주캠퍼스 경영학부) ;
  • 신현식 (CJ오쇼핑 경영지원실)
  • Received : 2010.08.08
  • Accepted : 2010.09.10
  • Published : 2010.09.30
Download PDF
⟨ Previous Next ⟩

Abstract

As knowledge becomes a critical success factor of companies nowadays, lots of rule-based systems have been and are being developed to support their activities. Large number of rule-based systems serve as Web sites to advise, or recommend their customers. They usually use a backward chaining inference algorithm based on backtrack to implement those interactive Web-enabled rule-based systems. However, when the users like customers are using these systems interactively, it happens frequently where the users do not know some of the answers for the questions from the rule-based systems. We are going to design a backward chaining inference methodology considering unknown facts based on backtrack technique. Firstly, we review exact and inexact reasoning. After that, we develop a backward chaining inference algorithm for exact reasoning based on backtrack, and then, extend the algorithm so that it can consider unknown facts and reduce its search space. The algorithm speeded-up inference and decreased interaction time with users by eliminating unnecessary questions and answers. We expect that the Web-enabled rule-based systems implemented by our methodology would improve users' satisfaction and make companies' competitiveness.

Keywords

References

  1. 송용욱, 김우주, 홍준석, "지식분석도를 이용한 지식기반 웹 사이트 자동 생성 도구의 개발", 경영정보학연구, 제13권, 제1호(2003), pp. 213-230.
  2. 송용욱, 이재규, "웹 기반 전문가시스템의 자동생성체계", 한국지능정보시스템학회논문지, 제6권, 제1호(2000), pp.1-16.
  3. 송용욱, 홍준석, 김우주, 이성규, 윤숙희, "차세대 웹을 위한 SWRL 기반 역방향 추론엔진 SMART-B의 개발" 한국지능정보시스템학회논문지, 제12권, 제2호(2006),pp.67-81.
  4. 이광형,오갈록, 퍼지이론 및 용용(I,II), 홍롱과학출판, 1991.
  5. 이재규, 권순범, 김우주, 김민용, 송용욱, 최형림, 전자상거래 원론, 제3판, 법영사, 2002.
  6. 이재규, 송용욱, 권순범, 김우주, 김민용, UNIK을 이용한 전문가시스템의 개발, 법영사,1996.
  7. 이재규, 최형림, 김현수 편저, 인터넷 환경의 지식시스템, 법영사, 2006.
  8. 정균범, 송용욱, 홍준석, 김우주, 이명진, 박지형, "차세대 웹 환경에서의 Rete Algorithm을 이용한 정방향 추론엔진 SMART-F 개발." 한국지능정보시스템학회논문지, 제13권, 제3호(2007). pp.17-29.
  9. Song, Y. U., Y. M. Chae, S. H. Ho, and K. W. Cho,"Web-enabled Healthcare System for Hypertension : Hyperlink-based Inference Approach", 한국지능정보시스웹학회논문지, 제9권, 제1호(2003), pp.91-107.
  10. Adams, J. B., "Probabilistic Reasoning and Certainty Factors", in Buchanan, B. G. and Shortliffe, E. H. (Ed.), Rule Based Expert Systems, Addison-Wesley,1984.
  11. Bitner, J. R and E. M. Reingold, "Backtrack programming techniques", Communications of the ACM, Vol.18, No.11(1975), pp.651-656. https://doi.org/10.1145/361219.361224
  12. Duda, R O., P. E. Hart, and N. J. Nilsson, "Subjective bayesian methods for rule-based inferencd systems", AFIPS Joint Computer Conferences, Proceedings of the, National computer conference and exposition, (1976), pp.l075-1082.
  13. Friederich, S. and M. Gargano, Expert Systems Design and Development Using VP-Expert, John Wiley and Sons, 1989.
  14. Giarratano, J. C. and G. D. Riley, Expert Systems : Principles and Programming, 4th Ed, Thompson Learning, 2004.
  15. Golomb, S. W. and L. D. Baumert,"Backtrack programming" Journal of the ACM, Vol.12, No.4(1965), pp.516-524. https://doi.org/10.1145/321296.321300
  16. Harrison, P. R. and J. G. Kovalchik, "Expert Systems and Uncertainty", in J. Liebowitz (Ed.), The Handbook of Applied Expert Systems, CRC Press, 1998.
  17. Kim, W., Y. Song, and J. Hong, "Web enabled expert systems using hyperlink-based inference", Expert Systems with Application, Vol. 28, No.1(2005), pp.79-91. https://doi.org/10.1016/j.eswa.2004.08.011
  18. Klir, G. J. and T. A. Folger, Fuzzy Sets, Uncertainty, and Information, Prentice Hall, 1998.
  19. Knuth, D. E.,"Estimating the efficiency of backtrack programs", Mathematics of Computation, Vol.29, No.129(1975), pp.121-136. https://doi.org/10.2307/2005469
  20. Quinlan, J. R., "Introduction to Decision TreUrision Trees", Machine Learning, Vol.1, No.1(1986), pp. 81-106.
  21. Quinlan, J. R, C4.5 : Programs for Machine Learning, Morgan Kaufmann, 1993.
  22. Shortliffe, E. H. and B. G. Buchanan, "A Method of Inexact Reasoning", Mathematical Biosciences, Vol.23(1975), pp.351-379. https://doi.org/10.1016/0025-5564(75)90047-4
  23. Shortliffe, E. H. and B. G. Buchanan, "A Model of Inexact Reasoning in Medicine", in Buchanan, B. G. and Shortliffe, E. H. (Ed.), Rule Based Exper Systems, Addison-Wesley, 1984.
  24. Siler, W. and J. J. Buckley, Fuzzy Expert Systems and Fuzzy Reasoning, John Wiley and Sons, 2004.
  25. Suwa, M., A. C. Scott, and E. H. ShortLIFFE, "An approach to verifying completeness and consistency in a rule-based expert system", AI Magazine, Vol.3, No.4(1982), pp.16-21.
  26. Turban, E., D. King, J. K Lee, and T. Liang, Electronic Commerce 2010 : A Managerial Perspective, Prentice Hall, 2010.
  27. Turban, E., J. E. Aronson, and T. Liang, Decision Support Systems and Intelligent Systems, 7th ed., Prentice Hall, 2005.
  28. Waterman, D. A., A Guide to Expert Systems, Addison-Wesley, 1986.
  29. Witten, I. H. and E. Frank, Data Mining, Practical Machine Learning Tools and Te chniques with Java Implementations, Morgan Kaufmann Publishers, 2000.
  30. Zadeh, L. A.,"Fuzzy Sets", Infaormation and Control, Vol.8(1965), pp338-353. https://doi.org/10.1016/S0019-9958(65)90241-X
  31. Zimmerman, R J., Fuzzy Set Theory and Its Applications, Kluwer-Nijhoff Publishing, 1985.