• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.5
• /
• pp.674-678
• /
• 2007

Baldwin defined the approximate reasoning using truth function mapping. In paper [4], we defined two truth function mappings and applied these truth function mappings to generalized modus ponens. In this paper, we introduce the results of generalized modus tollens using these two truth function mappings.

• Journal of Elementary Mathematics Education in Korea
• /
• v.20 no.4
• /
• pp.655-676
• /
• 2016

The purpose of this study is to examine the effects of teaching on functional thinking, one of the algebraic thinking in sixth grade students level. For this study, we developed functional thinking based-teaching through analyzing mathematical curriculum and preceding research, which consisted of 12 classes, and we investigated the effects of teaching through quantitative and qualitative analysis. In the results of this study, functional thinking based-teaching was statistically proven to be more effective in improving algebraic reasoning skills and lower elements which is an algebraic reasoning as generalized arithmetic and functional thinking, compared to traditional textbook-centered lessons. In addition, the functional thinking based-teaching gave a positive impact on the functional thinking level. Thus functional thinking based-teaching provides guidance on the implications for teaching and learning methods and study of the functional thinking in the future, because of the significant impact on the mathematics learning in six grade students.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1889-1890
• /
• 2008

본 연구에서는 퍼지 추론 메커니즘에 기반 한 Polynomial RBF Neural Network(p-RBFNN)를 설계하고 얼굴인식 문제로 적용하여 분류기로서의 성능을 분석한다. 제안된 p-RBFNN 구조는 FCM 클러스터링에 기반 한 분할 함수를 활성 함수로 사용하며, 다항식 함수로 구성된 연결가중치를 사용함으로서 기존 신경회로망 분류기의 선형적인 특성을 개선한다. p-RBFNN 구조는 언어적 해석관점에서 "If-then"의 퍼지 규칙으로 표현되며 퍼지 추론 메커니즘에 의해 구동된다. 즉 조건부, 결론부, 추론부 세 가지의 기능적 모듈로 나뉘어 네트워크 구조가 형성된다. 조건부는 FCM 클러스터링을 사용하여 입력 공간을 분할하고, 결론부는 분할된 로컬 영역을 다항식 함수로 표현한다. 마지막으로, 네트워크의 최종출력은 추론부의 퍼지추론에 의한다. 또한 제안된 p-RBFNN을 얼굴인식 문제로 적용하여 성능을 분석한다.

• The Mathematical Education
• /
• v.62 no.4
• /
• pp.473-490
• /
• 2023

Previous studies from domestic and abroad are accumulating information on how to reason students' continuous changes through teaching experiments. These studies deal with scenes in which students who make 'smooth reasoning' and 'chunky reasoning' construct mathematical results together in teaching experiments. However, in order to analyze their results in more detail, it is necessary to check what kind of results a student reasoning in a specific way constructs for the tasks of previous studies. According to the need for these studies, the researcher conducted a total of 14 teaching experiments on one first-year high school student who was found to make 'chunky reasoning'. In this study, it was possible to observe a scene in which a student who makes 'chunky reasoning' constructs an output similar to 'a mathematical result constructed by students with various reasoning methods(smooth reasnoning or chunky reasoning) in previous studies.' In particular, the student who participated in this study observed a consistent construction method of constructing the function of 'time-speed' from the function of 'time-distance'. The researcher expected that information on this student's distinctive construction methods would be helpful for subsequent studies.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1995.10b
• /
• pp.285-292
• /
• 1995

최근 규칙베이스 추론과 사례베이스 추론의 통합화에 의한 추론이 다양하게 시도되 고 있다. 본 논문에서는 규칙과 사례를 동일한 형태로 표현하고, 규칙베이스와 사례베이스를 통합한 새로운 통합 추론 방법을 제안한다. 지식은 논리의 기하학적 모델을 이용하여 정보 를 논리적으로 해석하며, 동일한 형태로 표현된 규칙과 사례를 Boole 함수의 미분 및 전개 방법을 이용하여 추론하는 방법을 제안하고 응용예를 통하여 확인하다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.6 no.4
• /
• pp.3-9
• /
• 1996

본 논문에서는 Boole 함수를 기호 다치 논리 함수로 확장하여 법-M(Modulus-M)의 수체계를 기본으로 하는 기호 다치 논리 함수에 대한 MacLaurin 전개의 구조적 성질을 분석한다. 그리고 기호 다치 변수의 상태 변화에 따라 이에 사상된 퍼지 규칙을 자동 생성할 수 있는 기법을 제안한다. 또한 이러한 이론과 성질을 기존의 퍼지 추론 기능과 결합하여 동적인 상태 변화에 적응할 수 있는 퍼지 추론 시스템 설계방법을 제안한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.16 no.2
• /
• pp.198-202
• /
• 2006

In this paper, we introduce Baldwin's approximate reasoning with fuzzy logic and some truth function mappings usually used in Baldwin's method. And we introduce some assessment criteria for approximate reasonings and we define some truth function mappings which satisfy more criteria than those which are already known.

• Journal of KIISE:Databases
• /
• v.28 no.4
• /
• pp.545-557
• /
• 2001

In this paper we propose a hierarchical classification algorithm based on rough membership function which can reason a new object approximately. We use the fuzzy reasoning method that substitutes fuzzy membership value for linguistic uncertainty and reason approximately based on the composition of membership values of conditional sttributes Here we use the rough membership function instead of the fuzzy membership function It can reduce the process that the fuzzy algorithm using fuzzy membership function produces fuzzy rules In addition, we transform the information system to the understandable minimal decision information system In order to do we, study the discretization of continuous valued attributes and propose the discretization algorithm based on the rough membership function and the entropy of the information theory The test shows a good partition that produce the smaller decision system We experimented the IRIS data etc. using our proposed algorithm The experimental results with IRIS data shows 96%~98% rate of classification.

• The KIPS Transactions:PartB
• /
• v.17B no.2
• /
• pp.163-168
• /
• 2010

A linguistic case-based fuzzy reasoning (LCBFR) based on standardized parametric membership functions (SPMF) is proposed. It provides an efficient mechanism for a fuzzy reasoning within linear time complexity. Thus, it can be used to improve the speed of fuzzy reasoning. In the process of LCBFR, linguistic case indexing and retrieval based on SPMF is suggested. It can be processed relatively fast compared to the previous linguistic approximation methods. From the engineering viewpoint, it may be a valuable advantage.

• Journal of the Korean School Mathematics Society
• /
• v.12 no.4
• /
• pp.453-472
• /
• 2009

This article describes the interview data with two preservice teachers where they dealt with five water-filling problems for the investigation of their covariational thinking. The study's results revealed that two students developed their covariation levels from Direction level to Instantaneous Rate with an aid of the pre-constructed GSP simulations for the problem situations. However, this study also points out that there is a missing important feature for a function notion, 'causality' in the covariation framework and suggests that future research should combine students' conception of causality with their covariational thinking for the investigation of their development of a function concept.