• 정보과학회 논문지
• /
• 제41권10호
• /
• pp.762-773
• /
• 2014

시맨틱 웹상에서 RDFS로 표현된 데이터의 사용 증가로 인하여, 대용량 데이터의 추론에 대한 많은 요구가 생겨나고 있다. 많은 연구자들은 대용량 온톨로지 추론을 수행하기 위해서 하둡과 같은 고가의 분산 프레임워크를 활용한다. 그러나, 적절한 사이즈의 RDFS 트리플 추론을 위해서는 굳이 고가의 분산 환경 시스템을 사용하지 않고 단일 머신에서도 논리적 프로그래밍을 이용하면 분산 환경과 유사한 추론 성능을 얻을 수 있다. 본 논문에서는 단일 머신에 논리적 프로그래밍 방식을 적용한 대용량 RDFS 추론 기법을 제안하였고 다중 머신을 기반으로 한 분산 환경 시스템과 비교하여 2억개 정도의 트리플에 대한 RDFS 추론 시스템을 적용한 경우 분산환경과 비슷한 성능을 보이는 것을 실험적으로 증명하였다. 효율적인 추론을 위해 온톨로지 모델을 세부적으로 분리한 메타데이터 구조와 대용량 트리플의 색인 방안을 제안하고 이를 위해서 전체 트리플을 하나의 모델로 로딩하는 것이 아니라 각각 온톨로지 추론 규칙에 따라 적절한 트리플 집합을 선택하였다. 또한 논리 프로그래밍이 제공하는 Unification 알고리즘 기반의 트리플 매칭, 검색, Conjunctive 질의어 처리 기반을 활용하는 온톨로지 추론 방식을 제안한다. 제안된 기법이 적용된 추론 엔진을 LUBM1500(트리플 수 2억개) 에 대해서 실험한 결과 166K/sec의 추론 성능을 얻었는데 이는 8개의 노드(8 코아/노드)환경에서 맵-리듀스로 수행한 WebPIE의 185K/sec의 추론 속도와 유사함을 실험적으로 증명하였다. 따라서 단일 머신에서 수행되는 본 연구 결과는 트리플의 수가 2억개 정도까지는 분산환경시스템을 활용하지 않고도 분산환경 시스템과 비교해서 비슷한 성능을 보이는 것을 확인할 수 있었다.

• 한국과학교육학회지
• /
• 제17권3호
• /
• pp.323-332
• /
• 1997

In order to use analog more systematically in science class, an instructional model was designed on the basis of analogical reasoning processes (encoding, inference, mapping, application, and response) in the Sternberg's component process theory. The model has five phases (introducing target context, cue retrieval of analog context, mapping similarity and drawing target concept, application, and elaboration), and the instructional effects of using the model upon students' comprehension of science concepts and motivation level of learning were investigated. The treatment and control groups (1 class each) were selected from 8th-grade classes and taught about chemical change and chemical reaction for the period of 10 class hours. The treatment group was taught with the materials based on the model, while the control group was taught in traditional instruction without using analog. Before the instructions, modified versions of the Patterns of Adaptive Learning Survey and the Group Assessment of Logical Thinking were administered, and their scores were used as covariates for students' conceptions and motivational level of learning, respectively. Analogical reasoning ability test was also administered, and its score was used as a blocking variable. After the instructions, students' conceptions were measured by a researcher-made science conception test, and their motivational level of learning was measured by a modified version of the Instructional Materials Motivation Scale. The results indicated that the adjusted mean score of the conception test for the treatment group was significantly higher than that of the control group at .01 level of significance. No significant interaction between the instruction and the analogical reasoning ability was found. Although the motivational level of learning for the treatment group was higher than that for the control group, the difference was found to be statistically insignificant. Educational implications are discussed.

• 한국전자거래학회지
• /
• 제1권2호
• /
• pp.161-173
• /
• 1996

It Is a typical scenario in concurrent engineering/design that different perspectives of each team members participating In the project exist, and those perspectives lead to conflicting decisions. The model 'resolution network' proposed in this work provides system-mediated resolution for all related team engineers to consider to optimize the manufacture in general. This paper focuses on development of the general architecture of the model and a search engine called Mediator to determine a resolution network from a given constraint network. The Mediator manages the constraint network, determines the most optimistic resolution called optimal point in terms of satisfying overall production goal , and use the optimal point to mediate controversial issues among teams. The biggest merit of our model is that it provides teams with resolution with logical and rational reasoning.

• 한국과학교육학회지
• /
• 제12권3호
• /
• pp.91-107
• /
• 1992

The Purpose of this study was to present the procedures and methods of ordering theory,and to search for a learning hierarchy among science process skills in each Piagetian cognitive reasoning level. One of the purpose of this is not to determine the clear and exact hierarchy but rather to demonstrate how ordering theoretic methods and procedures can be used to determine the hierarchy of logical relationships among a set of test items or the testing of a hypothesized hierarchy. Ordering theory was used to analyze five science process skills collected from 509 high school students. Ordering Theory has as its primary intent either the testing of hypothesized hierarchies among items at the determination of hierchies among items. Hierarchical relationships were identified within five science process skills. The results will be helpful in giving useful inform at ions to classroom teachers and science curriculum developer.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제14권3호
• /
• pp.219-231
• /
• 2010

Mathematically, a proof is to create a convincing argument through logical reasoning towards a given proposition or a given statement. Mathematics educators have been working diligently to create environments that will assist students to perform proofs. One of such environments is the use of dynamic-geometry-software in the classroom. This paper reports on a case study and intends to probe into students' own thinking, patterns they used in completing certain tasks, and the extent to which they have utilized technology. Their tasks were to explore the shape-to-shape, shape-to-part, and part-to-part interrelationships of geometric objects when dealing with certain geometric problem-solving situations utilizing dissection-motion-operation (DMO).

• 한국경영과학회지
• /
• 제32권2호
• /
• pp.123-140
• /
• 2007

This study focuses on establishing theoretically-reasonable framework of evaluation areas and items for the informatization program and analyzing the weights for each area and item by means of the AHP. To obtain the goal of this research, firstly, based on broadly reviewing previous literature and logical reasoning, the evaluation criteria were Identified and conceptualized, which were 3 evaluation phases, 5 evaluation areas, and 22 evaluation items. Secondly, The data used for calculating the weight values for the evaluation criteria were collected from 48 academic and practical experts in the field of the informatization program promotion using internet survey. Thirdly, the relative weights among evaluation phases, evaluation areas, and its items were derived by AHP analysis. The findings of this study are thought not only to be useful as a practical guideline in performing evaluating the informatization program but also to provide significant basis for constructing the theoretical framework of evaluating method and management of the informatization program.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2007년도 추계학술대회 및 정기총회
• /
• pp.267-272
• /
• 2007

One of the roles of the Semantic Web services is to execute dynamic intra-organizational services including the integration and interoperation of business processes. Since different organizations design their processes differently, the retrieval of similar semantic business processes is necessary in order to support inter-organizational collaborations. Most approaches for finding services that have certain features and support certain business processes have relied on some type of logical reasoning and exact matching. This paper presents our approach of using imprecise matching fur expanding results from an exact matching engine to query the OWL MIT Process Handbook. In order to use the MIT Process Handbook for process retrieval experiments, we had to export it into an OWL-based format. We model the Process Handbook meta-model in OWL and export the processes in the Handbook as instances of the meta-model. Next, we need to find a sizable number of queries and their corresponding correct answers in the Process Handbook. We devise diverse similarity algorithms based on values of process attributes and structures of business processes. We perform retrieval experiments to compare the performance of the devised similarity algorithms.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2003년도 추계학술발표대회(상)
• /
• pp.342-345
• /
• 2003

자동운전과 안전운전 구현을 위한 첨단 차량 및 도로 시스템(AVHS : Advanced Vehicle & Highway Systems)의 한 분야인 충돌 방지 시스템을 완성하기 위해서는 차량간의 상대 거리, 차량의 속도, 차선의 굴곡 정도, 경사도등을 사용해서 종합적으로 상황 판단을 내려야 한다. 본 논문에서는 이들 요소들중에서 차선의 굴곡도 판단을 근사 추론을 이용하여 실험하였다. 근사추론을 이용한 것은 차선의 굴곡도를 계산형으로 파악할 때의 단점인 계산 시간 오버헤드(overhead), 또 그에 따른 실시간 처리의 어려움, 고가의 장비필요성 등을 극복하기 위해서이며, 실험은 Fuzzy Logical Inference 기법을 사용하였다. 본 연구에서는 실제 도로상에서의 계산된 굴곡도와 실험된 시스템 결과와의 유사성과 그 시스템의 사용 가용성(feasibility)을 검정하였다.

• Management Science and Financial Engineering
• /
• 제7권1호
• /
• pp.27-39
• /
• 2001

The multi-projective model considers attributes and the relationships among attributes called projections. The critical features of the multi-projective model are the way of relating attributes in the description of the system, the way of reasoning incomplete projections, and the determination of connected patterns between projection. In order to get a full picture of the system, we build a set of projections. The multi-projective model can be thought of as projections of a multi-dimensional reality onto simplified “model space”. The multi-projective database modeling approach used in this paper unified the ideas and terminology of various database models. Most importantly, the multi-projective modeling is presented as a tool of database design in the relational and other database models.

• 한국CDE학회논문집
• /
• 제5권4호
• /
• pp.359-372
• /
• 2000

Current CAD systems are good enough to be used as a tool to manipulate three-dimensional shapes. This is a very important capability to be owned by a design tool because a major portion of designers'activities is spent on the shape manipulation in the design detailing process. However, the whole design process involves a lot more than the, shape manipulation. Currently, these remaining tasks, mostly logical reasoning process for the function realization together with structure decomposition in the top-down manner, are processed in the designer's brain. To support the top-down functional design process of a mechanical product, a system integrating the functional, structural and geometrical aspects of a product design in a unified environment is presented. Using this system, a designer can perform function decomposition, structure decomposition, and geometry detailing, and function verification activities in parallel and the whole design process it modeled resultantly. Once the whole design process is modeled, any redesign task can be automatically performed with the verification of the desired functions.