• Kyungpook Mathematical Journal
• /
• 제15권2호
• /
• pp.223-230
• /
• 1975

• 수학
• /
• 제4권1호
• /
• pp.25-27
• /
• 1967

• Kyungpook Mathematical Journal
• /
• 제29권2호
• /
• pp.115-123
• /
• 1989

• Kyungpook Mathematical Journal
• /
• 제6권1호
• /
• pp.21-26
• /
• 1964

• East Asian mathematical journal
• /
• 제5권1호
• /
• pp.111-118
• /
• 1989

• Kyungpook Mathematical Journal
• /
• 제17권1호
• /
• pp.71-77
• /
• 1977

• 한국정보처리학회논문지
• /
• 제4권4호
• /
• pp.1025-1034
• /
• 1997

레졸루션(resolution)에 근거한 자동화된 추론 방법은 실제로 결론 도출에 필요 하지 않은 중간 정보를 생산하고, 또한 이런 정보가 또 다른 불 필요 정보를 생산함으로써, 컴퓨터 주기억 공간 잠식이 문제점으로 나타난다. 주어진 문제의 상황을 설명하는 모든 입력절로부터, 실제로 결론의 도출에 참여할 가능성이 낮은 입력절을 추론에의 참여를 제한하여, 소모하는 기억공간과 추론 시간을 감소시키는 조절 전략을 제안한다. 주어진 입력절을 분석하여, 실제로 추론에 참여하는 정도의 우선 순위를 결정하는 도구로서 퍼지 관계 논리곱을 이용한다.

• 대한수학회논문집
• /
• 제21권3호
• /
• pp.497-514
• /
• 2006

In this paper, we used the supra fuzzy topology which generated from a fuzzy bitopological space [1] to introduce and study the concepts of continuity (resp. openness, closeness) of mapping, separation axioms and compactness for a fuzzy bitopological spaces. Our definition preserve much of the correspondence between concepts of fuzzy bitopological spaces and the associated fuzzy topological spaces.

• Journal of the Korean Statistical Society
• /
• 제21권2호
• /
• pp.111-125
• /
• 1992

Since Zadeh's definition for probability of fuzzy event is presented, alternative definitions for probability of fuzzy event is suggested. Also various properties of these new definitions have been presented. In this paper it is our purpose to show the works continued by finding a natural definition of a fuzzy probability measure on an arbitrary fuzzy measurable space. Thus, the main process is to observe fuzzy probability measure to be qualified by weak axioms of boundary condition, monotonicity and continuity suggested by Klir (1988). Especially, we will show that these axioms are satisfied through in succession of modifications from the Yager's method.

• 호남수학학술지
• /
• 제9권1호
• /
• pp.135-147
• /
• 1987

It is well known that there are two ways to define Chern classes of complex vector bundles. One gives the definition of Chern classes by the five axioms ([2]. [3], [4]). and an other defines Chern classes with the associated projective space bundle of a given bundle ([1]. [5]). The purpose of this paper is to describe the latter way in detail and to give new proofs of that our Chern classes satisfy the five axioms with respect to Chern classes (for example Theorem 5).