• Title/Summary/Keyword: 추론 검증

Search Result 458, Processing Time 0.032 seconds

Automatic Fuzzy Rule Generation Using Neural Networks Based Reinforcement Larning (신경망의 보상학습기능을 이용한 퍼지규칙의 자동생성기법)

  • 조재형;윤소정;오경환
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.8 no.3
    • /
    • pp.56-66
    • /
    • 1998
  • 본 논문에서는 보상 신호를 이용하는 근사 추론에 기반한 개선된 퍼지 논리 제어기를 제안한다. 제안된 방법은 근사 추론을 위한 인위적인 퍼지 규칙의 생성이나 소속함수의 정의 없이 자동적으로 퍼지 논리 제어기를 구성할 수 있다. 제안된 퍼지 논리 제어기를 cart-pole 제어에 적용하여 기존의 방법들과의 비교를 통해 제시한 방법의 유용성을 검증한다.

  • PDF

컴퓨터를 통한 수학적 사고력 신장의 가능성 모색

  • Jo, Han-Hyeok;An, Jun-Hwa;U, Hye-Yeong
    • Communications of Mathematical Education
    • /
    • v.14
    • /
    • pp.197-215
    • /
    • 2001
  • 최근 수학적 사고력 연구가 구체적 수학내용에 기반한 활동과 조작에 대한 연구보다는 활동이나 조작을 통한 결과로 수학적 사고력에 접근하는 일회성 연구로 이루어지는 경향이 있다. 본고에서는 교육 내용을 선정하기 위해 학교수학에서 아동들이 어떤 수학적 사고를 하는데 장애을 겪는지에 주목하여, 이러한 장애를 극복하는 것을 통해 수학적 사고력의 신장을 생각해보고자 하였다. 이에 대수에서는 문자도입에 따른 추상적 상징의 수용과 이용부분에서, 기하에서는 논증기하의 증명도입과정에서 형식적, 연역적 사고 시작으로 아동이 수학적 사고에 어려움을 겪는다는 사살에 주목하였다. 특히 논증 기하의 연역적, 형식적 증명은 논리와 추론이 바탕이 되어야 한다. 그런데 논리와 추론은 고등학교 1학년과정 집합과 명제부분에 들어있어 아동은 논리와 추론에 대한 어떤 경험도, 교육도 받지 않은 상태에서 증명을 하게 된다. 이에 교육 내용으로 수학적 사고력을 신장을 위해 가장 필요한 내용이 논증 기하가 도입되기 이전에 초등학교 5,6학년 아동을 대상으로한 논리와 추론교육이라고 본다. 또한 교육 방법으로는 컴퓨터를 이용한 교육공학적 접근을 하고자 하였다. 교육공학적 접근이 적극 권장되는 교육적 현실과 정규교육과정에서 이를 받아들일만한 시간적 여유가 없음을 감안하여, 교과 내용과 연계된 컴퓨터 교육을 제안하는 바이다. 이에 논리 및 추론 교육은 컴퓨터 교육으로 초등학교의 특기적성 시간이나 정규수업 시간에 이용할 것을 제안한다. 논리와 추론교육을 위해 무엇을 어떻게 가르칠 것인가에 대한 답으로 논리와 추론교육에 적합한 수학적 내용으로 크게 이산수학과 중등 기하의 초등화하여 탐구하도록 하는 내용을, 교육 방법 측면에서는 논리와 추론 교육을 위한 LOGO 기반 마이크로월드를 설계, 이용하여 수학적 사고력을 신장시키고자 한다. 여기까지가 수학적 사고력을 위한 가능성을 모색한 것이라면 후속연구로 이러한 가능성을 실험연구로 검증하고자 한다.

  • PDF

ABox Realization Reasoning in Distributed In-Memory System (분산 메모리 환경에서의 ABox 실체화 추론)

  • Lee, Wan-Gon;Park, Young-Tack
    • Journal of KIISE
    • /
    • v.42 no.7
    • /
    • pp.852-859
    • /
    • 2015
  • As the amount of knowledge information significantly increases, a lot of progress has been made in the studies focusing on how to reason large scale ontology effectively at the level of RDFS or OWL. These reasoning methods are divided into TBox classifications and ABox realizations. A TBox classification mainly deals with integrity and dependencies in schema, whereas an ABox realization mainly handles a variety of issues in instances. Therefore, the ABox realization is very important in practical applications. In this paper, we propose a realization method for analyzing the constraint of the specified class, so that the reasoning system automatically infers the classes to which instances belong. Unlike conventional methods that take advantage of the object oriented language based distributed file system, we propose a large scale ontology reasoning method using spark, which is a functional programming-based in-memory system. To verify the effectiveness of the proposed method, we used instances created from the Wine ontology by W3C(120 to 600 million triples). The proposed system processed the largest 600 million triples and generated 951 million triples in 51 minutes (696 K triple / sec) in our largest experiment.

Distributed Table Join for Scalable RDFS Reasoning on Cloud Computing Environment (클라우드 컴퓨팅 환경에서의 대용량 RDFS 추론을 위한 분산 테이블 조인 기법)

  • Lee, Wan-Gon;Kim, Je-Min;Park, Young-Tack
    • Journal of KIISE
    • /
    • v.41 no.9
    • /
    • pp.674-685
    • /
    • 2014
  • The Knowledge service system needs to infer a new knowledge from indicated knowledge to provide its effective service. Most of the Knowledge service system is expressed in terms of ontology. The volume of knowledge information in a real world is getting massive, so effective technique for massive data of ontology is drawing attention. This paper is to provide the method to infer massive data-ontology to the extent of RDFS, based on cloud computing environment, and evaluate its capability. RDFS inference suggested in this paper is focused on both the method applying MapReduce based on RDFS meta table, and the method of single use of cloud computing memory without using MapReduce under distributed file computing environment. Therefore, this paper explains basically the inference system structure of each technique, the meta table set-up according to RDFS inference rule, and the algorithm of inference strategy. In order to evaluate suggested method in this paper, we perform experiment with LUBM set which is formal data to evaluate ontology inference and search speed. In case LUBM6000, the RDFS inference technique based on meta table had required 13.75 minutes(inferring 1,042 triples per second) to conduct total inference, whereas the method applying the cloud computing memory had needed 7.24 minutes(inferring 1,979 triples per second) showing its speed twice faster.

AffecTV - watcher preference inference based on physiological signal analysis (AffecTV : 생체신호 분석을 통한 TV시청자 선호도 추론)

  • Lee, Seung-Hwan;Choi, Jin-Hyuk;Lee, Gee-Hyuk;Lee, Han-Kyu
    • 한국HCI학회:학술대회논문집
    • /
    • 2006.02a
    • /
    • pp.559-564
    • /
    • 2006
  • 최근에 들어서 생체신호분석을 통하여 여러 가지 사용자 상태를 파악하려는 연구가 많이 진행되고 있다. 대표적인 것이 GSR(전기피부반응, galvanic skin response), BVP(blood volume pressure), 호흡 등의 생체신호가 사람의 흥분 정도, 정신적 부담, 감정변화에 따라 달라지는 특성을 활용하는 것이다. 본 연구에서는 디지털 TV, 혹은 IPTV 의 컨텐츠를 감상하는 환경 하에서 시청자의 생체신호의 변화 패턴을 분석하여, 그 분석 결과로부터 TV 프로그램이나 디지털 컨텐츠에 대해 시청자가 느끼는 만족도, 집중도, 흥미 여부 등을 추론하고자 하였다. 즉, 주어진 컨텐츠를 감상하는 동안 시청자로부터 얻어낸 생체신호를 분석한 시청 정보 데이터가 프로그램에 대한 선호도와 관련을 가질 수 있는지 검증한 기초 연구 결과를 제시한다. 또한 이 결과를 통해 프로그램에 대한 시청자의 반응을 객관적으로 측정하고 실시간으로 반영할 수 있도록 하는 TV 프로그램 추천 시스템의 구현 가능성을 검증한다.

  • PDF

Question, Document, Response Validator for Question Answering System (질의 응답 시스템을 위한 질의, 문서, 답변 검증기)

  • Tae Hong Min;Jae Hong Lee;Soo Kyo In;Kiyoon Moon;Hwiyeol Jo;Kyungduk Kim
    • Annual Conference on Human and Language Technology
    • /
    • 2022.10a
    • /
    • pp.604-607
    • /
    • 2022
  • 본 논문은 사용자의 질의에 대한 답변을 제공하는 질의 응답 시스템에서, 제공하는 답변이 사용자의 질의에 대하여 문서에 근거하여 올바르게 대답하였는지 검증하는 QDR validator에 대해 기술한 논문이다. 본 논문의 과제는 문서에 대한 주장을 판별하는 자연어 추론(Natural Language inference, NLI)와 유사한 과제이지만, 문서(D)와 주장(R)을 포함하여 질의(Q)까지 총 3가지 종류의 입력을 받아 NLI 과제보다 난도가 높다. QDR validation 과제를 수행하기 위하여, 약 16,000 건 데이터를 생성하였으며, 다양한 입력 형식 실험 및 NLI 과제 데이터 추가 학습, 임계 값 조절 실험을 통해 최종 83.05% 우수한 성능을 기록하였다

  • PDF

Semantic Web 소개

  • Kim, Byeong-Hak
    • Journal of Scientific & Technological Knowledge Infrastructure
    • /
    • s.6
    • /
    • pp.36-41
    • /
    • 2001
  • SW이란 컴퓨터가 스스로 웹상의 자료를 처리할 수 있도록 하기 위한 차세대 지능형 웹을 말한다. 현재 웹을 무시하고 전혀 새로운 웹을 만들고자 하는 시도가 아니고 현재까지 검증된 기술에 추가적인 기능을 부가하여 추론 등의 기능을 구현하고자 하는 시도이다.

  • PDF

A Fire Detection System Using Fuzzy Logic with Input Variables of Temperature and Smoke Density (열과 연기농도를 입력변수로 갖는 퍼지로직을 이용한 화재감지시스템)

  • Hong Sung-Ho;Kim Doo-Hyun;Kim Sang-Chul
    • Fire Science and Engineering
    • /
    • v.18 no.4
    • /
    • pp.42-51
    • /
    • 2004
  • This paper presents a study on the analysis of fire detection system using fuzzy logic with input variables of temperature and smoke density. The input variables for the fuzzy logic algorithm are measured by fire experiment of small scale with temperature detector and smoke detector. The antecedent part of fuzzy rules consists of temperature and smoke density, and the consequent part consists of fire possibility. Also the triangular fuzzy membership function is chosen for input variables and fuzzy rules to simplify computation. In order to calculate fuzzy values of such fuzzy system, a computer program is developed with Matlab based on graphics user interface. The experiment was conducted with paper and ethanol to simulate flaming fire and with plastic and sawdust to model smoldering fire. The results showed that the fire detection system presented here was able to diagnose fire very precisely. With the help of algorithms using fuzzy logic we could distinguish whether fire or not.

Children's Understanding of Emotional Display Rules by Episodes: Interaction Effects of Intention Reasoning and Gender (이야기 상황에 따른 유아의 정서표현규칙이해: 의도추론유형과 성의 상호작용효과)

  • Bae, Seong Hee;Han, Sae-Young
    • Korean Journal of Childcare and Education
    • /
    • v.11 no.5
    • /
    • pp.293-310
    • /
    • 2015
  • The purpose of this study is to investigate the differences that appeared in the episodes in understandings of the emotional display rules according to the types of emotions and subjects for expressing emotions. In addition, the interaction effects of intention reasoning types and gender on children's understandings of the real emotions and emotional display rules are explored. 144 4-5 year old children in Chungbuk province participated in the experimental interviews. The results are as follows. First, children comprehended the emotional display rules more clearly in a relationship with peers than adults. In terms of a type of emotion, it was the negative emotions rather than positives ones that those children understood better for real emotions and emotional display rules. Second, the main effect of the intention reasoning types on children's understanding of the emotional display rules appeared significant in all episodes. Especially, in negative emotion-peer episode, children with different types of intention reasoning showed a different level of understanding emotional display rules depending on gender of the children.

Selection of Optimal Face Detection Algorithms by Fuzzy Inference (퍼지추론을 이용한 최적의 얼굴검출 알고리즘 선택기법)

  • Jang, Dae-Sik
    • Journal of the Korea Society of Computer and Information
    • /
    • v.16 no.1
    • /
    • pp.71-80
    • /
    • 2011
  • This paper provides a novel approach for developers to use face detection techniques for their applications easily without special knowledge by selecting optimal face detection algorithms based on fuzzy inference. The purpose of this paper is to come up with a high-level system for face detection based on fuzzy inference with which users can develop systems easily and even without specific knowledge on face detection theories and algorithms. Important conditions are firstly considered to categorize the large problem space of face detection. The conditions identified here are then represented as expressions so that developers can use them to express various problems. The expressed conditions and available face detection algorithms constitute the fuzzy inference rules and the Fuzzy Interpreter is constructed based on the rules. Once the conditions are expressed by developers, the Fuzzy Interpreter proposed take the role to inference the conditions and find and organize the optimal algorithms to solve the represented problem with corresponding conditions. A proof-of-concept is implemented and tested compared to conventional algorithms to show the performance of the proposed approach.