자동화된 추론을 이용한 퍼지 조건연산자의 비교 분석

Comparison of Fuzzy Implication Operators using Automated Reasoning

  • 김용기 (경상대학교 컴퓨터학과)
  • 발행 : 1995.12.01

초록

퍼지 정보 검색 기법을 이용한 가중치 선정 전락은,주어진 입력 문제로 부터 가중치의 패턴과 가중치를 자동적으로 선정함으로써, 추론 시간과 공간을 줄인다. 퍼지 가중치 선정 전략은 퍼지 삼각 관계곱 및 퍼지 신속관계 알고리즘을 사용하기 때문에 선택하는 퍼지 조건연산자와 $-cut에 따라서 결론을 추출하는 시간과 추론 단계의 수가 틀린다. 본 논문에서는, 퍼지 정보 검색을 이용한 추론 전략의 조절 방법에 대하여 개괄적으로 보이고, 잘 알려진 블럭 문제에 적용하여 주어진 영역에서 가장 적합한 퍼지 조건연산자와 $-cut을 선정한다.

Fuzzy rules, developed by experts thus far, may be often inconsistent and incomplete. This paper proposes a new methodology for automatic generation of fuzzy rules which are nearly complete and not inconsistent. This is accomplished by simulating a knowledge gathering process of humans from control experiences. This method is simpler and more efficient than existing ones. It is shown through simulation that our method even generates better rules than those generated by experts, under fine tuned parameters.

키워드

참고문헌

  1. Fuzzy Set Theory-and Its Applications(2nd ed.) Zimmermann,H.J.
  2. Fuzzy Sets and Systems v.8 Comparison of Fuzzy Reasoning Methods Mizumoto,M.;Zimmermann,H.J.
  3. Fuzzy Sets and Systems v.4 Fuzzy Power Sets and Fuzzy Implication Operators Bandler,W.;Kohout,L.J.
  4. Fuzzy Sets and Systems v.31 Applicability of some Fuzzy Implication Operators Cao,Z.;Kandel,A.
  5. The Automated Reasoning System ITP Lusk,E.L.;Overbeek,R.
  6. OTTER 2.0 Users Guide In Technical Report ANL-90/9 McCune,W.W.
  7. In Computers and Mathematics with Applications 2 Complexity and related enhancements for automated theorem proving programs McCharen,J.;Overbeek,R.;Wos,L.
  8. Fuzzy Logic: State of the Art Generating control strategies for resolution-based theorem provers by means of fuzzy relational products and relational closures Kohout,L.J.;Kim,Yong-Gi;B.Lowen(ed.);M.Roubens(ed.)
  9. Proceedings of the fourth International Fuzzy System Association(IFSA) world congress Use of Fuzzy Relational Products and Algorithms for generating Control strategies in resolution based Automated Reasoning Kim,Yong-Gi;Kohout,L.J.
  10. Proceeding of the sixth International Symposium on Methodlogies for Intelligent Systems(ISMIS'91) An Improvement of Weighting Strategy in Resolution Based Automated Reasoning Kim,Yong Gi;Kohout,L.J.
  11. 정보과학회논문지 v.21 no.10 퍼지기법을 이용한 자동화된 추론의 가중치 부여기법 개선 김용기
  12. Fuzzy Sets:Theory and Applications to Policy Analysis and Information Systems Fuzzy relational products as a tool for analysis and synthesis of the behaviour of complex natural and artificial system Bandler,W.;Kohout.L.J.;Wang,P.P.(ed.);Chang,S.K.(ed.)
  13. Int. J. Man-Machine Studies v.12 Semantics of implication operators and fuzzy relational products Bandler,W.;Kohout,L.J.
  14. Fuzzy Sets in Decision Analysis Automatic documentary information retireval by means of fuzzy relational products Kohout.L.J.;Keravnou,E.;Bandler,W.
  15. Fuzzy Sets and Systems v.26 no.3 Special properties, closures and interiors of crisp and fuzzy relations Bandler,W.;Kohout,L.J.
  16. Uncertainty in Knowledge-based Systems The use of information retrieval technique in construction of multi-center knowledge based systems Kohout,L.J.;Bandler,W.;Bouchon,B.(ed.);Yager,R.R.(ed.)
  17. Fuzzy Sets and Systems no.4 Fuzzy power sets and fuzzy implication operators Bandler,W.;Kohout,L.J.;Wang,P.P.(ed.);Chang,S.K.(ed.)
  18. BST'81 Information technology for the eighties Hierachies in symptoms and patients through computation of fuzzy triangle products and closures Bandler,W.;Kohout,L.J.;Parslow(ed.)
  19. Knowledge Representation in Medicine and Clinical Behavioural Science A Survey of fuzzy relational products in their applicability to medicine and clinical phychology Bandler,Wyllis;Kohout,Ladislav J.
  20. Fuzzy Sets and Systems v.26 no.3 Special properties, closures and interiors of crisp and fuzzy relations Bandler,W.;Kohout,L.J.
  21. proc.of Second Expert Systems Internatonal Conference Evaluator of neurological patients' dexterity based on relational fuzzy products Kohout,L.J.;Kallala,M.
  22. In FLAIRS-90 Proceedings Use of fuzzy information retrieval techniques for generating control strategies in resolutio-based automated reasoning Kohout,L.J.;Kim,Yong-Gi
  23. Automated Reasoning:Introduction and Applications Wos,L.;Overbeek,R.;Lusk,E.;Boyle,J.
  24. Journal of Assc. for Comput. Mach. v.12 Efficiency and Completeness of the set-of-support stratege in the orem proving Wos,L.;Carson,D.;Robinson,G.
  25. Mah. Intell. v.4 Theorem-proving by resolution as a basic for question-answering systems Green,C.;Meltzer(ed.);Michie(ed.)
  26. Proc. of the 23rd National Conf. of ACM The Use of theorem-proving techniques in question-answering systems Green,C.;Raphael,B.
  27. Logical Foundations of Artificial intelligence Genesereth,M.;Nilsson,N.