• The KIPS Transactions:PartD
• /
• v.11D no.7 s.96
• /
• pp.1527-1536
• /
• 2004

For using the knowledge of experts diversely and efficiently, it is very important that the system could represent the complex knowledge in well structured manner and also adapt well to the frequent schema changes. In this paper, we propose an efficient method for knowledge base management by using XML based templates. In our proposed method, to solve the inefficiency of management of many XML documents, we represent the complex knowledge on XML-based templates, and manage the templates structurally by using a meta-template that defines relationship among the templates. In order to show the effectiveness of our method, we developed a knowledge base to formulate an exercise prescription for a subject and an application program to classify the subject's fitness. The experimental study shows that XML-based templates provide a flexible, extensible and structured way of representing expert knowledge. The inference using XML-based templates can be controlled systematically and efficiently by using meta-template.

• Journal of Educational Research in Mathematics
• /
• v.22 no.3
• /
• pp.331-352
• /
• 2012

The purpose of the study is to verify what cognitive variables have significant effect on proportional problem solving. For this aim, the study classified proportional problem into well-structured, moderately-structured, ill-structured problem by the level of structuredness, then classified the cognitive variables as well into factual algorithm knowledge, conceptual knowledge, knowledge of problem type, quantity change recognition and meta-cognition(meta-regulation and meta-knowledge). Then, it verified what cognitive variables have significant effects on 6th graders' proportional problem solving abilities through multiple regression analysis technique. As a result of the analysis, different cognitive variables effect on solving proportional problem classified by the level of structuredness. Through the results, the study suggest how to teach and assess proportional reasoning and problem solving in elementary mathematics class.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.13-15
• /
• 2002

오늘날 소프트웨어는 개발 방법론을 이용하여 양적으로나 질적으로 많은 발전이 이루어졌다. 이와 더불어 소프트웨어에 대한 소비자들의 요구와 지식 수준 또한 같이 높아짐으로써 소프트웨어 인증에 대한 관심과 인식도 같이 높아지고 있는 추세이다. 본 논문에서는 소프트웨어 품질 인증을 위한 메타 모델의 필요성을 알아보고 기존 연구[1]되었던 메타 모델의 개념 수준을 더욱 발전시켰다. 그리고 간단하지만 실질적인 예제를 통해서 메타 모델과 인증 모델, 인증 프로그램과의 관계를 명확하게 정립하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.169-171
• /
• 2002

MIRAGE는 XML을 기반으로 하는 가상문서라는 개념을 도입하여 인터넷 상의 정보 공유를 가능하게 하여 새로운 지식을 생성할 수 있도록 한 디지털도서관 시스템이다. OAI는 컨텐츠에 대한 메타데이터를 이용해서 디지털도서관 안에 있는 정보를 상호이용하기 위한 프로토콜이다. 본 논문에서는 MIRAGE에 OAI 지원 기능을 첨가하여 MIRAGE 시스템에 의해 만들어진 가상문서에 대한 메타데이터를 제공하는 data provider를 구현하여 다른 디지털도서관과 더불어 정보를 상호이용할 수 있도록 하였다. 또한 원문에 대한 접근을 원하는 사용자를 위해서 메타데이터의 원문에 직접 접근할 수 있도록 하였다.

• Annual Conference on Human and Language Technology
• /
• 2022.10a
• /
• pp.369-373
• /
• 2022

기존의 관계 추출 태스크에서의 많은 연구들은 사전학습 언어모델을 파인튜닝하여 뛰어난 성능을 달성해왔다. 하지만, 파인튜닝은 사전학습 시의 학습 기법과의 간극으로 인해 일반화 능력을 저해한다. 본 연구는 다운스트림 태스크를 사전학습의 Masked Language Modeling (MLM) 기법을 통해 해결하는 프롬프트 기반의 학습 기법을 활용하여, 특정 한국어 도메인에서의 관계 추출을 위한 프롬프트 기반 파인튜닝 방법론을 제안한다. 실험의 경우, 도메인의 특성이 뚜렷한 전통문화유산 말뭉치를 대상으로 실험을 진행하여 본 방법론의 도메인 적응력을 보이며, 메타 정보 즉, 개체 유형 및 관계 유형의 의미론적 정보를 일종의 지식 정보로 활용하여 프롬프트 기반 지식 주입의 효과성을 검증한다. 프롬프트에의 메타 정보의 주입과 함께 프롬프트 기반으로 파인튜닝된 모델은 오직 MLM 기법만을 이용하여 태스크를 수행하여 기존 파인튜닝 방법론 대비 파라미터 수가 적음에도, 성능 면에서 대부분 소폭 상승하는 경향을 보여줌으로써 그 효과성 및 효율성을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.21-24
• /
• 2011

본 논문은 확장성(scalability)과 견고함(robustness)을 강조하는 새로운 형태의 병렬 분산 메타-휴리스틱 프레임워크를 제안하고 있다. PADO (Parallel And Distributed Optimization framework) 라고 이름 지어진 본 프레임워크는 이종의 계산 및 통신 자원들을 활용하여 메타-휴리스틱 알고리즘을 병렬화하고 스케일러블한 속도 향상을 얻을 수 있다. 본 프레임워크는 기존의 시퀀셜(sequential) 최적화 프레임워크에 메타-휴리스틱 알고리즘의 병렬화 기법중 하나인 island 모델을 개선하여 구현하였다. 본 연구는 부분적으로 정렬된 지식 공유 방법(Partially Ordered Knowledge Sharing) 모델을 이용하여 병렬 환경 코디네이션(coordination) 오버헤드를 줄였고 계산 노드에 대한 확장성을 얻었다. 본 프레임워크를 통해 기존의 많은 메타-휴리스틱 알고리즘들을 재사용 할 수 있고 다양한 분야의 최적화 문제에 적용 할 수 있으며 계산량이 많은 메타-휴리스틱 알고리즘을 병렬화를 통해 문제를 푸는 시간을 단축 할 수 있다. 순회 판매원 문제(Traveling Salesman Problem)를 통해 프레임워크의 실효성을 검증하였다.

• Journal of The Korean Association For Science Education
• /
• v.37 no.4
• /
• pp.539-552
• /
• 2017

The purpose of this study is to investigate the trends of model and modeling-related research in science education from 1989 to 2016 in Korea. Eighty-five (85) models and modeling-related journal articles were extracted from the KCI-listed journals and analyzed according to the criteria such as participants, research fields, research design, methods, data collection and elements of metamodeling knowledge. According to research participants, three out of four (3/4) were studied for students and the rest were for teachers. More than half of the studies for students were conducted with middle and high school students. The research fields of models and modeling-related researches in science education were comprised of earth science, chemistry, biology science, physics and science course. With regards to research design, the highest type is qualitative research and followed by hybrid research and quantitative research. According to research methods, the most numerous researches that were analyzed was the effectiveness of program, which was a developed model and modeling-related research. The analysis from the elements of the metamodeling knowledge showed most of model and modeling-related research utilized for the change of scientific concept or understanding.

• Journal of the Korean Society for Library and Information Science
• /
• v.53 no.1
• /
• pp.33-55
• /
• 2019

Knowledge information resources produced by policy research institutes were categorized into knowledge information resources derived from research processes, knowledge information resources derived from research results, and knowledge information resources processed from research results, respectively. The names of these knowledge information resources and the metadata items were investigated on 13 policy research institute websites. In addition, the study examined the provision status of 8 Knowledge information resources specialized by type on the websites and confirmed that they work as knowledge resource management systems for each corresponding area. The results of the study suggest constructing a collective search system for research results based on the same research topics, developing a knowledge map of policy information, compressing reports for policy makers, building subject expert databases, producing video reports, developing metadata standards, and creating statistical databases and indicators by subject areas.

• Annual Conference of KIPS
• /
• 2006.05a
• /
• pp.1397-1400
• /
• 2006

지식 근로자들은 회의 문서 작업 및 활용에 상당한 시간을 할애하고 있다. 하지만 문서들의 관계를 고려하지 않은 메타데이터의 처리와 기존의 계층적인 네비게이션 방식은 사용자가 한 눈에 여러 문서들의 메타데이터 관계를 파악하기가 어려웠다. 하지만 본 논문에서는 회의 문서의 관계성 메타데이터를 평면적으로 펼쳐 조회할 수 있도록 프로젝트, 회의, 작업 문서들의 관계에 기반한 동적 엔터티 표현 기법을 제안한다. 이를 통해 사용자는 메타데이터의 계층에 대한 내용을 전혀 이해하고 있지 않아도 관련된 정보를 한 눈에 확인 할 수 있게 된다.

• Journal for History of Mathematics
• /
• v.23 no.2
• /
• pp.23-56
• /
• 2010

본 논문의 목적은 집합론이 메타논리학에 필수불가결하다는 주장, 즉 필수불가결성 논제에 반대하는 것이다. 만일 집합론이 메타논리학에 필수불가결하다면, 집합론을 포함하게 되는 논리적 탐구는 논리학의 가장 근본적인 특성들인 주제중립성과 보편적 적용가능성을 결여하게 되기 때문이다. 논리학의 주제중립성은 논리학의 명제들이 개별 과학과 같은 특정한 지식 분야에 국한되지 않는다는 것을 말하며, 논리학의 보편적 적용가능성은 논리학의 명제들과 추론 규칙들이 모든 과학 분야들과 합리적 담론들에서 사용될 수 있다는 것을 말한다. 나아가 주제중립성과 보편적 적용가능성을 지니기 위해서는, 논리학을 기술하는 메타논리적 용어들과 개념들 역시 이러한 특성들을 지녀야만 한다. 하지만 필수불가결성 논제를 받아들이게 되면, 우리는 논리학이 적용되는 모든 분야에서 집합론의 용어들과 집합론적 개념들이 필수불가결하다는 것을 받아들여야만 한다. 그리고 이는 분명 불합리한 일이다. 필수불가결성 논제가 그럴듯하지 않다는 것을 보이기 위해서 나는 집합과 관련된 존재론적 문제를 살펴볼 것이다. 이러한 탐구는 집합이 어떤 식으로 이해되든지 간에 존재론적으로 보수적인 "논리적 존재자" 로 간주되기 어렵다는 것을 보여줄 것이다.