• 한국수학교육학회지시리즈A:수학교육
• /
• 제62권4호
• /
• pp.457-471
• /
• 2023

측정은 초등 수학의 핵심 영역이지만 중요도에 비하여 측정 상황에서 단위에 대한 학생들의 이해는 충분하지 않은 것으로 보고되고 있다. 이에 본 연구는 길이 측정 상황에서 초등학교 저학년 학생의 단위 추론에 대한 수준을 분석하여 이를 바탕으로 측정 영역에서 단위 추론을 지도하기 위한 방안을 모색하고자 하였다. 이를 위하여 개방형 수직선을 활용하여 길이 측정 과제를 적용한 초등학교 2학년 학생들의 응답을 수집 및 분석하였다. 연구 결과, 초등학교 저학년 학생들의 단위 추론 수준은 단위화, 단위 반복, 단위 분할 정도에 따라 1단위 반복하기, 주어진 단위 반복하기, 단위 사이의 관계 알기, 단위 변환하기의 4개의 수준으로 나타났다. 가장 많은 분포를 보인 수준은 길이 측정을 위해 단위 사이의 관계를 인식하는 수준이었으며 각 수준을 대표하는 단위 추론에 대한 학생들의 수준별 특징과 사례를 제시하였다. 본 연구 결과를 토대로 초등학교 저학년 학생들의 단위 추론 수준에 맞는 지도 방안이 요구되며, 불완전한 단위 추론 능력을 가진 친구들을 위한 추가 지도나 맞춤형 중재물의 활용이 필요함을 논의하였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2023년도 제35회 한글 및 한국어 정보처리 학술대회
• /
• pp.113-118
• /
• 2023

딥러닝을 이용한 언어 모델은 다양한 분야에서 사용되고 있는데, 그 중 교육 분야에선 꾸준히 시험 문항을 자동으로 생성하려는 요구가 존재해 왔다. 그러나 빈칸 추론 문항, 그 중에서도 어구 단위 빈칸 추론 문항은 학습 및 평가 목적으로 널리 쓰이고 있지만, 이를 자동 생성하려는 연구는 상대적으로 드물다. 이에 본 연구에선 masked language modeling (MLM)을 이용한 난이도 조절이 가능한 어구 단위 빈칸 추론 문항 생성 시스템을 제안한다. 본 시스템은 정답 생성 모델의 attention 정보에 따라 지문 내 중요한 어구를 삭제해 오답을 생성하고, 동시에 어구의 삭제 비율을 조절함으로써 더 쉽거나 더 어려운 오답을 만들어낼 수 있다. 평가 결과, 제안한 시스템은 기존 접근법보다 정답과의 유사도가 최고 28.3% 낮았고, 또한 난이도 설정에 따라 쉬운 오답이 어려운 오답에 비해 유사도가 15.1% 낮아, 더 정답과 먼 뜻의 오답을 생성해내었다.

• 대한수학교육학회지:수학교육학연구
• /
• 제19권2호
• /
• pp.321-340
• /
• 2009

본 논문은 초등학교 저학년 학생들의 길이 추론 능력을 살펴보고자, 측정 상황의 4가지 문제유형(단위 길이 비교하기, 단위의 수세기, 단위 길이 예상하기, 길이 비교하기)으로 구성된 검사지를 이용하여 375명(2학년 185명, 3학년 190명) 학생들의 반응을 분석하였다. 연구결과 학생들은 '단위 길이 비교하기'와 '단위의 수세기' 유형에서는 높은 정답률을 보인 반면에, '단위 길이 예상하기'와 '길이 비교하기' 유형에서는 상대적으로 낮은 정답률을 보였다. 또한 정답 및 오답 유형별로 대표적인 학생들의 반응과 추론을 관련지어 면밀하게 분석한 결과, 문제 유형에 따라 학생들에게 예상되는 추론의 수준이 있음이 드러났다. 본 연구 결과는 학생들이 길이를 비교하거나 측정할 때 어떻게 추론하는지에 대한 경험적 근거를 제공한다.

• 대한수학교육학회지:학교수학
• /
• 제9권3호
• /
• pp.427-445
• /
• 2007

이 논문은 7학년 학생의 곱셈추론과 관련된 분수추론을 연구한 사례연구이다. 이 논문은 또한 교수실험방법론에 의해 거둬진 질적 자료를 domain analysis와 taxonomic analysis라는 질적 분석법에 따라 분석함으로써 특정 질적 분석법들의 실제 적용사례를 자세히 보여준다. 자료 분석을 통해 세 가지 이슈가 부각되었다: 분수에 대한 시각 (조작으로써 대 결과물로써), 단위 문제, 대분수와 가분수의 관계이다. 그러한 이슈들은 첫째, 각 이슈들이 곱셈추론의 발달에 중요하며, 둘째 그 이슈들 사이의 관계가 분수추론을 통한 곱셈추론의 한 방법을 제시해 준다는 점에서 교육적인 의미를 갖는다.

• 한국지능시스템학회논문지
• /
• 제1권2호
• /
• pp.43-54
• /
• 1991

임시지식을 표현하고 추론하는 것은 인공지능 분야에서 중요한 문제로 되어왔다. 그런데 우리는 또한 일상생활에서 불확실성을 지니고 있는 임시지식을 자주 대하게 된다. 최근에 Dubois와 Prade는 시간의 기본단위로 시간점을, Dutta는 구간을 사용하여 이를 표현하였다. 본 논문에서 우리는 구간을 시간의 기본단위로 하면서 그 구간들이 점들과 같은 순서구조를 갖는 특성을 가진 새로운 표현모델을 제안한다. 그리고 간단한 추론규칙들을 제시하며 발생시기가 불확실한 사건들사이의 임시관계를 표현하되 convex한 사건과 non-convex한 사건을 나누어 설명한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.133-135
• /
• 2003

시맨틱 웹은 지식을 구조적으로 표현할 수 있는 수단과, 논리를 기반으로 지식을 처리하는 기술을 주요 요소로 포함하고 있다. 후자에 대한 유력한 기술로 기호 논리를 기반으로 한 연역 추론 기법이 폭넓게 응용되고 있으나 아직 초보적인 단계에 머물러 있다. 본 논문은 시맨틱 웹 환경에서 효과적인 추론 기능을 수행할 수 있는 연역 추론 시스템의 설계 및 구현 내용을 담고 있다. 본 논문에서 제시하는 추론 시스템은 표준 기술 논리(Description Logic)의 상당 부분과 혼 논리(Horn Logic) 기반의 논리 프로그래밍을 아우르는 확장된 표현력을 제공하여, RETE 알고리즘 기반의 생성 시스템을 활용하여 추론한다. 또한, 규칙베이스를 구성하는 단위 지식들을 웹 자원화함으로써 온톨로지로 대표되는 시맨틱 웹의 지식 표현력을 확장하였다. 본 논문이 제시하는 추론 시스템을 이용하면 웹 온톨로지 위에 규칙 및 논리 계층［1］을 효과적으로 구현할 수 있다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2021년도 제33회 한글 및 한국어 정보처리 학술대회
• /
• pp.189-194
• /
• 2021

자연어 추론은 두 문장 사이의 의미 관계를 분류하는 작업이다. 본 논문에서 제안하는 의미 추론 방법은 의존 구문 분석을 사용하여 동일한 구문 정보나 기능 정보를 가진 두 개의 (피지배소, 지배소) 어절 쌍에서 하나의 어절이 겹칠 때 두 피지배소를 하나의 청크로 만들어주고 청크 기준으로 만들어진 의존 구문 분석을 사용하여 자연어 추론 작업을 수행하는 방법을 의미한다. 이러한 의미 추론 방법을 통해 만들어진 청크와 구문 구조 정보를 Biaffine Attention을 사용하여 한 문장에 대한 청크 단위의 구문 구조 정보를 반영하고 구문 구조 정보가 반영된 두 문장을 Bilinear을 통해 관계를 예측하는 시스템을 제안한다. 실험 결과 정확도 90.78%로 가장 높은 성능을 보였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2019년도 제31회 한글 및 한국어 정보처리 학술대회
• /
• pp.225-228
• /
• 2019

문장 임베딩은 문장의 의미를 잘 표현 할 수 있도록 해당 문장을 벡터화 하는 작업을 말한다. 문장 단위 입력을 사용하는 자연언어처리 작업에서 문장 임베딩은 매우 중요한 부분을 차지한다. 두 문장 사이의 의미관계를 추론하는 자연어 추론 작업을 통하여 학습한 문장 임베딩 모델이 기존의 비지도 학습 기반 문장 임베딩 모델 보다 높은 성능을 보이고 있다. 따라서 본 논문에서는 문장 임베딩 성능을 높이기 위하여 사전 학습된 BERT 모델을 이용한 문장 임베딩 기반 자연어 추론 모델을 제안한다. 문장 임베딩에 대한 성능 척도로 자연어 추론 성능을 사용하였으며 SNLI(Standford Natural Language Inference) 말뭉치를 사용하여 실험한 결과 제안 모델은 0.8603의 정확도를 보였다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2005년도 공동추계학술대회
• /
• pp.488-496
• /
• 2005

현재의 웹이 HTML을 바탕으로 인간 사용자와의 인터페이스에 초점을 맞추고 있는데 비하여, 차세대 웹은 XML 및 XML 기반 각종 표준들을 바탕으로 소프트웨어 에이전트와의 인터페이스에 초점을 맞추어 나가고 있다. 차세대 웹에서 소프트웨어 에이전트의 두뇌 역할을 수행하기 위하여 추론엔진은 차세대 웹의 표준 언어인 시맨틱 웹(Semantic Web)을 충실히 이해할 수 있어야 한다. 이를 위한 기초 작업의 일환으로 OWL(Web Ontology Language)과 RuleML(Rule Markup Language)이 W3C에 제안된 바 있다. 본 연구에서는 SWRL을 규칙 표현 방법으로 사용하고, OWL을 사실 표현 방법으로 사용하는 역방향 추론엔진인 SMART-B(SeMantic web Agent Reasoning Tools - Backward chaining inference engine)을 개발하고자 한다. 이를 위하여 SWRL 기반 역방향 추론을 위한 요구 기능을 분석하고, 기존 역방향 추론 알고리즘에 차세대 시맨틱 웹을 요구 기능을 반영한 역방향 추론 알고리즘을 설계하였다. 또한, 유비쿼터스 환경에서의 각종 플랫폼의 독립성과 이식성을 확보하고 기기 간의 성능 차이를 극복할 수 있도록 사실 베이스 및 규칙 베이스의 관리도구와 역방향 추론 엔진 등을 Java 프로그래밍 언어를 이용하여 단위 컴포넌트의 형태로 개발 중에 있다.

• 대한수학교육학회지:학교수학
• /
• 제18권3호
• /
• pp.625-645
• /
• 2016

본 연구는 이분모분수의 덧셈 및 뺄셈과 관련하여 단위 추론의 측면에서 강조해야 할 핵심 아이디어를 밝히고 제4차 교육과정에서부터 2009 개정 교육과정에 의한 초등학교 교과서에서 단위와 관련된 아이디어가 어떻게 제시되어 있는지를 분석하였다. 연구 결과 이분모분수의 덧셈과 뺄셈의 핵심 아이디어는 세 가지 수준의 단위를 유연하게 활용하는 과정에서 고정된 전체 단위, 새로운 공통 단위의 필요성, 재귀적 분할 등을 강조해야 한다는 것이다. 초등학교 수학 교과서 분석 결과, 전체 단위가 고정되어야 한다는 사실을 매우 암묵적으로 다루고, 통분의 필요성을 이전에 학습한 동분모분수의 덧셈과정과 연결하여 제시하였으며, 재귀적 분할 방법보다는 수치적으로 통분하여 모델을 알고리즘과 유기적으로 연결하는 데 어려움이 있는 것으로 드러났다. 이에 대한 논의를 바탕으로 초등학교 수학교과서의 이분모분수의 덧셈과 뺄셈 관련 내용 구성 및 지도 방향에 시사점을 제공하고자 한다.