• The Mathematical Education
• /
• v.41 no.3
• /
• pp.273-289
• /
• 2002

It tends to be emphasized that mathematics is the important discipline to develop students' mathematical reasoning abilities such as deduction, induction, analogy, and visual reasoning. This study is aimed for investigating the present state about mathematical reasoning in secondary school. We survey teachers' opinions and analyze the results. The results are analyzed by frequency analysis including percentile, t-test, and MANOVA. Results are the following: 1. Teachers recognized mathematics as knowledge constructed by deduction, induction, analogy and visual reasoning, and evaluated their reasoning abilities high. 2. Teachers indicated the importances of reasoning in curriculum, the necessities and the representations, but there are significant difference in practices comparing to the former importances. 3. To evaluate mathematical reasoning, teachers stated that they needed items and rubric for assessment of reasoning. And at present, they are lacked. 4. The hindrances in teaching mathematical reasoning are the lack of method for appliance to mathematics instruction, the unpreparedness of proposals for evaluation method, and the lack of whole teachers' recognition for the importance of mathematical reasoning

• Knowledge Management Research
• /
• v.1 no.1
• /
• pp.81-90
• /
• 2000

This study proposes the knowledge discovery process for the effective mining of knowledge on the web. The proposed knowledge discovery process uses the Prior knowledge base and the Prior knowledge management system to reflect tacit knowledge in addition to explicit knowledge. The prior knowledge management system constructs the prior knowledge base using a fuzzy cognitive map, and defines information to be extracted from the web. In addition, it transforms the extracted information into the form being handled in mining process. Experiments using case-based reasoning and neural network" are performed to verify the usefulness of the proposed model. The experimental results are encouraging and prove the usefulness of the proposed model.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.12
• /
• pp.3124-3134
• /
• 1993

Diagnosis is composed of two different but interrelated steps ; retrieving the sensory responses f the system and reasoning the state of the system through the given sensor data. This paper explains the probabilistic nature of reasoning involved in the diagnosis when the uncertainties are inevitably included in experts' diagnostic decision making. Uncertainties in decision making are experts' personal experiences, preferences, and system's coherent characteristics. In order to ensure a consistent decision based on the same responses from the system, expert system technology is adopted with the Bayesian reasoning scheme.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 1999.06a
• /
• pp.223-228
• /
• 1999

This paper presents an electrical fire diagnosis system using intellectual reasoning which is the mixed approach of the case-based reasoning with the knowledge-based reasoning A prototype system is implemented using Delphi, one of the program development tools under windows environment, for making an application program for database. And database is builded using Paradox. The results of applying the system to some imaginary fire cases to verify its capability and validity show that the causes of fires is successfully diagnosed, so the proposed system proves to be reasonable.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.282-296
• /
• 2010

OWL is an ontology language for the Semantic Web, and suited to modelling the knowledge of a specific domain in the real-world. Ontology also can infer new implicit knowledge from the explicit knowledge. However, the modeled knowledge cannot be complete as the whole of the common-sense of the human cannot be represented totally. Ontology do not concern handling nonmonotonic reasoning to detect incomplete modeling such as the integrity constraints and exceptions. A default rule can handle the exception about a specific class in ontology. Integrity constraint can be clear that restrictions on class define which and how many relationships the instances of that class must hold. In this paper, we propose a practical reasoning system for open and closed-world reasoning that supports a novel hybrid integration of ontology based on open world assumption (OWA) and non-monotonic rule based on closed-world assumption (CWA). The system utilizes a method to solve the problem which occurs when dealing with the incomplete knowledge under the OWA. The method uses the answer set programming (ASP) to find a solution. ASP is a logic-program, which can be seen as the computational embodiment of non-monotonic reasoning, and enables a query based on CWA to knowledge base (KB) of description logic. Our system not only finds practical cases from examples by the Protege, which require non-monotonic reasoning, but also estimates novel reasoning results for the cases based on KB which realizes a transparent integration of rules and ontologies supported by some well-known projects.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.1
• /
• pp.103-110
• /
• 1998

In case of traditional Rule-Based Reasoning(RBR) and Case-Based Reasoning(CBR), although knowledge is reasoned either by one of them or by the integration of RBR and CBR, there is a problem that much time should be consumed by numerous rules and cases. In order to improve this time-consuming problem, in this paper, a new type of reasoning technique, which is a kind of integration of reduced RB and CB, is to be introduced. Such a new type of reasoning uses Rough Set, by which we can represent multi-meaning and/or random knowledge easily. In Rough Set, solution is to be obtained by its own complementary rules, using the process of RB and CB into equivalence class by the classification and approximation of Rough Set. and then using reduced RB and CB through the integrated reasoning.

• Journal of The Korean Association For Science Education
• /
• v.22 no.2
• /
• pp.314-335
• /
• 2002

The purpose of this study was to investigate the effects of students' prior knowledge on scientific reasoning process performing a task of controlling variables with computer simulation and to identify a number of problems that students encounter in scientific discovery. Subjects for this study included 60 Korean students: 27 fifth-grade students from an elementary school; 33 seventh-grade students from a middle school. The sinking objects task involving multivariable causal inference was used. The task was presented as computer simulation. The fifth and seventh-grade students participated individually. A subject was interviewed individually while the investigating a scientific reasoning task. Interviews were videotaped for subsequent analysis. The results of this study indicated that students' prior knowledge had a strong effect on students' experimental intent; the majority of participants focused largely on demonstrating their prior knowledge or their current hypothesis. In addition, studnets' theories that were part of one's prior knowledge had significant impact on formulating hypotheses, testing hypothesis, evaluating evidence, and revising hypothesis. This study suggested that students' performance was characterized by tendencies to generate uninformative experiments, to make conclusion based on inconclusive or insufficient evidence, to ignore, reject, or reinterpret data inconsistent with their prior knowledge, to focus on causal factors and ignore noncausal factors, to have difficulty disconfirming prior knowledge, to have confirmation bias and inference bias (anchoring bias).

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1998.10a
• /
• pp.228-231
• /
• 1998

Artificial Intelligence literatures have recognized that stock market is a highly unstructured and complex domain so that it is difficult to find knowledge that belongs to that domain. This paper demonstrates that the proposed QCOM can derive global knowledge about stock market on the basis of a set of local knowledge and express it as a digraph representation. In addition, inference mechanism using quantitative causal reasoning can describe the qualitative and quantitative effects of exogenous variables on stock market.

• Journal of Information Management
• /
• v.21 no.1
• /
• pp.34-52
• /
• 1990

The probabilistic reasoning method using Bayesian theory is studied to use uncertain or incomplete knowledge in ways that take the uncertainty into account. This method presented for knowledge acquisition process of expert system to evaluate certainty degree of input knowledge.

• KIISE Transactions on Computing Practices
• /
• v.21 no.7
• /
• pp.452-457
• /
• 2015

In this paper, we propose a spatial query processor, SQUERY, which can derive rich query results through spatial reasoning on the initial knowledge base, as well as, process both qualitative and quantitative queries about the topological and directional relationships between spatial objects. In order to derive richer query results, the query processor expands the knowledge base by applying forward spatial reasoning into the initial knowledge base in a preprocessing step. The proposed query processor uses not only qualitative spatial knowledge describing topological/directional relationship between spatial objects, but also utilizes quantitative spatial knowledge including geometric data of individual spatial objects through geometric computation. The results of an experiment with the OSM(Open Street Map) spatial knowledge base demonstrates the high performance of our spatial query processing system.