• 정보과학회 논문지
• /
• 제42권10호
• /
• pp.1195-1206
• /
• 2015

지식 관리 시스템을 운영하기 위해서는 대량의 지식 정보를 자동으로 추론 및 관리하는 기술이 필요하다. 현재, 이러한 시스템의 대다수는 컴퓨터간의 지식 정보를 자동으로 교환하고 스스로 새로운 지식을 추론하기 위해 온톨로지를 적용하고 있다. 따라서 대용량의 온톨로지를 대상으로 새로운 정보를 추론하는 효율적인 기술이 요구되고 있다. 본 논문은 분산 클러스터의 메모리상에서 MapReduce와 유사한 작업을 수행하는 Spark 프레임워크를 적용하여, SHIF 수준으로 작성된 대용량의 온톨로지를 규칙 기반으로 추론하는 기술에 대해서 제안한다. 이에 본 논문은 다음 3 가지에 초점을 맞추어 설명을 한다. 클러스터내의 분산된 메모리상에서 대용량 추론을 실시하기 위해서, 먼저 각 추론 규칙에 따라 대용량의 온톨로지 트리플을 효과적으로 분류하여 적재하기 위한 자료구조, 두 번째 규칙간의 종속 관계와 상호 연관성에 따른 규칙 실행 순서와 반복 조건 정의, 마지막으로 규칙 실행에 필요한 명령을 정의하고 이러한 명령어를 실행하여 추론을 수행하는 알고리즘에 대해 설명한다. 제안하는 기법의 효율성을 검증하기 위해, 온톨로지 추론과 검색 속도를 평가하는 공식 데이터인 LUBM을 대상으로 실험을 수행하였다. 대표적인 분산클러스터 기반 대용량 온톨로지 추론 엔진인 WebPie와 비교 실험한 결과, LUBM에 대해서 WebPie의 추론 처리량이 553 트리플/초 인데 비해 284배 개선된 157k 트리플/초의 성능 향상이 있었다.

• 한국지구과학회지
• /
• 제33권2호
• /
• pp.170-182
• /
• 2012

본 연구의 목적은 행성운동 법칙에 관한 케플러의 귀추적 사고를 도입한 학습자료를 개발하고 이를 고등학교 수업에 적용하여 학생들의 귀추적 추론을 밝히고자 하는 것이다. 이를 위하여 태양의 자기장, 피겨 스케이터의 각운동량 보존, 케플러의 정다면체 이론을 포함한 제시문과 과제문항을 개발하였다. 본 연구의 대상은 과학고등학교 학생 79명과 일반계 고등학교 학생 83명이었고 과제문항에 대한 응답을 비교 분석하여 학생들의 추론 전략 유형과 특성을 논의하였다. 본 연구의 결과, 학생들은 태양의 자기장에 대한 케플러의 생각을 근거로 화성의 운동에 대하여 불완전 유비귀추, 유비귀추, 자료의 재구성 전략을 사용하여 추론하였다. 케플러 제2법칙에 대한 귀추적 추론에서는 불완전 유비귀추, 유비귀추, 모델 구성 및 조작 귀추 등이 나타났다. 이와 관련하여 피겨 스케이터 유비 자체가 학습자들에게 대안개념을 유발할 수 있으므로 실제 수업에서 좀 더 구체적인 설명이 요구됨을 알 수 있었다. 또한 케플러 제3법칙에 대해서는 특히 정다면체 개념과 기존의 알고 있는 지식을 통합하는 개념적 결합 전략을 사용하여 추론한 경우도 나타났다. 적절한 유비귀추를 보여준 과학고 학생의 비율이 일반고 학생보다 여러 과제에서 더 높게 나타난 반면 일반고 학생은 과학고 학생에 비하여 불완전 유비귀추를 더 많이 보여주었다. 본 연구는 케플러의 귀추적 사고를 모델링하여 가설을 형성하는 과정에서 발휘되는 귀추전략을 밝힘으로써 이와 관련한 수업에서 구체적인 방안을 찾는데 근거 자료가 될 것이다.

• 한국정보과학회논문지:시스템및이론
• /
• 제33권10호
• /
• pp.709-721
• /
• 2006

지상파, 위성파, 케이블 방송 같은 기존의 방송환경은 시청자 취향에 상관없이 일방적인 단방향 방송 서비스를 제공해 왔다. 하지만, 최근에는 광대역 통신망을 통한 다양한 미디어 전송이 가능하게 되었다. 또한, 방송 환경에서 양방향 통신이 가능하게 됨으로써 장르, 시청 시간대, 배우 등 시청자의 선호도를 반영한 방송 서비스가 중용한 응용으로 대두되고 있다. 따라서, 기존의 방송환경에서 시청자의 선호도를 반영한 맞춤형 방송 서비스가 중요한 방송 서비스의 하나가 될 수 있다. 본 논문에서는 표적광고를 위한 새로운 시도로써 맞춤형 방송 서비스 응용 중 하나인 시청자 프로과일 추론을 통한 표적 광고 방법을 소개한다. 제안된 시청자 프로파일 추론 알고리즘은 시청자의 TV 시청 데이타(TV Viewing history data) 분석을 통해 시청자의 성별 및 연령대를 예측한다. 예측된 시청자의 성별 및 연령대를 바탕으로 TV Anytime 메타데이타를 이용한 표적 광고 선별 방법을 통하여 광고를 선택하게 된다. 제안된 표적 광고 시스템은 시청자 프로파일 추론 알고리즘과 표적 광고 선별 방법을 이용하여 구성되어 있으며, 실제 TV 시청 데이타를 이용하여 제안된 표적 광고 시스템의 실험 결과를 제시한다.

• Journal of Welding and Joining
• /
• 제10권4호
• /
• pp.199-212
• /
• 1992

Expert system is a practical application part of the artificial intelligence and can be generally described as a computer-based system designed to simulate the knowledge and reasoning of a human expert, and to make that knowledge conveniently available to other people in a useful way. Expert systems consist of three major components, knowledge base, inference engine and user interface. In this paper, it is aimed to construct a prototype system to design the horizontal-typed pressure vessel. To do this, a representative artificial programming language, Turbo Prolog, was employed, and the knowledge representation was mainly done by the production rule such as "If(condition), than (action)" style and by the predicate logic. In the developed system, it was quite easy to represent the knowledge of "If(condition), then (action)"style and by the predicate logic. In the developed system, it was quite easy to represent the knowledge of "If(condition). then(action)" style and the various table-like data. It was also effective to represent the graphics. Though this expert system is by now small and incomplete, it is possible to expand it to a larger and refined system later.rger and refined system later.

• 한국인터넷방송통신학회논문지
• /
• 제12권1호
• /
• pp.265-273
• /
• 2012

현재 사용자 추천 서비스를 위해 사용자 상황정보 모델링을 통해 사용자에게 맞는 서비스가 이루어져야 한다. 개인화 추천 서비스를 위해서는 상황인식 기술이 필수적이고, 상황인식을 위해서 상황정보의 적절한 표현 및 정의가 필요하다. 상황정보를 표현하기 위한 방법에는 온톨로지 기반 모델이 표현법이 가장 뛰어나고, 널리 쓰이고 있다. 본 논문에서는 사용자 개인화 추천 서비스를 위하여 상황 정보의 OWL 모델링을 통해 상황을 정의하였으며, 상황 추론을 위하여 추론규칙과 추론엔진을 사용한 서비스 기법을 제안하였다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2005년도 공동추계학술대회
• /
• pp.488-496
• /
• 2005

현재의 웹이 HTML을 바탕으로 인간 사용자와의 인터페이스에 초점을 맞추고 있는데 비하여, 차세대 웹은 XML 및 XML 기반 각종 표준들을 바탕으로 소프트웨어 에이전트와의 인터페이스에 초점을 맞추어 나가고 있다. 차세대 웹에서 소프트웨어 에이전트의 두뇌 역할을 수행하기 위하여 추론엔진은 차세대 웹의 표준 언어인 시맨틱 웹(Semantic Web)을 충실히 이해할 수 있어야 한다. 이를 위한 기초 작업의 일환으로 OWL(Web Ontology Language)과 RuleML(Rule Markup Language)이 W3C에 제안된 바 있다. 본 연구에서는 SWRL을 규칙 표현 방법으로 사용하고, OWL을 사실 표현 방법으로 사용하는 역방향 추론엔진인 SMART-B(SeMantic web Agent Reasoning Tools - Backward chaining inference engine)을 개발하고자 한다. 이를 위하여 SWRL 기반 역방향 추론을 위한 요구 기능을 분석하고, 기존 역방향 추론 알고리즘에 차세대 시맨틱 웹을 요구 기능을 반영한 역방향 추론 알고리즘을 설계하였다. 또한, 유비쿼터스 환경에서의 각종 플랫폼의 독립성과 이식성을 확보하고 기기 간의 성능 차이를 극복할 수 있도록 사실 베이스 및 규칙 베이스의 관리도구와 역방향 추론 엔진 등을 Java 프로그래밍 언어를 이용하여 단위 컴포넌트의 형태로 개발 중에 있다.

• 전자공학회논문지CI
• /
• 제45권5호
• /
• pp.148-154
• /
• 2008

미래 유비쿼터스 컴퓨팅은 언제 어디서나 지능형 모바일 단말들이 자율적으로 서비스를 제공받을 수 있는 유비쿼터스 지능 공간을 필요로 한다. 이러한 지능 공간의 자율적 구성을 위해 지능 공간에 속한 각 모바일 단말들은 다양한 소스로부터 컨텍스트(Conte박 상황) 정보를 수집하고 컨텍스트 정보로부터 유용한 정보를 추론할 수 있어야 한다. 특히 다양한 유비쿼터스 지능 공간으로부터 수집하고 컨텍스트 정보의 모호성을 극복하고 보다 정확한 상황 인지를 통한 지능형 서비스를 제공하기 위해서는 컨텍스트에 대한 표준 분류 기법(taxonomy) 및 분류된 컨텍스트 정보를 기반으로 하는 추론 기술이 요구된다. 이를 위해 기존의 유비쿼터스 지능 공간에 관련된 대부분의 기존의 연구들에서는 상황 인지 서비스 제공을 위해 CLIPS나 JESS와 같은 규칙 기반 추론 엔진이 주로 사용되고 있다. 그러나 기존의 추론 엔진들은 리소스가 제한된 모바일 단말에서 사용되기에는 한계를 가지고 있다. 따라서 본 논문에서는 모바일 단말을 위한 자율적인 상황인지 서비스를 제공하기 위한 경량 추론 엔진을 설계하고 구현하는 것을 목적으로 한다. 개발된 추론 엔진은 휴대폰이나 PMP, 네비게이션 둥과 같은 개인형 모바일 단말에서 자율적인 상황인지 기반 서비스를 제공하기 위해 사용될 수 있다. 또한, 계층적 분류체계(taxonomy) 정보를 활용함으로써 일반적인 룰(general rule) 또는 구체적인 룰(specific rule)의 선택적인 구성을 통해 다양한 수준의 컨텍스트가 실시간으로 수집되는 상황인지 컴퓨팅에서의 효율적인 상황인지 서비스의 구현을 지원한다.

• 한국과학교육학회지
• /
• 제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.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제9권8호
• /
• pp.243-250
• /
• 2020

지식 그래프 기반의 질문 응답 문제는 자연어 질문들에 대한 깊은 이해뿐만 아니라, 대규모 지식 그래프 상에서 올바른 답변을 찾기 위한 효과적인 추론 능력을 필요로 한다. 본 논문에서는 다중 홉 추론을 요구하는 복잡한 자연어 질문에 대해 연관 지식 그래프 위에서 답변 추론을 효과적으로 수행할 수 있는 심층 신경망 모델을 제안한다. 제안 모델에서는 지식 그래프 상의 각 개체 노드와 이웃 노드 간의 양방향 특징 전파를 허용할뿐만 아니라, 두 이웃 노드 쌍 간의 맥락 정보까지 활용할 수 있는, 표현력이 뛰어난 쌍 선형 그래프 신경망(BGNN)을 이용한다. 본 논문에서는 오픈 도메인의 지식 베이스인 Freebase, 자연어 질문 응답을 위한 벤치마크 데이터 집합들인 WebQuestionsSP와 MetaQA를 이용한 실험들을 통해, 제안 모델의 효과와 우수성을 확인하였다.

• 한국지능시스템학회논문지
• /
• 제27권1호
• /
• pp.7-14
• /
• 2017

이론적으로 분산 비동기 통신 환경에서 공통믿음 또는 공통지식의 형성은 불가능하다고 받아들여져 왔으나, 서로 신뢰하는 에이전트 그룹에서는 비동기 통신을 사용하더라도 데드라인이 있는 명제들은 공통믿음이 될 수 있고 이를 바탕으로 한 추론이 가능함을 보여준다. 일반적으로 멀티에이전트 환경에서 공통믿음의 형성은 통신의 문제로 접근하며 통신 시간의 제약이 없는 시스템 상에서는 공통믿음이 형성되지 않는다는 공통믿음 역설 문제를 느슨한 정밀도를 적용하고 필요한 요구조건을 완화시켜 공통믿음을 형성 할 수 있음을 카카오톡 채팅방 모델을 통해 확인한다. 또한 카카오톡 채팅방 모델의 각 에이전트에 추론 기능을 구현하여 생성된 공통믿음을 알고 있는지에 관한 질의를 통해 공통믿음임을 확인하는 추론 기능을 실험하였다. 분산 멀티에이전트 환경에서 공통믿음의 표현과 추론을 메타논리 프로그래밍으로 형식화하였으며, 카카오톡 채팅방 모델을 통해 비동기 통신을 사용하는 분산 에이전트 그룹이 공통믿음을 형성할 수 있음을 실험적으로 보였다.