• The Journal of Korean Academy of Orthopedic Manual Physical Therapy
• /
• v.14 no.2
• /
• pp.41-49
• /
• 2008

임상추론은 환자를 평가하고 관리하는데 사용되는 임상가의 필수적인 생각 또는 동적인 인지과정이라고 할 수 있다. 임상추론은 환자의 문제를 인식하고 식별하며 더 나은 환자관리가 이루어지도록 환자의 상태에 대처하며 정보를 해석하고 분석하는 것으로서 이를 위해 임상가는 적절한 지식을 가지고 있어야 하며 임상추론 기술과 관련된 폭넓은 이해가 요구된다. 임상추론은 치료사, 환자, 그리고 환경간의 상호관계를 가진 복잡한 과정으로 임상추론과정에서 치료사와 환자간에는 충분한 협조가 이루어져야 한다. 임상추론에서의 해석적 모델로는 진단적 추론, 상호작용의 추론, 이야기적 추론, 협조적 추론, 예언적 추론, 윤리적 추론, 추론의 교육 등이 제시된다. 임상추론 과정에서 필수적인 주요 요소는 충분한 지식, 인지와 초인지 기술을 포함하며 이들 요소는 치료사와 환자간의 관계에서 발달되어야 한다. 이들 기술 중에 어떠한 실수라도 임상추론의 오류를 초래할 수 있다. 추론에서 오류의 원인으로는 암시된 정보의 잘못된 인지, 임상페턴에 대한 지식부족, 특정 상태에 대해 알려진 사실을 잘못 적용하는 경우를 들 수 있다. 오류는 임상추론 과정의 어떤 단계에서도 일어날 수 있으므로 효과적인 학습전략을 통하여 이들 오류를 예방할 수 있을 것이다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1997.03a
• /
• pp.183-193
• /
• 1997

추론엔진과 지식베이스를 기반으로 하는 전문가 시스템은 사용목적에 맞게 구성되며,인간의 사고 방식을 모방한 컴퓨터가 올바른 해를 도출시키도록 하는데 궁극적인 목표가 있다. 즉, 추론의 효율성이 전문가 시스템의 효율성을 좌우한다. 시스템이 어떠한 목적을 갖는가에 따라서, 추론 방법과 지식표현 방법등이 결정된다. 최근 추론의 효율성을 극대화하기 위해 이용되고 있는 지식표현 및 추론 방법으로는 Rete, TREAT 등의 트리 표현을 사용하는 전향추론, 관계리스트를 사용하는 직접추론 등이 있다. 전문가 시스템의 성능은 추론을 얼마나 효율적이고 정확하게 하는지에 따라 좌우된다. 본 논문에서는 이러한 추론의 효율성이 지식베이스의 구축형태와 밀접한 관련을 이용하여 효율적인 추론 엔진을 구성하였다. 지식의 표준화가 모듈화가 쉬운 생성규칙을 사용하여 지식을 표현하였으며 , 사용자의 요구에 의해 전향추론, 후향추론이 수행되도록 하였다. 본 논문에서는 추론을 효율적으로 하기위한 기본 방법중, 지식표현을 보다 더 효과적으로 구축하는 방법을 택하였다. 기존의 지식표현방법을 살펴보고, 이를 기반으로 새로운 지시표현 방법인 ECBM(extedned clause bit matrix)과 ERCBM(extended clause bit matrix)을 제안하고 이를 이용하여 전향추론, 후향추혼이 가능한 추론엔진을 구축하였으며 이 두 지식표현을 이용하여 구축되어진 추론엔진을 비교하였다. 이 추론엔진은 기존에 시스템과는 달리 전향, 후향이 모두 효율적으로 수행되어지며, 모든 지식에 대해 적용이 가능한 강력한 범용성을 갖고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.346-351
• /
• 2006

시맨틱 웹에 대한 관심이 높아짐과 더불어 관련 기술인 온톨로지와 이를 이용한 추론 기술 역시 이슈가 되고 있다. RacerPro, Pellet 등 지금까지의 전형적인 추론 시스템들은 주로 Tableaux Algorithm 기반의 추론 시스템으로 Tableaux Algorithm의 특성상 대용량 ABox 추론에서 문제점을 나타낸다. 이를 해결하기 위한 연구로는 Tableaux Algorithm 기반의 Instance Store와 Disjunctive Datalog Approach를 사용한 KAON2가 있다. 이러한 추론 기술에 대해서는 많은 연구가 진행되고 있지만 각 추론 시스템들에 대한 평가는 부족하다. 현재 추론 시스템들의 벤치마킹은 대부분 Tableaux Algorithm 기반의 TBox 추론에 대한 것으로 ABox 추론 및 최근 이슈인 대용량 ABox 추론에 대한 평가는 특히 부족하다. 이에 본 논문에서는 각 추론 시스템들의 이론적 배경을 근간으로 지금까지의 전형적 추론엔진들과 최근 이슈에 따른 대용량 ABox 추론을 위한 시스템들을 이론적 비교를 통해 살펴보며, 특히 대용량 ABox 추론를 위한 시스템인 Instance Store와 KAON2를 LUBM을 사용하여 평가함으로 대용량 ABox 추론에 있어 사용자의 요구에 따른 적절한 시스템을 제시한다.

• 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.157-159
• /
• 2004

시맨틱 웹 기술을 활용한 시맨틱 검색은 문서의 의미를 온톨로지의 메타데이터로 생성하여 이를 바탕으로 검색을 수행하게 된다. 이와같은 온톨로지 기반의 시맨틱 검색은 논리를 바탕으로 추론을 적용할 수 있다. 본 논문에서는 온톨로지 기반의 추론을 적용한 시맨틱 검색 시스템을 언급하고 시맨틱 검색 시스템에서의 성능향상을 위해 추론엔진의 작업메모리 영역의 부하를 줄여 기존의 시스템보다 빠른 성능의 시맨틱 검색 시스템을 제안한다. 본 논문에서 시맨틱 검색 시스템의 성능향상을 위한 방법론으로는 다음과 같다 첫째, 추론엔진이 검색 도메인내의 전체 메타데이터를 가지고 추론을 수행하지 않고 메타데이터의 온톨로지부분 만을 사용하여 사용자가 원하는 질의문을 추론하여 검색에 사용하게 한다. 둘째, 시맨틱 검색 방법에서 Dirtectly 매칭 검색과 시맨틱 추론검색을 병행하여 수행하게 한다. 이를 위해 본 논문에서는 메타데이터의 온톨로지부분과 인스턴스부분을 분리하는 단계와 분리된 온톨로지부분에서 사용자가 원하는 질의를 추론하는 단계, 추론된 질의문을 검색시스템에서 매칭하는 단계를 수행하게 된다. 이러한 방법은 메타데이터의 양이 증가하여도 온톨로지부분은 증가하지 않으므로 추론엔진에서 전 방향 추론단계의 수행시간을 단축과 추론엔진의 호출 횟수를 단축시키는 결과를 가져온다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1316-1319
• /
• 2015

본 논문에서는 대규모 분산 병렬 컴퓨팅 환경인 하둡 클러스터 시스템을 이용하여, 공간 객체들 간의 위상 관계를 효율적으로 추론하는 대용량 정성 공간 추론기를 제안한다. 본 논문에서 제안하는 공간 추론기는 추론 작업의 순차성과 반복성을 고려하여, 작업들 간의 디스크 입출력을 최소화할 수 있는 인-메모리 기반의 아파치 스파크 프레임워크를 이용하여 개발하였다. 따라서 본 추론기에서는 추론의 대상이 되는 대용량 공간 지식들을 아파치 스파크의 분산 데이터 집합 형태인 PairRDD와 RDD로 변환하고, 이들에 대한 데이터 오퍼레이션들로 추론 작업들을 구현하였다. 또한, 본 추론기에서는 추론 시간의 많은 부분을 차지하는 이행 관계 추론에 필요한 조합표를 효과적으로 축소함으로써, 공간 추론 작업의 성능을 크게 향상시켰다. 대용량의 공간 지식 베이스를 이용한 성능 분석 실험을 통해, 본 논문에서 제안한 정성 공간 추론기의 높은 성능을 확인할 수 있었다.

• Journal of The Korean Association For Science Education
• /
• v.38 no.6
• /
• pp.839-851
• /
• 2018

The purpose of this study is to analyze the science reasoning differences of elementary school students' science writing. For this purpose, science writing activities and analysis frameworks were developed. Science writing data were collected and analyzed. Third to sixth grade elementary students were selected from a middle high level elementary school in terms of a national achievement test in Seoul. A total of 320 writing materials were analyzed. The results of the analysis were as follows. Science writings show science reasoning at 52 % for $3^{rd}$ grade, 68% for $4^{th}$ grade, 85% for $5^{th}$ grade, and 89% for $6^{th}$ grade. Three types of scientific reasoning such as inductive reasoning, deductive reasoning, and abductive reasoning appeared in science writing of the third to sixth graders. The abductive reasoning appeared very low in comparing with inductive and deductive reasoning. Level three appeared the most frequently in the science writing of the elementary students. The levels of inductive and deductive reasoning in science writing increased according to increasing grade and showed statistical differences between grades. But the levels of abductive reasoning did not show an increasing aspect according to increasing grade and also did not show statistical differences between grades. The levels of inductive reasoning and deductive reasoning of the 3rd grade was very low in comparing with the other grades.

• School Mathematics
• /
• v.14 no.4
• /
• pp.445-468
• /
• 2012

This study is tried in order to link informal arithmetic reasoning to formal algebraic reasoning. In this study, we investigated elementary school student's non-formal algebraic reasoning used in algebraic problem solving. The result of we investigated algebraic reasoning of 839 students from grade 1 to 6 in two schools, Korea, we could recognize that they used various arithmetic reasoning and pre-formal algebraic reasoning which is the other than that is proposed in the text book in word problem solving related to the linear systems of equation. Reasoning strategies were diverse depending on structure of meaning and operational of problems. And we analyzed the cause of failure of reasoning in algebraic problem solving. Especially, 'quantitative reasoning', 'proportional reasoning' are turned into 'non-formal method of substitution' and 'non-formal method of addition and subtraction'. We discussed possibilities that we are able to connect these pre-formal algebraic reasoning to formal algebraic reasoning.

• Communications of Mathematical Education
• /
• v.33 no.3
• /
• pp.395-423
• /
• 2019

The purpose of the study is to analyze the levels of cognitive demands and components of the reasoning process presented in the mathematical sequence section of three high school mathematics textbooks in order to provide implications for the development of reasoning tasks in the future mathematics textbooks. The results of the study have revealed that most of the reasoning tasks presented in the mathematical sequence section of the three high school mathematics textbooks seemed to require low-level cognitive demands and that low-level cognitive demands reasoning tasks required only a component of one reasoning process. On the other hand, only a portion of the reasoning tasks appeared to require high-level of cognitive demands, and high-level cognitive demands reasoning tasks required various components of reasoning process. Considering the results of the study, it seems to suggest that we need more high-level cognitive demands reasoning tasks to develop high-level cognitive reasoning that would provide students with learning opportunities for various processes of reasoning, and that would provide a deeper understanding of the nature of reasoning.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 2009.11a
• /
• pp.239-242
• /
• 2009

본 연구에서는 독립차원 감성추론이 가능한 추론엔진과 하드웨어를 모바일 상황에서 사용가능 하도록 설계하였다. 설계된 시스템은 크게 감성 신호 센싱 디바이스에서 수신한 생체 신호 데이터를 이용해 독립차원의 감성을 판단하는 모바일 기반 감성 추론 엔진 소프트웨어 시스템과, 감성 추론 엔진을 탑재하고 감성 신호 센싱 디바이스와 최종 감성 응용 서비스 단말과의 인터페이스 기능을 갖는 모바일 감성 단말 하드웨어 시스템으로 구성된다. 모바일 독립차원 감성 추론 엔진은 감성 신호 센싱 디바이스로부터 측정되어 정규화(Normalization)된 감성 유발 채널별 특징 신호 데이터를 입력 받아 사용자 별 감성 추론을 위한 개인화 인자를 추출하고, 최종적으로 사용자의 현재 감성 상태를 추론하는 기능을 수행한다. 모바일 감성 단말 하드웨어 시스템은 독립차원 감성 추론 엔진을 내장해 실행하고, 감성 추론을 위한 감성 신호 센싱 디바이스와의 인터페이스와 추론된 감성 정보 데이터를 감성 증강 UI 기반 서비스 플랫폼으로 전송하기 위한 인터페이스 기능을 수행한다. 본 연구에서 설계된 시스템은 다양한 환경에서 실시간으로 감성을 추론할 수 있는 알고리즘과 하드웨어를 구축하는 기술로 향후 다양한 제품에 접목하여 다양한 감성 서비스가 가능할 것으로 예상된다.