• 인지과학
• /
• 제16권3호
• /
• pp.213-224
• /
• 2005

유연성과 광범위성을 갖는 대규모 인지 시스템의 구축을 위해서는 전문적인 지식 뿐 아니라 상식수준의 지식에 기초한 추론을 제공하는 필수 불가결하다. 본 논문에서는 정성적 추론을 이용하여 일상에서의 다양한 자연 현상에 대한 상식 추론을 제공하는 인지시스템에 대하여 소개하고자 한다. 기존의 정성적 추론은 다양한 일상의 개념과는 동떨어진 추상적인 개념에 기초하여 추론을 전개하여, 상식 추론에 이용되기에는 어려움이 있었다 본 연구에서는 기존의 정성적 추론을 범용의 대용량 Cyc 지식베이스에 접목하여, 스케치와 일상의 개념에 기초한 상식 추론을 제공하고자 하였다. 본 시스템은 구현되어 여러 예제에 적용되어 그 실효성을 입증할 수 있었다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1996년도 춘계학술대회 논문집
• /
• 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.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2001년도 The Pacific Aisan Confrence On Intelligent Systems 2001
• /
• 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.

• 대한기계학회논문집
• /
• 제16권7호
• /
• pp.1351-1362
• /
• 1992

본 연구에서는 단순한 구간대신에 구간내에 제한된 형태의 가능성 분포를 갖 는 복합구간으로 학장하는 것이다. 그리고 이러한 가능성 분포는 퍼지 집합이론에서 사용되는 것처럼 일반적인 분포형태 전체를 사용하는 것이 아니라, 가능성 분포의 무 게중심만 정의하고 이 무게중심과 구간경계만을 사용하여 시스템 변수가 갖는 정성값 을 나타낸다. 이를 바탕으로 새로운 상태변화와 그 규칙을 정의함으로써 정성 모델 링과 시뮬레이션을 할 수 있는 정성 수학을 공식화하였다.이와 같은 방식으로 구한 정성 모델과 추론방법으로 기존의 논문에 나와 있는 시뮬레이션 결과와 비교하여 본 논문에서 제시한 정성해의 논리적 건전성(soundness)을 보였다.

• 한국CDE학회논문집
• /
• 제5권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.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권5호
• /
• pp.231-242
• /
• 2016

빠른 웹 정보의 변화에 잘 대응하기 위해서는, 사실과 지식이 실제로 유효한 시간과 장소들도 함께 표현하고 그들 간의 관계도 추론할 수 있도록 웹 기술의 확장이 필요하다. 본 논문에서는 그동안 소규모 지식 베이스를 이용한 실험실 수준의 정성 시간 추론 연구들에서 벗어나, 웹 스케일의 대규모 지식 베이스를 추론할 수 있는 병렬 정성 시간 추론기인 MRQUTER의 설계와 구현을 소개한다. Hadoop 클러스터 시스템과 MapReduce 병렬 프로그래밍 프레임워크를 이용해 개발된 MRQUTER에서는 정성 시간 추론 과정을 인코딩 및 디코딩 작업, 역 관계 및 동일 관계 추론 작업, 이행 관계 추론 작업, 관계 정제 작업 등 몇 개의 MapReduce 작업으로 나누고, 맵 함수와 리듀스 함수로 구현되는 각각의 단위 추론 작업을 효율화하기 위한 최적화 기술들을 적용하였다. 대규모 벤치마킹 시간 지식 베이스를 이용한 실험을 통해, MRQUTER의 높은 추론 성능과 확장성을 확인하였다.

• 인지과학
• /
• 제15권4호
• /
• pp.15-20
• /
• 2004

유연성과 광범위성을 갖는 대규모 인지 시스템의 구축을 위해서는 전문적인 지식 뿐 아니라 상식 수준의 지식을 포함한 대용량 지시베이스의 구축이 필수 불가결하다. 이를 위해서는 효율적인 지식 표현 및 추론 기법이 핵심적 열할을 하게 될 것이다. 본 논문에서는 정성적 지식 표현 및 추론 기법을 이미 구축된 범용의 대용량 Cyc 지식베이스와 접목하여, 일상의 상식적인 추론을 제공할 수 있는 인지 시스템을 소개한다. 본 시스템은 구현되어 여러 예제에 적용되어 그 실효성을 입증한 수 있었다.

• 지식경영연구
• /
• 제10권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.

• 한국초등수학교육학회지
• /
• 제20권4호
• /
• pp.601-625
• /
• 2016

본 연구는 비례추론 과제에 대한 초등예비교사들의 반응을 분석함으로써 예비교사들의 비례추론 과제에 대한 이해 정도를 살펴보고, 비례추론 전략에 따른 비례추론 과제의 적합도와 비례추론 과제에 따른 전략의 특징을 살펴보고자 하였다. 이를 위해 총 8개로 구성된 검사도구를 개발하여 초등예비교사 72명에게 적용하였으며, 연구결과를 종합하여 예비교사교육에서의 비례추론 지도에 대한 시사점을 다음과 같이 도출하였다. 예비교사들이 실제적이고 다양한 비례추론 과제들을 다루는 경험, 양적 관계에 대한 의식적인 분석을 행하는 경험, 예비교사들이 미흡한 이해를 보이는 특정 과제 유형에 대한 보완, 다양한 비례추론 전략들을 분류하고 탐구하는 경험, 비례추론 전략에 적합한 과제 유형을 파악하고, 비례추론 과제에 보다 유용하고 사용가능한 비례추론 전략을 파악하도록 하는 학습경험이 필요하다고 보았다.

• 대한산업공학회지
• /
• 제16권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.