• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.5
• /
• pp.231-242
• /
• 2016

In order to meet rapid changes of Web information, it is necessary to extend the current Web technologies to represent both the valid time and location of each fact and knowledge, and reason their relationships. Until recently, many researches on qualitative temporal reasoning have been conducted in laboratory-scale, dealing with small knowledge bases. However, in this paper, we propose the design and implementation of a parallel qualitative temporal reasoner, MRQUTER, which can make reasoning over Web-scale large knowledge bases. This parallel temporal reasoner was built on a Hadoop cluster system using the MapReduce parallel programming framework. It decomposes the entire qualitative temporal reasoning process into several MapReduce jobs such as the encoding and decoding job, the inverse and equal reasoning job, the transitive reasoning job, the refining job, and applies some optimization techniques into each component reasoning job implemented with a pair of Map and Reduce functions. Through experiments using large benchmarking temporal knowledge bases, MRQUTER shows high reasoning performance and scalability.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.152-157
• /
• 2006

상황 정보 관리 시스템은 외부에서 입력된 상황 정보의 숨겨진 의미를 파악하여 상황인지 에이전트 및 상황인지 브로커가 효과적으로 상황정보를 획득하도록 한다. 본 논문에서는 외부 환경으로부터 받은 상황정보의 숨겨진 의미를 파악하기 위해 DL 추론과 시간적 추론을 적용한 상황 정보 관리 시스템을 제안한다. 이를 위해서 3가지 부분에 초점을 두었다. 첫 번째, 외부에서 입력된 상황 정보를 효율적으로 표현하고 여러 에이전트간의 상황 정보 공유가 가능하도록 온톨로지 모델을 적용한다. 온톨로지로 표현된 상황정보는 정보의 속성을 제약함으로써 숨겨진 상황 정보를 추론할 수 있도록 해준다. 두 번째로 상황 정보의 관계를 추론할 수 있도록 서술 논리(Description Logic)를 적용한다. 마지막으로 상황 정보의 시간적 관계를 추론할 수 있도록 시간 논리(Temporal Logic)을 적용한다. 따라서 본 논문에서의 최종 목표는 상황 정보 관리 시스템 연구를 통해 상황인지 에이전트 및 상황인지 브로커에 활용이 가능한 온톨로지 기반 추론 기능을 보유하는 지능형 모듈의 기본 프레임워크를 구축하는 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.828-831
• /
• 2015

시맨틱 웹에서 실세계의 복잡한 사건들은 시간의 흐름에 따라 새로운 결과 또는 사실들이 생겨나기 때문에 시간이 포함된 지식에 대한 추론능력이 필수적이다. 본 논문에서는 대표적 병렬 분산 컴퓨팅 환경인 맵리듀스 프레임워크를 이용해, 새로운 시간 관계를 추론할 수 있는 효율적인 대용량 시간 추론 알고리즘을 제안한다. 또한, 맵리듀스 프레임워크로 구현한 대용량 시간 추론기의 성능을 분석하기 위해 샘플 시간 지식베이스를 이용한 실험들을 수행하고, 그 결과를 소개한다.

• Smart Media Journal
• /
• v.11 no.2
• /
• pp.77-83
• /
• 2022

The neuromorphic architecture uses a spiking neural network (SNN) model to derive more accurate results as more spike values are accumulated through inference experiments. When the inference result converges to a specific value, even if the inference experiment is further performed, the change in the result is smaller and power consumption may increase. In particular, in an AI-based IoT environment, power consumption can be a big problem. Therefore, in this paper, we propose a technique to reduce the power consumption of AI-based IoT by reducing the inference time by adjusting the inference image exposure time in the neuromorphic architecture environment. The proposed technique calculates the next inferred image exposure time by reflecting the change in inference accuracy. In addition, the rate of reflection of the change in inference accuracy can be adjusted with a coefficient value, and an optimal coefficient value is found through a comparison experiment of various coefficient values. In the proposed technique, the inference image exposure time corresponding to the target accuracy is greater than that of the linear technique, but the overall power consumption is less than that of the linear technique. As a result of measuring and evaluating the performance of the proposed method, it is confirmed that the inference experiment applying the proposed method can reduce the final exposure time by about 90% compared to the inference experiment applying the linear method.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.05a
• /
• pp.420-423
• /
• 2022

최근 딥러닝 기술이 모바일 기기에 활발히 적용됨에 따라 다양한 엣지 디바이스에서 신경망 모델의 추론 성능을 측정하는 것이 중요해지고 있다. 하지만 디바이스 별 환경 구성과 런타임별 모델 변환 방식이 다르기 때문에 이를 실제로 수행하는 것은 많은 시간을 필요로 한다. 따라서 본 논문에서는 이기종 환경을 고려하여 추론 성능을 측정할 수 있는 Docker 기반의 프로그램을 구현하였고, 이를 이용하여 다양한 엣지 디바이스에서 최신 모델들의 추론 성능을 측정하였다. 또한, 본 프로그램으로 확보 가능한 추론시간 데이터 기반 추론 성능 예측 연구의 사전 연구로서, 대표적 경량모델인 MobilenetV1 에 대한 연산자별 프로파일링을 수행하여 추론시간의 변화 양상을 관찰하였다.

• The Mathematical Education
• /
• v.62 no.4
• /
• pp.473-490
• /
• 2023

Previous studies from domestic and abroad are accumulating information on how to reason students' continuous changes through teaching experiments. These studies deal with scenes in which students who make 'smooth reasoning' and 'chunky reasoning' construct mathematical results together in teaching experiments. However, in order to analyze their results in more detail, it is necessary to check what kind of results a student reasoning in a specific way constructs for the tasks of previous studies. According to the need for these studies, the researcher conducted a total of 14 teaching experiments on one first-year high school student who was found to make 'chunky reasoning'. In this study, it was possible to observe a scene in which a student who makes 'chunky reasoning' constructs an output similar to 'a mathematical result constructed by students with various reasoning methods(smooth reasnoning or chunky reasoning) in previous studies.' In particular, the student who participated in this study observed a consistent construction method of constructing the function of 'time-speed' from the function of 'time-distance'. The researcher expected that information on this student's distinctive construction methods would be helpful for subsequent studies.

• Journal of KIISE:Software and Applications
• /
• v.33 no.3
• /
• pp.356-364
• /
• 2006

'Ubiquitous Computing' is the most important paradigm of the next generation Information-Communication technology. The one of important problems to develop ubiquitous computing service system get hold of relations between times of transfer objects and events of transfer objects. Another problem is what reason transfer-pattern through location data of transfer objects. In this paper, we propose an approach to offer temporal-relation service in ubiquitous computing environment. The first is temporal reasoning in service viewpoint. The second is temporal reasoning to record user's preference. Users have preferences that are closely connected with time. These preferences are recorded at user profile. Therefore, the user profile-based ubiquitous service system can offer suitable service to users.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.758-761
• /
• 2016

본 논문에서는 손목형 가속도계를 이용하여 운동 가속도가 없는 행동들을 인식하기 위한 방법을 제안한다. 중력 가속도 값과 손목 방향의 가속도 값 간의 각도를 구하고, 이를 통해 흡연과 식사의 손목 행동을 모델링하여 흡연 시간과 식사 시간을 추론한다. 대학원생 1명으로부터 수집한 약 7시간 데이터를 통해 흡연 시간을 추론 결과 98.96%의 정확도를 보이고, 대학원생 2명으로부터 수집한 약 9시간 데이터로부터 식사 시간을 추론한 결과 99.36%의 정확도를 보인다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.12 no.1
• /
• pp.7-13
• /
• 2002

Almost applications using fuzzy theory are based on the fuzzy inference. However fuzzy inference needs much time in calculation process for the fuzzy system with many input variables or many fuzzy labels defined on each variable. Inference time is dependent on the number of arithmetic Product in computation Process. Especially, the inference time is a primary constraint to fuzzy control applications using microprocessor or PC-based controller. In this paper, a simple fast fuzzy inference algorithm(FFIA), without loss of information, was proposed to reduce the inference time based on the fuzzy system with triangular membership functions in antecedent part of fuzzy rule. The proposed algorithm was induced by using partition of input state space and simple geometrical analysis. By using this scheme, we can take the same effect of the fuzzy rule reduction.

• Journal of the Korean Data and Information Science Society
• /
• v.10 no.2
• /
• pp.359-367
• /
• 1999

We investigate a logical approach to represent medical knowledge, reason deductively and diagnostically. It is suggested that medical knowledge-bases can be formulated as a set of sentences stated in classical logic where each sentence reflects a doctor's knowledge about the human anatomy or his/her view of patient's symptoms. It is also suggested that a form of temporal reasoning can be captured within the same framework because each sentence can have a different truth value based on time. We apply our logical framework to formalize diagnostic reasoning, where the primary cause of illness is chosen among the set of minimal causation on the basis of abductive hypotheses. Most of our examples are given in the context of medical expert systems.