• The Journal of the Korea institute of electronic communication sciences
• /
• v.8 no.3
• /
• pp.397-402
• /
• 2013

Time variation is the essential component of the context awareness. It is a beneficial way not only including time lapse but also clustering time interval for the context inference using the information from sensor mote. In this study, we proposed a novel way of clustering based multi-sensor data fusion for the context inference. In the time interval, we fused the sensed signal of each time slot, and fused again with the results of th first fusion. We could reach the enhanced context inference with assessing the segmented signal according to the time interval at the Dempster-Shafer evidence theory based multi-sensor data fusion.

• Journal of the Korea Society for Simulation
• /
• v.25 no.3
• /
• pp.117-123
• /
• 2016

This paper presents inference methods for inner operations of a multi-server queue when historical data are limited or system observation is restricted. In a queueing system analysis, autocorrelated arrival and service processes increase the complexity of modeling. Accordingly, numerous analysis methods have been developed. In this paper, we introduce an inference method for specific situations when external observations exhibit autocorrelated structure and and observations of internal operations are difficult. We release an assumption of the previous method and provide lemma and theorem to guarantee the correctness of our proposed inference method. Using only external observations, our proposed method deduces the internal operation of a multi-server queue via non-parametric approach even when the service times are autocorrelated. The main internal inference measures are waiting times and service times of respective customers. We provide some numerical results to verify that our method performs as intended.

• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.509-522
• /
• 2009

The W3C Ontology Working Group has recently developed OWL as an ontology language for the Semantic Web. OWL, however, fails to perform the process of reasoning about temporal knowledge because it lacks full-pleadged semantics for temporal language. Entities in the real world are changing as time passes, while new facts are being introduced as new events occur. KBs without temporal information are incomplete and incorrect. In this paper, we propose an extended temporal ontology language called TL-OWL which provides an abstract syntax and semantics for representing and reasoning about temporal information in the Semantic Web.

• Journal of Korea Society of Industrial Information Systems
• /
• v.14 no.4
• /
• pp.37-48
• /
• 2009

Household service robots should be able to provide their users with a variety of temporal reasoning services. In this paper, we propose an effective way of developing such temporal reasoning services using a domain-independent AI planner. Developing temporal reasoning services with a domain-independent AI planner, we have to address both the knowledge engineering problem of how to represent various real-world temporal constraints in a planning domain definition language, and the system design problem of how to realize the interface between the AI planner and the service consumer. In this paper, we introduce an example scenario and a set of typical temporal constraints for a household service robot, and then present how to represent them in the standard planning domain definition language. We also explain how to implement a service agent based on an AI planner in order to develop and provide new services efficiently.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2006.05a
• /
• pp.137-142
• /
• 2006

상황은 단일 사건에 의해 결정되는 경우도 있지만, 많은 경우 일련의 사건이 특정 시간 제약을 만족하면서 발생할 때 상황이 결정된다. 따라서 상황에 대한 추론은 시간 제약 조건 만족 여부와 함께 사건의 발생을 순서를 확인하는 방법으로 수행될 수 있다. 한편, 어떤 상황은 분명하게 정의되는 것이 아니라 애매한 개념을 사용하여 기술되기 때문에, 퍼지 개념을 이용한 상황 기술과 이에 대한 추론이 필요하다. 한편, 유비쿼터스 환경에서와 같이 여러 대상에 대한 상황을 유추하여 서비스를 제공해야 하는 경우에, 대상 간에 동일한 상황이 발생할 수 있기 때문에 이에 대한 고려가 필요하다. 이러한 상황 추론을 위해서 이 논문에서는 Fuzzy Colored Timed Petri net 모델이라는 상황 추론 모델에 대해서 제안한다. 제안한 모델은 Timed Petri net 성질을 이용하여 일련의 사건 발생을 모델링하고, Colored Petri net의 성질을 이용하여 다수 대상에 대한 상황 추론을 허용하며, fuzzy 토큰 개념을 이용하여 애매한 개념을 사용하여 정의된 상황에 대한 추론을 가능하게 한다.

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

유비쿼터스 시스템은 개인화 서비스를 위한 사용자 모델링이 필요하다. 사용자 모델링은 더 정확한 컨텍스트 모델을 만들기 위한 중요한 단계이다. 본 논문에서는 컨텍스트 모델을 기반으로 사용자에게 적당한 서비스를 제공하기 위한 방법을 연구한다. 이를 위해서 우리는 개념 의존(conceptual dependency)을 이용한 온톨로지 기반 컨텍스트 모델링 방법을 제안한다. 이 모델은 관찰된 사용자 행동을 모델링한다. 우리는 사용자 행동을 모델링하기 위해서 개념 의존 이론을 기반으로 컨텍스트 온톨로지를 설계한다. 컨텍스트 모델러는 사용자 행동을 모니터하고 행동을 표현하기 위해 온톨로지 인스턴스를 생성한다. 더 정확한 행동 표현을 위해 본 연구에서는 시간 개념(temporal concept)을 기반으로 시간 추론을 사용하여 컨텍스트 모델을 구축한다. 생성된 시간 컨텍스트 모델은 온톨로지 추론을 이용하여 유비쿼터스 컴퓨팅을 위한 상위 컨텍스트의 추론이 가능하다.

• Proceedings of the KIEE Conference
• /
• 1998.07a
• /
• pp.359-361
• /
• 1998

본 연구에서는 시스템의 대규모 SCADA 시스템들에 효과적으로 적용될 수 있는 전문가 시스템을 설계한다. 전문가 시스템의 추론기관은 직관적 추론 기능과 논리적 추론기능이 연동되도록 설계한다. 직관적 추론기능은 패턴인식구조로, 논리적 추론기능은 휴리스틱에 근거한 심층추론을 통해 시스템 이벤트별로 다양한 시간제야조건을 만족하는 시스템 제어전략을 결정함과 동시에, 지식 생성자의 역할을 할 수 있도록 다중 추론구조로 설계한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.91-93
• /
• 2004

차세대 정보통신 기술의 가장 중요한 패러다임으로 '유비쿼터스 컴퓨팅' 이 새롭게 주목받고 있다 유비쿼터스 환경에서의 서비스 지원 시스템을 개발하기 위한 중요한 문제 중의 하나는 이동 객체(사용자)의 시간과 이벤트의 관계를 파악하고 위치 이동 데이터로부터 시공간 이동 패턴을 탐사하는 것이다. 본 논문에서는 유비쿼터스 환경 내에서 사용자에게 시간과 관련된 서비스를 적절히 제공하기 위해서 다음과 같은 연구를 한다. 첫째, 서비스 관점에서의 시간적 추론(Temporal Reasoning)이다. 각 사용자들은 각자의 취향을 가지고 있으며 이는 시간과 밀접한 관계를 가지고 있다. 시간과 관련된 사용자의 취향이 기록된 각 사용자 프로파일을 기반으로 서비스 지원 시스템은 적절한 서비스를 제공할 수 있다. 둘째, 사용자의 취향을 기록하기 위한 시간적 추론(Temporal Reasoning)이 다. 기록된 내 용들은 사용자 프로파일 (User Profile)을 생성하는데 도움을 준다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.157-159
• /
• 2004

시맨틱 웹 기술을 활용한 시맨틱 검색은 문서의 의미를 온톨로지의 메타데이터로 생성하여 이를 바탕으로 검색을 수행하게 된다. 이와같은 온톨로지 기반의 시맨틱 검색은 논리를 바탕으로 추론을 적용할 수 있다. 본 논문에서는 온톨로지 기반의 추론을 적용한 시맨틱 검색 시스템을 언급하고 시맨틱 검색 시스템에서의 성능향상을 위해 추론엔진의 작업메모리 영역의 부하를 줄여 기존의 시스템보다 빠른 성능의 시맨틱 검색 시스템을 제안한다. 본 논문에서 시맨틱 검색 시스템의 성능향상을 위한 방법론으로는 다음과 같다 첫째, 추론엔진이 검색 도메인내의 전체 메타데이터를 가지고 추론을 수행하지 않고 메타데이터의 온톨로지부분 만을 사용하여 사용자가 원하는 질의문을 추론하여 검색에 사용하게 한다. 둘째, 시맨틱 검색 방법에서 Dirtectly 매칭 검색과 시맨틱 추론검색을 병행하여 수행하게 한다. 이를 위해 본 논문에서는 메타데이터의 온톨로지부분과 인스턴스부분을 분리하는 단계와 분리된 온톨로지부분에서 사용자가 원하는 질의를 추론하는 단계, 추론된 질의문을 검색시스템에서 매칭하는 단계를 수행하게 된다. 이러한 방법은 메타데이터의 양이 증가하여도 온톨로지부분은 증가하지 않으므로 추론엔진에서 전 방향 추론단계의 수행시간을 단축과 추론엔진의 호출 횟수를 단축시키는 결과를 가져온다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1316-1319
• /
• 2015

본 논문에서는 대규모 분산 병렬 컴퓨팅 환경인 하둡 클러스터 시스템을 이용하여, 공간 객체들 간의 위상 관계를 효율적으로 추론하는 대용량 정성 공간 추론기를 제안한다. 본 논문에서 제안하는 공간 추론기는 추론 작업의 순차성과 반복성을 고려하여, 작업들 간의 디스크 입출력을 최소화할 수 있는 인-메모리 기반의 아파치 스파크 프레임워크를 이용하여 개발하였다. 따라서 본 추론기에서는 추론의 대상이 되는 대용량 공간 지식들을 아파치 스파크의 분산 데이터 집합 형태인 PairRDD와 RDD로 변환하고, 이들에 대한 데이터 오퍼레이션들로 추론 작업들을 구현하였다. 또한, 본 추론기에서는 추론 시간의 많은 부분을 차지하는 이행 관계 추론에 필요한 조합표를 효과적으로 축소함으로써, 공간 추론 작업의 성능을 크게 향상시켰다. 대용량의 공간 지식 베이스를 이용한 성능 분석 실험을 통해, 본 논문에서 제안한 정성 공간 추론기의 높은 성능을 확인할 수 있었다.