• 제목/요약/키워드: 서술논리

검색결과 112건 처리시간 0.026초

동적상황서비스를 위한 온톨로지 모델 (A Ontology Model for Dynamic Context-Aware Service)

  • 김수경;최호진
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2009년도 춘계학술발표대회
    • /
    • pp.53-56
    • /
    • 2009
  • 본 연구는 차세대 네트워크 환경에서 동적인 상황에 관련된 지식서비스를 제공하기 위해 서술논리와 SWRL 기반의 온톨로지 모델 프레임워크를 제공하여 추론과 상황 결정에 있어 온톨로지 기반의 지식베이스가 유용함을 제시한다. 기존 대부분의 온톨로지 모델은 단일 온톨로지나 정적인 온톨로지를 중심으로 모델링되었으나 본 연구에서 제시하는 온톨로지 모델은 서비스를 중심으로 동적인 상황에 능동적으로 대처할 수 있는 온톨로지 구조와 사용자를 중심으로 다양하게 변화하는 지식을 동적으로 처리할 수 있는 지식표현 패턴을 제안하여 공간과 시간에 따른 동적인 상황서비스가 적합함을 보여주었다.

온톨로지 추론을 이용한 논문 검색에 관한 연구 (A Study on Paper Search using Ontology Inference)

  • 강현민;위다현;김석동;선복근;한광록
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2009년도 춘계학술발표대회
    • /
    • pp.566-568
    • /
    • 2009
  • 사용자의 의도에 맞는 정보를 검색하기 위해서는 인터넷 환경에서 웹 문서 자원 사이의 의미 정보를 온톨로지로 표현하고, 이 온톨로지를 컴퓨터가 이해할 수 있게 하는 시맨틱 웹의 도입이 필요하다. 본 논문에서는 OWL 온톨로지 기반의 추론을 통한 논문 정보 검색시스템에 대하여 논한다. 시맨틱 웹의 새로운 온톨로지 언어로 부상한 OWL 기반의 논문 온톨로지를 구축하고, 논문 속성들 간의 다양한 상관관계를 서술논리 쿼리로 작성한다. 검색시스템은 이 쿼리를 기반으로 논문 온톨로지에 대하여 추론함으로써 지능적인 정보 검색이 가능하도록 하였다.

DL 추론과 시간적 추론을 적용한 상황 정보 관리 (Semantic Context Management Using DL Reasoning and Temporal Reasoning)

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

  • PDF

태블로 알고리즘 기반 온톨로지 추론 엔진의 속도 향상을 위한 방법 (Methods to Reduce Execution Time of Ontology Reasoners based on Tableaux Algorithm)

  • 김제민;박영택
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제36권2호
    • /
    • pp.153-160
    • /
    • 2009
  • 온톨로지의 크기가 대형화됨에 따라, 온톨로지 내부 구조는 점점 복잡해지고 있다. 따라서 온톨로지 구축과정에서 발생하는 여러 가지 논리적 오류를 찾아내어 수정하는 것은 매우 어려운 작업이 되고 있다. Minerva[1]는 OWL로 작성한 온톨로지 중 논리적 오류를 갖는 개념들을 자동으로 탐지하고, 개념간의 계층 관계를 추론하기 위해 개발된 온톨로지 추론 엔진이다. Minerva를 포함한 대부분의 서술 논리 기반의 온톨로지 추론 엔진은 태블로 알고리즘(Tableau Algorithm)을 기반으로 동작한다. 태블로 알고리즘을 그대로 적용할 경우 시간 및 공간 복잡도가 상당히 높아지기 때문에 다양한 최적화 기법이 필요하다. 본 논문에서는 태블로 알고리즘을 사용하는 온톨로지 추론 엔진의 속도를 향상시키는 최적화 기법들을 제안한다. 제안한 기법들은 선행 연구로서 이미 개발된 온톨로지 추론엔진 Minerva에 적용되어 성능향상을 이끌어 내었다.

자율 비행 무인 헬리콥터를 위한 코바 기반의 계층화된 제어 및 모니터링 구조 (CORBA based Hierarchical Control and Monitoring Architecture for Unmanned Autonomous Helicopters)

  • 노인호;오주용;강순주
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
    • /
    • pp.103-105
    • /
    • 2003
  • 본 논문에서는 자율 비행 무인 헬리콥터를 위한 코바 기반의 계층화 구조를 제안한다. 제안된 소프트웨어 구조에서는 데이터의 추상화 및 기능에 따라 하드웨어 계층, 실행 계층, 논리적 추상화 계층 및 서비스 에이전트 계층으로 구성하고 각 계층의 역할을 정의한다. 또한, 코바를 이용하여 상위의 추상화된 계층을 객체화시킴으로써, 소프트웨어의 재사용성과 유연성을 높일 수 있는 구조에 대해서 서술한다.

  • PDF

중국 동북공정과 한국의 대응방안

  • 서길수
    • 한국복식학회:학술대회논문집
    • /
    • 한국복식학회 2004년도 제29회 정기총회 및 춘계학술대회
    • /
    • pp.13-23
    • /
    • 2004
  • I. 동북공정은 20년 전부터 시작되었다. 1. 1980년 이전의 귀속문제 논의 1) 중국 교과서 - 현재도 "고구려사=한국사" 2) 1962~65년 조.중 공동 고고학발굴대 - "고구려사=한국사" 3) '고구려=중국사' 논리 개발의 시도 - 김육불의 [동북통사] : 한족 위주 역사서술 제1기 한족 개발시대(상고~한.위) 제2기 동호 부여 두 종족의 각축시대(수나라 초기) 제3기 한족 부흥시대(수.당) (중략)3기 한족 부흥시대(수.당) (중략)

  • PDF

Decision Tree 를 이용한 Machine Learning (Machine Learning by Decision Tree Algorithm)

  • 정원찬;최경수;김정호
    • 전자통신동향분석
    • /
    • 제8권4호
    • /
    • pp.205-211
    • /
    • 1993
  • 필요한 자료의 제공만으로 컴퓨터 스스로 논리 체계를 세워 나가는 Machine Learning은 인공 지능의 한 분야로서 여러 방면에서 활발한 연구가 진행되고 있다. 본 고에서는 Machine Learning 의 기본적인 여러가지 방식 중의 하나인 Decision Tree 방법을 소개하고 문제점 및 연구 방향을 서술한다.

개선된 자동정리증명 기법에 기초한 유한체상의 디지털논리시스템 구성 (Construction of the Digital Logic Systems based on the Improved Automatic Theorem Proving Techniques over Finite Fields)

  • 박춘명
    • 한국정보통신학회논문지
    • /
    • 제10권10호
    • /
    • pp.1773-1778
    • /
    • 2006
  • 본 논문에서는 개선된 자동정리증명 기법에 기초하여 유한체상의 디지털논리 시스템을 구성하는 방법을 제안하였다. 제안한 방법은 먼저 유한체상의 중요한 학적 성질을 논의하였고 자동정리증명기법의 개념과 기본 성질을 서술하였다. 그리고 개선된 자동정리증명기법을 적용하기 위해 몇 가지 정의를 하였으며 이를 근간으로 디지털논리 시스템의 Building Block을 제안하였다. 또한, 디지털논리 시스템을 구성하기 위한 중요한 관계를 정의하였으며 최종 유한체상의 디지털논리시스템을 개선된 자동정리 증명 기법에 의해 구성하였다.

쇼핑호스트의 스피치스타일이 구매의도에 미치는 영향 (The Impact of Speech Style of Shopping Host on Purchase Intention)

  • 윤치영;이성환
    • 한국산학기술학회논문지
    • /
    • 제10권10호
    • /
    • pp.2893-2899
    • /
    • 2009
  • 본 연구는 쇼핑호스트의 스피치스타일을 분류해내고, 분류된 스피치스타일이 쇼핑호스트의 평가와 구매의도에 미치는 영향관계를 파악하고자 하였다. 쇼핑호스트의 스피치스타일이 쇼핑 호스트 평가에 미치는 영향에서 설파형의 고객지향성, 신뢰성, 적격성과 서술형의 적격성을 제외한 다른 스피치스타일은 영향을 미치는 것으로 분석되었다. 특히 가설에서 검증된 스피치스타일과 쇼핑 호스트 평가의 영향관계를 살펴보면 논증형, 표출형, 서술형 순으로 영향력이 나타나고 있다. 쇼핑호스트의 스피치스타일이 구매의도에 미치는 영향에서는 설파형, 서술형을 제외하고 논증형, 표출형에 영향을 미치는 것으로 분석되었다. 즉, 서술적이면서 주도적인 스피치스타일 보다 논리적으로 설득하면서 주어진 내용을 잘 표현하는 스피치스타일을 선호하고 있는 것으로 나타났다.

산과 염기 화학반응에서 논리 사고 학습발달단계 탐색 (Exploring Learning Progression of Logical Thinking in Acid and Base Chemical Reactions)

  • 박철용;김성기;최희;백성혜
    • 대한화학회지
    • /
    • 제63권5호
    • /
    • pp.376-386
    • /
    • 2019
  • 이 연구에서는 산과 염기의 화학반응에 대한 학습발달을 논리 사고 발달단계에 근거하여 제시하고, 그 타당성을 알아보고자 하였다. 이를 위하여 전국의 7개 지역, 9개의 초등, 중등, 고등학교에서 387명을 편의표집하였다. 이 연구에서 개발한 설문지는 총 9문항이었으며, 산과 염기 반응물과 생성물을 제시하고 이 물질들이 어떻게 변화할지에 대한 자신의 생각을 그림으로 표현하고 그 이유를 적도록 구성하였다. 상황 맥락은 한 종류의 용질이 용매에 녹는 상황과 두 종류의 용질이 용매에 녹는 상황 등으로 구분하였다. 이 연구에서는 물질보존 논리, 조합 논리, 비례 논리, 입자 개수 보존 논리를 조합하여 총 6단계의 학습발달을 가정하였다. 자료를 분석하여 Rasch 모델로 Person reliability, Item reliability, MNSQ와 ZSTD의 Infit와 Outfit값을 구한 결과, 본 연구에서 가설적으로 제안한 논리 사고 학습발달단계가 타당함을 확인하였다. 자료의 분석 결과, 중학교 2학년까지는 낮은 단계의 사고가 저학년에서 더 우세하였다. 그리고 높은 단계의 사고(2단계에서 5단계)가 상대적으로 고학년에서 우세한 것으로 나타났다. 그러나 고등학교 3학년(Grade 12)에서 높은 단계의 사고가 급격하게 감소하였다. 그리고 가장 마지막 단계인 5단계의 사고는 모든 학년에서 매우 낮았으며, 학생들의 비율이 가장 높은 학년은 중학교 3학년으로 나타났다. 이러한 특이한 연구 결과에 대한 해석은 교과서의 서술 방식과 관련된 추후 연구 과제로 제안하였다.