• Korean Journal of Cognitive Science
• /
• v.16 no.3
• /
• pp.213-224
• /
• 2005

To develop a cognitive system with the flexibility and breadth of human reasoning, it's very important to construct a large scale knowledge base which includes commonsense knowledge as well as expert knowledge. This paper introduces a cognitive system which provides a commonsense reasoning for everyday physical phenomena using qualitative reasoning. It is difficult to apply previous qualitative reasoning to commonsense reasoning since it provides reasoning based on abstract concepts which are apart from everyday real world concepts. Our research provides commonsense reasoning based on sketches and real world concepts by integrating qualitative reasoning and general large scale Cyc knowledge base. Our system has been implemented and tested on various examples.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.04a
• /
• pp.531-535
• /
• 1996

Computer aided conceptual solution of engineering problems can be effectively implemented by qualitative reasoning based on a physical model. Qualitative reasoning needs modeling paradigm which provides intellignet control of modeling assumptions and robust inferences without quantitative information about the system. We developed reasoning method using new algebra of qualitative mathematics. The method is applied to a conceptual design scheme of anadaptive control system of cutting process. The method identifies differences between proportional and proportional-integral control scheme of cutting process. It is shown that unfeasible investment could be prevented in the early conceptual stage by the qualitative reasoning procedures proposed in this paper.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2001.01a
• /
• pp.230-236
• /
• 2001

In this paper, we explored the possibilities of embedding Qualitative Reasoning techniques, the Qualitative Process Theory (QPT), and its implementation in the field of inorganic chemistry. The target field of implementation is Qualitative Chemical Analysis and Laboratory Simulation. By embedding such technique in this education software we aim to combine theory and practice into a single package. The system, are able to generate reasoning and explanation based on chemical theories, helping student in mastering basic chemistry knowledge and practical skill as well. We also review the suitability of embedding QPT techniques into chemistry in general, by comparing some examples from both fields.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.16 no.7
• /
• pp.1351-1362
• /
• 1992

Qualitative models in model-based expert system needs modeling paradigm which provides intelligent control of modeling assumptions and extracts robust inferences without quantitative information about the system to be modeled. Qualitative reasoning methodologies has proved the property of the completeness but not the soundness to the corresponding quantitative model. We propose new methodology of qualitative reasoning by introducing the concept of Centroid-Oriented Composite Interval to improve the soundness problem. Arithmetic operations and equivalence classes were composed using this definition. Qualitative simulation results were compared to Kuipers's results and the improvements in the soundness problem is verified.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.4
• /
• pp.380-392
• /
• 2000

This paper proposes a qualitative reasoning approach for the spatial configuration of mechanisms that could be applied in the early phase of the conceptual design. The spatial configuration problem addressed in this paper involves the relative direction and position between the input and output motion, and the orientation of the constituent primitive mechanisms of a mechanism. The knowledge of spatial configuration of a primitive mechanism is represented in a matrix form called spatial configuration matrix. This matrix provides a compact and convenient representation scheme for the spatial knowledge, and facilitates the manipulation of the relevant spatial knowledge. Using this spatial knowledge of the constituent primitive mechanisms, the overall configuration of a mechanism is described and identified by a spatial configuration state matrix. This matrix is obtained by using a qualitative reasoning method based on sign algebra and is used to represent the qualitative behavior of the mechanism. The matrix-based representation scheme allows handling the involved spatial knowledge simultaneously and the proposed reasoning method enables the designer to predict the spatial behavior of a mechanism without knowing specific dimension of the components of the mechanism.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.5
• /
• pp.231-242
• /
• 2016

In order to meet rapid changes of Web information, it is necessary to extend the current Web technologies to represent both the valid time and location of each fact and knowledge, and reason their relationships. Until recently, many researches on qualitative temporal reasoning have been conducted in laboratory-scale, dealing with small knowledge bases. However, in this paper, we propose the design and implementation of a parallel qualitative temporal reasoner, MRQUTER, which can make reasoning over Web-scale large knowledge bases. This parallel temporal reasoner was built on a Hadoop cluster system using the MapReduce parallel programming framework. It decomposes the entire qualitative temporal reasoning process into several MapReduce jobs such as the encoding and decoding job, the inverse and equal reasoning job, the transitive reasoning job, the refining job, and applies some optimization techniques into each component reasoning job implemented with a pair of Map and Reduce functions. Through experiments using large benchmarking temporal knowledge bases, MRQUTER shows high reasoning performance and scalability.

• Korean Journal of Cognitive Science
• /
• v.15 no.4
• /
• pp.15-20
• /
• 2004

To develop a cognitive system with the flexibility and breadth of human, it's very important to construct a large scale knowledge base which include commonsense knowledge as well as expert knowledge. Efficient knowledge representation and reasoning techniques will play a key role for this. This paper introduce a cognitive system which is based on Cyc knowledge base and augmented with our work on qualitative and spatial representation and reasoning. Our system has been implemented and tested on various examples.

• Knowledge Management Research
• /
• v.10 no.2
• /
• pp.35-48
• /
• 2009

The paper proposes a quantitative causal ordering map (QCOM) to combine qualitative and quantitative methods in a framework. The procedures for developing QCOM consist of three phases. The first phase is to collect partially known causal dependencies from experts and to convert them into relations and causal nodes of a model graph. The second phase is to find the global causal structure by tracing causality among relation and causal nodes and to represent it in causal ordering graph with signed coefficient. Causal ordering graph is converted into QCOM by assigning regression coefficient estimated from path analysis in the third phase. Experiments with the prediction model of Korea stock price show results as following; First, the QCOM can support the design of qualitative and quantitative model by finding the global causal structure from partially known causal dependencies. Second, the QCOM can be used as an integration tool of qualitative and quantitative model to offerhigher explanatory capability and quantitative measurability. The QCOM with static and dynamic analysis is applied to investigate the changes in factors involved in the model at present as well discrete times in the future.

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

In this study, I hoped to reveal the understanding of pre-service elementary teachers about proportional reasoning and the traits of proportional reasoning strategy used by pre-service elementary teachers. The results of this study are as follows. Pre-service elementary teachers should deal with various proportional reasoning tasks and make a conscious effort to analyze proportional reasoning task and investigate various proportional reasoning strategies through teacher education program. It is necessary that pre-service elementary teachers supplement the lacking tasks such as qualitative reasoning and distinction between proportional situation and non-proportional situation. Finally, It is suggested to preform the future research on teachers' errors and mis-conceptions of proportional reasoning.

• Journal of Korean Institute of Industrial Engineers
• /
• v.16 no.2
• /
• pp.63-70
• /
• 1990

This paper presents a new temporal reasoning scheme based on explicit expression of time intervals. The proposed scheme deals with the general problem of temporal knowledge representation and temporal reasoning and may be used in rule-based systems and qualitative models. Time intervals, not time points, are defined in terms of orders and/or numbers in a quantity space. As a result, the system behavior is represented in the form of partially ordered networks. Such explicit and qualitative description of temporal quantities enables both reduction of ambiguity and parsimonious used of temporal information. Based on the proposed temporal reasoning scheme, a new rule-based qualitative simulation system is being built and evaluated.