• Journal of KIISE:Software and Applications
• /
• v.26 no.11
• /
• pp.1324-1331
• /
• 1999

물체의 공간에서의 운동을 다루는 공간 추론의 연구에서 충돌을 이해하는 것은 중요하다. 본 논문에서는 정성적 충돌 이론과 추론 기법을 소개하고자 한다. 충돌 해석에 있어 관련된 물체의 공간적 속성과 운동방향의 상호작용을 분석하여 충돌로 인한 힘과 운동 방향의 전달을 계산하였다. 추론 과정에 있어서는 충돌이 갖는 특성인 불연속적인 변화에 대한 분석과 회전 운동으로 인한 변화의 분석이 소개되었다. 제안된 충돌 이론과 추론 기법은 구현되어 자동차 충돌 사고의 충돌에 적용되어 유효성을 입증할 수 있었다. Abstract Understanding collision is important in spatial reasoning problems that study the motions of objects. This paper introduces qualitative collision theory and reasoning techniques. Force and motion transfers are computed by analyzing the interactions of the spatial properties and motions of the objects. This paper also presents inference techniques for handling discontinuous changes and angular changes by rotation. These theories and inference techniques are implemented and applied to real car-to-car collision accidents. The test results verify the reliabilities of our techniques.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06c
• /
• pp.336-339
• /
• 2008

유비쿼터스 지능공간은 개인이 원하는 서비스를 능동적이며 효율적으로 제공하는 공간이다. 그러한 환경을 제공하기 위해서 올바른 온톨로지의 모델링과 적절한 추론이 필요하다. 온톨로지 모델링의 어려움을 생각하며 그 방법을 모색한다. 또한 온톨로지 추론 엔진 중 RacerPro와 JESS의 특징을 이용하여 온톨로지의 보다 효율적인 활용방안을 찾는다.

• Journal of Intelligence and Information Systems
• /
• v.4 no.2
• /
• pp.35-44
• /
• 1998

자동차 사고 재구성이란 사고 상황으로부터 가능한 모든 정보를 수집, 분석하여 사고 거동 및 원인을 규명하는 작업을 의미한다. 본 논문에서는 자동차 사고 재구성에 직접 적용이 가능하도록 개발된 범용성의 정성적 충돌 전문가 시스템의 Prototype을 소개한다. 이 시스템은 충돌 전 물체의 운동 방향과 공간에서의 정보가 주어졌을 때, 충돌로 인한 물체의 순간적인 운동을 정성적으로 예측한다. 분야 모델은 정성적 충돌 이론과 정성적 계산을 제공하는 정성적 수학의 지식 베이스로 구성된다. 충돌로 인한 물체의 운동을 해석하는 데 있어, 충돌 전 물체의 운동 방향과 충돌시의 기하학적 배치사이의 상호 작용을 분석하는 것이 그 핵심을 이루고 있다. 본 논문에서는 그 상호 작용을 밝혀 내어 정성적 표현 방식에 의거하여 해석하는 충돌 이론을 소개하였다. 추론 기관을 설계하는데 있어서는 동력학 정보뿐만 아니라 공간 정보를 추론하기 위한 기법이 제시되었다.

• KIISE Transactions on Computing Practices
• /
• v.21 no.7
• /
• pp.452-457
• /
• 2015

In this paper, we propose a spatial query processor, SQUERY, which can derive rich query results through spatial reasoning on the initial knowledge base, as well as, process both qualitative and quantitative queries about the topological and directional relationships between spatial objects. In order to derive richer query results, the query processor expands the knowledge base by applying forward spatial reasoning into the initial knowledge base in a preprocessing step. The proposed query processor uses not only qualitative spatial knowledge describing topological/directional relationship between spatial objects, but also utilizes quantitative spatial knowledge including geometric data of individual spatial objects through geometric computation. The results of an experiment with the OSM(Open Street Map) spatial knowledge base demonstrates the high performance of our spatial query processing system.

• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.10
• /
• pp.397-406
• /
• 2014

In order to answer the questions successfully on behalf of the human in DeepQA environments such as Jeopardy! of the American quiz show, the computer is required to have the capability of fast temporal and spatial reasoning on a large-scale commonsense knowledge base. In this paper, we present a scalable spatial reasoning algorithm for deriving efficiently new directional and topological relations using the MapReduce framework, one of well-known parallel distributed computing environments. The proposed reasoning algorithm assumes as input a large-scale spatial knowledge base including CSD-9 directional relations and RCC-8 topological relations. To infer new directional and topological relations from the given spatial knowledge base, it performs the cross-consistency checks as well as the path-consistency checks on the knowledge base. To maximize the parallelism of reasoning computations according to the principle of the MapReduce framework, we design the algorithm to partition effectively the large knowledge base into smaller ones and distribute them over multiple computing nodes at the map phase. And then, at the reduce phase, the algorithm infers the new knowledge from distributed spatial knowledge bases. Through experiments performed on the sample knowledge base with the MapReduce-based implementation of our algorithm, we proved the high performance of our large-scale spatial reasoner.

• School Mathematics
• /
• v.9 no.3
• /
• pp.353-373
• /
• 2007

The purpose of this study was to provide instructional suggestions by investigating the spatial sense and spatial reasoning ability of 6th grade students. The questionnaire consisted of 20 questions, 10 for spatial visualization and 10 for spatial orientation. The number of subjects for the survey was 145. The processes through which the students solved the problems were the basis for the assessment of their spatial reasoning. The result of the survey is as follows: First, students performed better in spatial visualization than in spatial orientation. With regard to spatial visualization, they were better in transformation than in rotation. With regard to spatial orientation, students performed better in orientation sense and structure cognitive ability than in situational sense. Second, the students that weren't excellent in spatial visualization tended to answer the familiar figures without using mental images. The students who lacked spatial orientation experienced difficulties finding figures observed from the sides. Third, students had high frequency rate on the cognition and use of transformation, the development and application of visualization methods and the use of analysis and synthesis. However they had a lower rate on a systematic approach and deductive reasoning. Further detailed investigation into how students use spatial reasoning, and apply it to actual teaching practice as a device for advancing their geometric thinking is necessary.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2010.09a
• /
• pp.65-67
• /
• 2010

위치기반서비스(LBS)는 사용자의 위치를 기반으로 다양한 정보제공 서비스를 하고 있다. 최근 연구에서는 단순한 정보제공이 아닌 사용자의 상황인식(Context-Aware)을 통하여 사용자에게 적합한 정보를 제공해주는 지능화된 서비스를 제공하고 있다. 하지만 현재 연구들은 사용자의 기본정보와 선호도정보를 이용한 단일기준 추론을 통하여 사용자에게 정보를 제공해주고 있으며, 이것은 사용자의 다양한 기준의 의사결정을 반영하지 못하는 한계점이 있다. 이러한 한계점을 극복하기 위하여 본 연구에서는 사용자의 정보, 선호도, 공간지리선호도 정보 Ontology를 구축하고, 의사 결정 기준에 가중치를 부여하는 Cost Value Ontology를 구축하여, 다 기준 의사추론을 통해 사용자에게 적절한 추천 결과가 도출되는 Ontology 추론시스템을 제안한다. 사용자들의 개인적인 특성 지식과 공간지리 선호도 지식을 구축할 수 있으며, 이러한 특성으로 구축된 지식 기반 하에 입력된 사용자 정보와 추론을 통하여 이 시스템을 통해 사용자의 선호도 Ontology를 구축할 수 있으며 이를 이용한 추론을 통하여 사용자의 현재상황에 적합한 결과를 도출함을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.532-534
• /
• 2004

본 논문은 분석가들에게 Naive Geography에 기반 한 형상 추출기술과 상식적 공간추론 기술을 제공하는 문제 해결 환경인 NG Analyst의 개발 사례에 대해 다뤘다. 지형과 각각의 객체에 대한 구성 정보는 분산된 지형공간의 지식을 사실적으로 묘사하는 추론집합에 의해 표현되며 사용자가 형상정보를 인지적으로 이해할 수 있도록 3차원으로 표현한다. 여러 그래픽 적인 요소들로 표현된 Naive Geography 정보들은 분석가들에게 실세계의 공간과 객체들을 유사하게 구성하여 제공함으로서 직관적으로 이해하고 상호작용 할 수 있는 문제 해결 환경을 제공한다.

• Journal of Elementary Mathematics Education in Korea
• /
• v.14 no.2
• /
• pp.401-420
• /
• 2010

The purpose of this research is to find out effectiveness of geometry learning through spatial reasoning activities on mathematical problem solving ability and mathematical attitude. In order to proof this research problem, the controlled experiment was done on two groups of 6th graders in N elementary school; one group went through the geometry learning style through spatial reasoning activities, and the other group went through the general geometry learning style. As a result, the experimental group and the comparing group on mathematical problem solving ability have statistically meaningful difference. However, the experimental group and the comparing group have not statistically meaningful difference on mathematical attitude. But the mathematical attitude in the experimental group has improved clearly after all the process of experiment. With these results we came up with this conclusion. First, the geometry learning through spatial reasoning activities enhances the ability of analyzing, spatial sensibility and logical ability, which is effective in increasing the mathematical problem solving ability. Second, the geometry learning through spatial reasoning activities enhances confidence in problem solving and an interest in mathematics, which has a positive influence on the mathematical attitude.

• Korean Journal of Cognitive Science
• /
• v.20 no.4
• /
• pp.439-479
• /
• 2009

This paper examines the aspects of the inferences between the dimensional terms in Korean, and attempts to give an account of the inference patterns based on the interaction of gestalt and position properties of spatial objects. Following Lang (1987) and Lang, Carstensen & Simmons (1991), we advance the idea that the inferences are possible for the same axis of a spatial object, if some contextually induced positional specifications are reversed to the inherent proportion schema. Two simple inference rules are proposed and justified. They are applied under the assumption that the inferences of the dimensional terms are drawn in a unidirectional way, i.e, from the Primary Perceptional Space to the Inherent Proportional Schema.