• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.51-53
• /
• 2000

시공간 추론에 관한 연구는 그 역사가 오래되었으며 지난 수 십년 동안 매우 많은 이론적인 연구 결과를 얻었다. 그러나, 이와 관련된 응용분야의 연구는 거의 진척되지 않았기 때문에 시공간 추론의 이론과 응용 사이의 간격을 줄이고 실제 활용 가능한 시스템 개발을 위해서는 관련 이론을 토대로 한 응용 시스템의 개발이 필요하게 되었다. 따라서, 이 논문에서는 그 동안 연구된 시공간 추론의 이론을 특정 응용 분야인 전장분석에 적용하여 전장분석 및 평가에 중요한 영향을 미치는 미상의 부대, 미확인 부대, 주타격 방향을 추론하고, 부대의 이동 위치 및 이동시간을 추동하는 시공간 추론 시스템을 설계 및 구현하였다.

• Journal of Elementary Mathematics Education in Korea
• /
• v.20 no.1
• /
• pp.105-129
• /
• 2016

The elements of mathematical processes include mathematical reasoning, mathematical problem-solving, and mathematical communications. Proportion reasoning is a kind of mathematical reasoning which is closely related to the ratio and percent concepts. Proportion reasoning is the essence of primary mathematics, and a basic mathematical concept required for the following more-complicated concepts. Therefore, the study aims to analyze the proportion reasoning ability of sixth graders of primary school who have already learned the ratio and percent concepts. To allow teachers to quickly recognize and help students who have difficulty solving a proportion reasoning problem, this study analyzed the characteristics and patterns of proportion reasoning of sixth graders of primary school. The purpose of this study is to provide implications for learning and teaching of future proportion reasoning of higher levels. In order to solve these study tasks, proportion reasoning problems were developed, and a total of 22 sixth graders of primary school were asked to solve these questions for a total of twice, once before and after they learned the ratio and percent concepts included in the 2009 revised mathematical curricula. Students' strategies and levels of proportional reasoning were analyzed by setting up the four different sections and classifying and analyzing the patterns of correct and wrong answers to the questions of each section. The results are followings; First, the 6th graders of primary school were able to utilize various proportion reasoning strategies depending on the conditions and patterns of mathematical assignments given to them. Second, most of the sixth graders of primary school remained at three levels of multiplicative reasoning. The most frequently adopted strategies by these sixth graders were the fraction strategy, the between-comparison strategy, and the within-comparison strategy. Third, the sixth graders of primary school often showed difficulty doing relative comparison. Fourth, the sixth graders of primary school placed the greatest concentration on the numbers given in the mathematical questions.

• Communications of Mathematical Education
• /
• v.13 no.2
• /
• pp.425-455
• /
• 2002

본 연구는 수학교육에서 강조되고 있는 수학적 힘의 구성 요소 중의 하나인 수학적 추론 능력에 대한 교사들의 구체적인 이해를 돕고, 문제 해결 과정에서 학생들의 추론 능력을 분석하고 평가하는 데 도움을 주기 위해 문헌 연구 및 학생반응 분석결과에 기초하여 귀납적, 유비적, 연역적 추론능력에 대한 평가기준을 개발하였다. 또한, 개발된 평가기준을 구체적인 문제에 적용하였으며 이를 기초로 문제점을 수정 ${\cdot}$ 보완한 후, 전문가의 타당성 검증과 동일한 학생반응에 대한 채점결과의 일치도를 알아봄으로써 신뢰도 검증을 실시하였다.

• Journal of Educational Research in Mathematics
• /
• v.25 no.1
• /
• pp.21-58
• /
• 2015

The aim of this study is to look into the didactical background for teaching proportional reasoning in elementary school mathematics and offer suggestions to improve teaching proportional reasoning in the future. In order to attain these purposes, this study extracted and examined key ideas with respect to the didactical background on teaching proportional reasoning through a theoretical consideration regarding various studies on proportional reasoning. Based on such examination, this study compared and analyzed textbooks used in the United States, the United Kingdom, and South Korea. In the light of such theoretical consideration and analytical results, this study provided suggestions for improving teaching proportional reasoning in elementary schools in Korea as follows: giving much weight on proportional reasoning, emphasizing multiplicative comparison and discerning between additive comparison and multiplicative comparison, underlining the ratio concept as an equivalent relation, balancing between comparisons tasks and missing value tasks inclusive of quantitative and qualitative, algebraic and geometrical aspects, emphasizing informal strategies of students before teaching cross-product method, and utilizing informal and pre-formal models actively.

• Korean Journal of Logic
• /
• v.15 no.2
• /
• pp.251-272
• /
• 2012

Recently Professor Lee has suggested the analysis of the indicative conditional based on Sellars-Brandom's inferentialism. In this paper, I raise three questions. First, Professor Lee seems to misunderstand Sellars-Brandom in that he considers only the analytically valid arguments as materially valid inferences. Second, Professor Lee seems to misunderstand Sellars-Brandom in that whereas Sellars-Brandom talks about the common features of all kinds of conditionals including counterfactual conditionals, Professor Lee takes it as the analysis of the indicative conditional only. Third, either Professor Lee's analysis is incompatible with Sellars-Brandom inferentialism or his analysis is too general.

• The Journal of Korean Institute for Practical Engineering Education
• /
• v.5 no.1
• /
• pp.1-13
• /
• 2013

For a basic engineering education the confirmation and verification of the deductive Inference was studied and the principle of probability inference was applied. The background of introduction of deductive Inference and its test method was mentioned, and historic arguments on the compatibility of deductive statistical inference was summarized and analyzed. Philosophical arguments on the deductive confirmation for engineering experiments was introduced. Premise, procedure, and control of the experiments are studied. As an example of the deductive probability inference three groups of experimental data were used in order to find successful inferences respectively.

• Journal of The Korean Association For Science Education
• /
• v.38 no.5
• /
• pp.599-610
• /
• 2018

The purpose of this study is to analyze mechanistic reasoning in Fabre's inquires and to develop mechanistic reasoning model. To analyze the order of the process elements in mechanistic reasoning, 30 chapters were selected in book. Inquiries were analyzed through a framework which is based on Russ et al. (2008). The nine process elements of mechanistic reasoning that was presented in Fabre's inquires were as follows: Describing the Target Phenomenon, Identifying prior Knowledge, Identifying Properties of Objects, Identifying Setup Conditions, Identifying Activities, Conjecturing Entities, Identifying Properties of Entities, Identifying Entities, and Organization of Entities. The order of process elements of mechanistic reasoning was affected by inquiry's subject, types of question, prior knowledge and situation. Three mechanistic reasoning models based on the process elements of mechanistic reasoning were developed: Mechanistic reasoning model for Identifying Entities(MIE), Mechanistic reasoning model for Identifying Activities(MIA), and Mechanistic reasoning model for Identifying Properties of entities (MIP). Science teacher can help students to use the questions of not only "why" but also "How", "If", "What", when students identify entities or generate hypotheses. Also science teacher should be required to understand mechanistic reasoning to give students opportunities to generate diverse hypotheses. If students can't conjecture entities easily, MIA and MIP would be helpful for students.

• Communications of Mathematical Education
• /
• v.8
• /
• pp.137-150
• /
• 1999

본 연구의 목적은 아동들의 수학 교과에 대한 정의적 특성과 수학적 문제 해결력, 추론 능력간의 상호 관계를 구명하고, 이러한 관계들은 아동의 지역적인 환경에 따라 차이가 있는지를 분석하는 것이다. 본 연구를 통하여 얻은 결론은 다음과 같다. 정의적 특성의 하위 요인 중 수학적 문제 해결력과 귀납적 추론 능력에 대한 설명력이 가장 높은 요인은 수학교과에 대한 자아개념인 것으로 나타났으며, 연역적 추론 능력에 대한 설명력은 학습 습관이 가장 높은 것으로 나타났다. _그리고 귀납적 추론 능력이 연역적 추론 능력 보다 수학적 문제 해결력에 대한 설명력이 더 높은 것으로 나타났으며, 수학적 문제 해결력과 귀납적 추론 능력은 지역별로 유의한 차가 나타났으나 연역적 추론 능력은 지역간 유의한 차이가 나타나지 않았다.

• Journal of Intelligence and Information Systems
• /
• v.9 no.1
• /
• pp.251-267
• /
• 2003

In order to satisfy the needs of an intelligent information system, it is necessary to have more intelligent query processing in an object-oriented database. In this paper, we present a method to apply intelligent query processing in object-oriented databases using deductive approach. Using this method, we generate intelligent answers to represent the answer-set abstractly for a given query in object-oriented databases. Our approach consists of few stages: rule representation, rule reformation pre-resolution, and resolution. In rule representation, a set of deductive rules is generated based on an object-oriented database schema. In rule reformation, we eliminate the recursion in rules. In pre-resolution, rule transformation is done to get unique intensional literals. In resolution, we use SLD-resolution to generate intensional answers.

• Journal of Educational Research in Mathematics
• /
• v.13 no.2
• /
• pp.159-178
• /
• 2003

This study analyzes on the reasoning in the process of justification and mathematical problem solving in our primary mathematics textbooks. In our analyses, we found that the inductive reasoning based on the paradima-tic example whose justification is founnded en a local deductive reasoning is the most important characteristics in our textbooks. We also found that some propositions on the properties of various quadrangles impose a deductive reasoning on primary students, which is very difficult to them. The inductive reasoning based on enumeration is used in a few cases, and analogies based on the similarity between the mathematical structures and the concrete materials are frequntly found. The exposition based en a paradigmatic example, which is the most important characteristics, have a problematic aspect that the level of reasoning is relatively low In Miyazaki's or Semadeni's respects. And some propositions on quadrangles is very difficult in Piagetian respects. As a result of our study, we propose that the level of reasoning in primary mathematics is leveled up by degrees, and the increasing levels are following: empirical justification on a paradigmatic example, construction of conjecture based on the example, examination on the various examples of the conjecture's validity, construction of schema on the generality, basic experiences for the relation of implication.