백트래킹 기법을 이용한 불확정성 하에서의 역방향추론 방법에 대한 연구 = Development of a Backward Chaining Inference Methodology Considering Unknown Facts Based on Backtrack Technique

다국어 초록 (Multilingual 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.

목차 (Table of Contents)

• 1. 서 론
• 2. 기존 연구
• 3. 불확정성 하의 추론
• 4. 토 의
• 5. 결 론

참고문헌 (Reference)

1 이재규, "｢전자상거래 원론｣, 제3판" 법영사 2002

2 이광형, "퍼지이론 및 응용(I, II)" 홍릉과학출판사 1991

3 송용욱, "차세대 웹을 위한 SWRL 기반 역방향 추론엔진 SMART-B의 개발" 한국지능정보시스템학회 12 (12): 67-82, 2006

4 송용욱, "차세대 웹 환경에서의 Rete Algorithm을 이용한정방향 추론엔진 SMART" 한국지능정보시스템학회 13 (13): 17-29, 2007

5 송용욱, "지식분석도를 이용한 지식기반 웹 사이트 자동 생성 도구의 개발" 한국경영정보학회 13 (13): 213-230, 2003

6 이재규, "인터넷 환경의 지식시스템" 법영사 2006

7 송용욱, "웹 기반 전문가시스템의 자동생성체계" 6 (6): 1-16, 2000

8 송용욱, "Web-enabled Healthcare System for Hypertension: Hyperlink-based Inference Approach" 한국지능정보시스템학회 9 (9): 91-107, 2003

9 Kim, W., "Web enabled expert systems using hyperlink-based inference" 28 (28): 79-91, 2005

10 이재규, "UNIK을 이용한 전문가시스템의 개발" 법영사 1996

11 Duda, R. O., "Subjective bayesian methods for rule-based inference systems" 1075-1082, 1976

12 Adams, J. B., "Probabilistic Reasoning and Certainty Factors. in: Rule Based Expert Systems" Addison-Wesley 1984

13 Shortliffe, E. H., "Method of Inexact Reasoning" 23 : 351-379, 1975

14 Quinlan, J. R., "Introduction to Decision Trees" 1 (1): 81-106, 1986

15 Klir, G. J., "Fuzzy Sets, Uncertainty, and Information" Prentice Hall 1998

16 Zadeh, L. A., "Fuzzy Sets" 8 : 338-353, 1965

17 Zimmerman, H. J., "Fuzzy Set Theory and Its Applications" Kluwer-Nijhoff Publishing 1985

18 Siler, W., "Fuzzy Expert Systems and Fuzzy Reasoning" John Wiley and Sons 2004

19 Giarratano, J. C., "Expert Systems：Principles and Programming, 4th Ed." Thompson Learning 2004

20 Harrison, P. R., "Expert Systems and Uncertainty. in: The Handbook of Applied Expert Systems" CRC Press 1998

21 Friederich, S., "Expert Systems Design and Development Using VPExpert" John Wiley and Sons 1989

22 Knuth, D. E., "Estimating the efficiency of backtrack programs" 29 (29): 121-136, 1975

23 Turban, E., "Electronic Commerce 2010：A Managerial Perspective" Prentice Hall 2010

24 Turban, E., "Decision Support Systems and Intelligent Systems, 7th ed." Prentice Hall 2005

25 Witten, I. H., "Data Mining, Practical Machine Learning Tools and Techniques with Java Implementations" Morgan Kaufmann Publishers 2000

26 Quinlan, J. R., "C4.5：Programs for Machine Learning" Morgan Kaufmann 1993

27 Bitner, J. R., "Backtrack programming techniques" 18 (18): 651-656, 1975

28 Golomb, S. W., "Backtrack Programming" 12 (12): 516-524, 1965

29 Suwa, M., "An approach to verifying completeness and consistency in a rule-based expert system" 3 (3): 16-21, 1982

30 Shortliffe, E. H., "A Model of Inexact Reasoning in Medicine. in: Rule Based Expert Systems" Addison-Wesley 1984

31 Waterman, D. A., "A Guide to Expert Systems" Addison-Wesley 1986