• Annual Conference on Human and Language Technology
• /
• 2020.10a
• /
• pp.211-214
• /
• 2020

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

• Journal of KIISE:Software and Applications
• /
• v.26 no.2
• /
• pp.203-212
• /
• 1999

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

• Journal of Elementary Mathematics Education in Korea
• /
• v.20 no.1
• /
• pp.131-148
• /
• 2016

Mathematical formal justification may be seen as a bridge towards the proof. By requiring the mathematically gifted students to prove the generalized patterned task rather than the implementation of deductive justification, may present challenges for the students. So the research questions are as follow: (1) What are the difficulties the mathematically gifted elementary students may encounter when formal justification were to be shifted into a generalized form from the given patterned challenges? (2) How should the teacher guide the mathematically gifted elementary students' process of transition to formal justification? The conclusions are as follow: (1) In order to implement a formal justification, the recognition of and attitude to justifying took an imperative role. (2) The students will be able to recall previously learned deductive experiment and the procedural steps of that experiment, if the mathematically gifted students possess adequate amount of attitude previously mentioned as the 'mathematical attitude to justify'. In addition, we developed the process of questioning to guide the elementary gifted students to formal justification.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.47 no.1
• /
• pp.146-151
• /
• 2010

For an application of ontology, query processing is mandatory field for efficient information search in the ontology. Other query processing systems tend to analyze only facts and to simply provide structural information for users. In fact, the systems do not have big difference with database systems or text based information processing systems. Therefore, in this research, the method which can provide the inferred information based on axioms is suggested in order to maximize reusability of ontology.

• Journal of the Korean Society for information Management
• /
• v.26 no.4
• /
• pp.7-34
• /
• 2009

Structures of stories, paragraphs, and sentences and inferences applied to indexing and searching were studied to construct the full-text and sentence retrieval system for storytelling. The system designed the database of stories, paragraphs, and sentences and the knowledge-base of inference rules to aid to write the story. The Knowledge-base comprised the files of story frames, paragraph scripts, and sentence logics made by mark-up languages like SWRL etc. able to operate in semantic web. It is necessary to establish more precise indexing language represented the sentences and to create a mark-up languages able to construct more accurate inference rules.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.274-276
• /
• 2000

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

• Journal of the Korean Society for information Management
• /
• v.25 no.1
• /
• pp.149-171
• /
• 2008

Actually a diffusion of a Semantic Web application and utilization are situations insufficient extremely. Technology most important in Semantic Web application is construction of the Ontology which contents itself with characteristics of Semantic Web. Proposed a suitable a Method of Building Web Ontology for characteristics of Semantic Web and Web Ontology as we compared the existing Ontology construction and Ontology construction techniques proposed for Web Ontology construction, and we analyzed. And modeling did Ontology to bases to Description Logic and the any axiom rule that used an expression way of SWRL, and established Inference-based Web Ontology according to proposed ways. Verified performance of Ontology established through Ontology inference experiment. Also, established an Web Ontology-based Intelligence Image Retrieval System, to experiment systems for performance evaluation of established Web Ontology, and present an example of implementation of a Semantic Web application and utilization. Demonstrated excellence of a Semantic Web application to be based on Ontology through inference experiment of an experiment system.

• Journal of Educational Research in Mathematics
• /
• v.17 no.4
• /
• pp.359-380
• /
• 2007

This study was conducted with two 6-graders to identify how were their proportional reasoning abilities, whether they evolved proportional thinking in a various context, and what had influence on their proportional thinking. The findings, as previous researches noted, suggested that the proportional expression obtaining by instrumental understanding could not provide rich opportunities for students to improve understanding about ratio and proportion and proportional reasoning abilities, while being useful for determining the answers. The students were able to solve proportional problems with incorporating their knowledge of divisor, multiples, and fraction into proportional situations, but not the lack of number sense. The students easily solved proportional problems experienced in math and other subjects but they did not notice proposition in problems with unfamiliar contexts.

• Journal of KIISE:Databases
• /
• v.32 no.2
• /
• pp.111-119
• /
• 2005

Electronic catalog contains ich semantics associated with products, and serves as a challenging practical domain for ontology application. Ontology is concerned with the nature and relations of being. It can play a crucial role in e-commerce as a formalization of e-Catalogs. Description Logics provide a theoretical core for most of the current ontology languages. In this paper, we present an ontological model of e-Catalogs in DL. We take an Extended Entity Relationship approach for conceptual modeling method, and present the fundamental set of modeling constructs and corresponding description language representation for each construct. Additional semantic knowledge can be represented directly in DL. Our modeling language stands within SHIQ(d) which is known reasonably practical with regard to its expressiveness and complexity. We illustrate sample scenarios to show how our approach may be utilized in modeling e-Catalogs, and also implement the scenarios through a DL inference tool to see the practical feasibility.

• Education of Primary School Mathematics
• /
• v.12 no.2
• /
• pp.117-132
• /
• 2009

The purpose of this study was analysis on types of strategies and errors when the sixth grade students were solving proportion problems of mathematics textbooks. For this study, proportion problems in mathematics textbooks were investigated and 17 representative problems were chosen. The 277 students of two elementary schools solved the problems. The types of strategies and errors in solving proportion problems were analyzed. The result of this study were as follows; The percentage of correct answers is high if the problems could be solved by proportional expression and the expression is in constant rate. But the percentage of correct answers is low, if the problems were expressed with non-constant rate.