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

Abstract Meaning Representation(AMR)은 문장의 의미를 그래프 구조로 인코딩하여 표현하는 의미 형식표현으로 문장의 각 노드는 사건이나 개체를 취급하는 개념으로 취급하며 간선들은 이러한 개념들의 관계를 표현한다. AMR 파싱은 주어진 문장으로부터 AMR 그래프를 생성하는 자연어 처리 태스크이다. AMR 그래프의 각 개념은 추상 표현으로 문장 내의 토큰과 명시적으로 정렬되지 않는 어려움이 존재한다. 이러한 문제를 해결하기 위해 별도의 사전 학습된 정렬기를 이용하여 해결하거나 별도의 정렬기 없이 Sequence-to-Sequence 계열의 모델로 입력 문장으로부터 그래프의 노드를 생성하는 방식으로 연구되어 왔다. 본 논문에서는 문장의 입력 시퀀스와 부분 생성 그래프 사이에서 반복 추론을 통해 새로운 노드와 기존 노드와의 관계를 구성하여 점진적으로 그래프를 구성하는 모델을 한국어 AMR 데이터 셋에 적용하여 Smatch 점수 39.8%의 실험 결과를 얻었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권2호
• /
• pp.203-212
• /
• 1999

디지털 도서관 시스템의 검색에서 발생하는 가장 큰 문제점은 질의에 있어 사용자의 의도와 시스템의 해석간의 의미적, 형식적 차이가 생긴다는 점에 있다. 우리는 보다 효과적으로 사용자의 의도를 반영할 수 있도록 사용자의 질의를 변환하는 지능적 검색 에이전트를 제안한다. 이를 위해서 의미적 질의 최적화기법에 근거를 둔 변환 알고리즘과 에이전트 아키텍쳐를 정의한다. 제안된 알고리즘은 범용 추론키보다 훨씬 간단하면서도 효과적으로 사용자의 질의를 변환한다.

• 한국초등수학교육학회지
• /
• 제20권1호
• /
• pp.131-148
• /
• 2016

본 연구는 초등학교 5학년 영재학급 학생들(8명)이 패턴의 일반화 과제를 해결함에 있어 귀납 추론으로 일반식은 추측하였으나 그에 대한 형식적 정당화로 이행하는 과정에서 겪는 어려움을 분석하고 그 해결을 돕기 위한 교사 발문의 역할 모색과 발문 기법 제안을 목적으로 하였다. 학생들의 형식적 정당화를 돕기 위한 교사 발문 목록들을 3차에 걸친 현장 적용을 통해 확인한 결과, 초등학교 영재학급 학생들은 형식적 정당화로 이행을 할 때 정당화를 시도해야하는 이유, 연역적 탐구에 대한 인식 부족, 유연한 탐구 방법에 대한 심리적 저항감으로 인해 어려움을 겪었다. 면담 분석 결과 학생들이 정당화의 필요성과 귀납적 탐구 결과의 한계를 체감할 수 있도록 교사가 태도면에서 출발하여 방법면과 내용면으로 구체화해갈 수 있도록 체계적인 발문을 준비하는 것이 중요함을 확인할 수 있었다. 이에 따라 내용면에서의 4가지와 절차면에서의 3가지 발문 기법을 제안하면서 논의를 바탕으로 발문 일람표와 그 흐름도를 제시하고 교사 발문의 역할이 주는 교육적 시사점을 논의하였다.

• 전자공학회논문지CI
• /
• 제47권1호
• /
• pp.146-151
• /
• 2010

온톨로지 내의 효율적 정보 탐색을 위한 질의 처리 부분은 온톨로지 응용의 측면에서 반드시 해결되어야 할 부분이다. 기존의 온톨로지에 대한 질의 처리 시스템은 온톨로지에 표현된 사실만을 분석하여, 단순 구조적 사실 정보만을 사용자에게 제공 함으로써 데이터베이스 시스템 및 텍스트 기반 정보처리 시스템과 크게 다른 점이 없었다. 사실상, 기존의 온톨로지 질의 시스템들에서 사용하고 있는 질의 언어의 구조나 형식이 데이터베이스 시스템의 질의 언어(SQL)에 모태를 두고 있으므로, 온톨로지와 데이터베이스의 질의 처리 및 그 결과는 거의 동일하다. 이에 본 연구에서는 온톨로지 사용의 효율성을 극대화하기 위해 온톨로지에 대한 단순 질의 처리가 아닌, 추론 규칙에 기반한 추론된 사실들을 모두 처리할 수 있는 온톨로지 추론 및 질의에 대한 통합 시스템 개발의 필요성을 인식하고, 온톨로지에 대한 효율적 질의 처리 방법을 연구하였다.

• 정보관리학회지
• /
• 제26권4호
• /
• pp.7-34
• /
• 2009

이야기 쓰기를 돕는 본문 및 문장 검색시스템의 구축을 위해서 (1) 이야기와 단락 및 문장의 구조를 분석하고 (2) 색인작성과 탐색 질문에 적용되는 언어 추론을 연구하였다. 이야기 쓰기에 필요한 이야기, 단락, 그리고 문장으로 구성된 사항 데이터베이스와 필요한 추론규칙으로 이루어진 지식베이스와 온톨로 지가 고안되었다. 추론의 기초인 실례(實例) 파일들은 시맨틱 웹 환경에서 작동될 마크업 언어 형식으로 만들어졌다. 시맨틱 웹 환경에서 실용적인 시스템이 되려면 단락과 문장을 정확히 대변하는 색인 방법론과 이를 정밀하게 지식베이스화 할 수 있는 마크업 언어의 창조가 필수적이라 사료된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (B)
• /
• pp.274-276
• /
• 2000

본 연구에서는 기존의 데이터 웨어하우징 기술과 웹 기반 기술을 통합한 웹 웨어하우징 기법에 다중 에이전트 패러다임을 적용하여 다중 에이전트 기반 웹 웨어하우징 시스템을 설계, 구현하였다. 시스템은 정보 검색 에이전트, 정보 통합 에이전트, 웹하우스 구축 에이전트로 구성된다. 정보 검색 에이전트는 여러 종류의 웹 자원을 수집한다. 정보 통합 에이전트는 정보 검색 에이전트에 의해 수집된 이형질적인 데이터를 일정한 형식으로 변환한다. 웹하우스 에이전트는 생성된 데이터를 사용하여 웹하우스를 구축하고 관리한다. 웹 데이터를 통합하기 위해 새로운 데이터 모델을 제안하였다. 의미를 갖는 지능적 객체를 생성하기 위해 여러 종류의 추론 에이전트들이 추론작업을 수행하고, 이들은 블랙보드 시스템을 통하여 작업을 통합한다. 본 시스템은 의미 정보 데이터를 사용하므로 웹 정보의 의미적 검색과 정보추출이 가능하다.

• 정보관리학회지
• /
• 제25권1호
• /
• pp.149-171
• /
• 2008

차세대 인터넷 기술로 각광받은 시맨틱 웹의 완전한 사용은 도메인 영역의 지식표현과 지식추론의 성능에 달려있다. 특히 표현된 지식을 기계가 이해하여 인간과 도메인들 간의 상호작용을 위해서는 더욱 형식적이고 명시적인 지식과 추론 표현이 기반된 웹 온톨로지 구축이 중요하다. 더구나 웹 온톨로지간의 상호작용은 시맨틱 웹의 기술적 완성을 위한 중요 요소이나 현재 웹 온톨로지의 구축을 위한 표준화된 모델링 방법의 부족으로 인해, 구축된 웹 온톨로지의 상호작용과 이해가 어려운 상황이다. 따라서 이같은 문제를 해결하기 위해 본 논문은 온톨로지의 지식 표현과 추론에 따른 단계를 명확하게 정의하고 정의된 각 단계에 따라 기술논리의 TBox와 ABox의 지식표현 구조와 SWRL 기반의 추론 규칙을 바탕으로 하는 웹 온톨로지 모델링 방법을 제안한다. 제안된 방법의 성능 검증을 위해 제안된 웹 온톨로지 모델링 과정에 따라 웹 온톨로지들을 구축하였고, 구축된 웹 온톨로지들의 추론에 따른 상호작용 성능을 실험하여 본 논문의 유용성을 입증하였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제17권4호
• /
• pp.359-380
• /
• 2007

본 연구는 초등학교 6학년 학생들을 대상으로 이들의 비례 추론 능력은 어떠한지, 다양한 상황에서 비례적 사고의 발현은 어떠한지, 이들의 비례적 사고에 영향을 미치는 요소는 무엇인지에 대해 알아보았다. 연구결과 선행연구에서 지적했듯이 도구적 이해에 의해 습득된 비례식은 형식적 알고리즘으로써 문제의 답을 구하는데 유용할 수 있지만 학생들의 비와 비례 개념 형성과 비례 추론 능력 향상을 위한 풍부한 학습 기회를 제공하지는 못했다. 학생들은 기존에 학습한 수학적 지식들, 특히 약수와 배수, 분수, 분수의 연산 등과 비례 상황을 통합할 때 비례 문제에 대한 해결 능력이 뛰어났으며, 부족한 수감각이나 연산감각 등은 비례적 사고를 어렵게 하였다. 그리고 수학이나 다른 교과목에서 경험한 문제 상황에서 비례적 사고를 어렵지 않게 할 수 있었으나, 친숙하지 않은 상황에서는 전혀 비례 상황을 인식하지 못하였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제32권2호
• /
• pp.111-119
• /
• 2005

전자카타로그는 상품에 관한 풍부한 의미를 포함하며 온톨로지가 적용될 여지가 높은 영역이다. 온톨로지는 사물의 본질과 사물간의 관계를 나타내는데, 전자카탈로그를 형식적(formal)인 온톨로지로 표현하는 것은 전자상거래 영역에서 중요하다. DL(Description Logic)은 현재 사용되는 여러 온톨로지 언어의 이론적 기반을 제공한다. 본 논문은 DL 언어를 사용해 전자카타로그를 형식적으로 온톨로지 모델링 한다. 기본적인 모델링 구성요소 집합은 화장 개체 관계(Extended Entity Relationship)로 개념적으로 나타내고, DL 언어로 대응해서 변환한다. EER로 나타낼 수 없는 부가적인 의미적 지식은 직접 DL언어로 표현한다. 논문에서 제시하는 모델링 언어는 언어의 표현력과 복잡도를 고려할 때, 현실적으로 추론에 적합하다고 알려져 있는 SHIQ(d) 언어 범위에 기반하고 있다. 모델링한 온톨로지 e-카타로그의 활용 이해를 돕기 위해 시나리오를 제시하고, 실제 DL 추론 도구를 통해 그 시험적 검증을 한다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제12권2호
• /
• pp.117-132
• /
• 2009

2007년도 개정교육과정에서 비례 개념은 이전 교육 과정보다 하향조정되어 5학년에 도입된다. 비례 개념이 더 빠른 학년에 도입된다면 학생들이 비례문제를 해결하는 방법은 더 다양하고 비형식적인 전략이 사용될 가능성이 논다. 또한, 학생들이 비례문제에서 보이는 오류의 유형도 다양할 것이다. 따라서, 비례 개념을 더 이른 나이부터 강화하여 지도할 때 학생들의 비형식적 지식과 형식적 접근 사이의 간극을 없애려면 학생들이 비례 문제를 해결할 때 보이는 전략과 오류에 대한 연구가 필요하다. 본 연구에서는 비례 추론에 대한 선행연구들을 검토하여 비례 문제 해결의 전략과 오류를 정리하였다.