• Title/Summary/Keyword: 추론 검증

Search Result 458, Processing Time 0.028 seconds

An Inference Verification Tool based on a Context Information Ontology (상황 정보 온톨로지 기반 추론 검증 도구)

  • Kim, Mok-Ryun;Park, Young-Ho
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.36 no.6
    • /
    • pp.488-501
    • /
    • 2009
  • In ubiquitous environments, invisible devices and software are connected to one another to provide convenient services to users. In order to provide such services, we must have mobile devices that connect users and services. But such services are usually limited to those served on a single mobile device. To resolve the resource limitation problem of mobile devices, a nearby resource sharing research has been studied. Also, not only the nearby resource share but also a resource recommendation through context-based resource reasoning has been studied such as an UMO Project. The UMO Project share and manage the various context information for the personalization resource recommendation and reason based on current context information. Also, should verify resource inference rules for reliable the resource recommendation. But, to create various context information requires huge cost and time in actuality. Thus, we propose a inference verification tool called USim to resolve problem. The proposed inference verification tool provides convenient graphic user interfaces and it easily creates context information. The USim exactly verifies new inference rules through dynamic changes of context information.

A Study on the Intelligent Strategic Planning Model that Combines a Case-Based Reasoning and a Neural Network (사례기반추론과 인공신경망을 결합한 지능적인 경영전략수립 모형에 관한 연구)

  • Lee, Kun-Chang;Lee, Cheol-Won
    • Asia pacific journal of information systems
    • /
    • v.8 no.1
    • /
    • pp.1-26
    • /
    • 1998
  • 본 연구에서는 사례기반추론, 인공신경망, 선형계획법 모형을 결합한 새로운 개념의 지능적인 경영전략수립 및 상충관계 해결 추론메카니즘을 제안한다. 본 연구에서 제안한 경영전략추론 메카니즘의 타당성을 검증하기 위하여 (1) 과거 문헌조사 결과와 (2) 비쥬얼 베이직 언어로 구현한 프로토타입인 CANNIE-SP (CAse-based Neural Network Inference Engine for Strategic Planning)를 제시하였다. 특히 본 연구에서 제안하는 인공신경망은 순방향 추론과 역방향 추론이 가능하도록 설계하여서 What-If분석 및 Goal-Seeking분석이 가능하도록 하였다. 또한 사례기반추론기관은 마이크로 소프트사의 데이터베이스 엔진인 엑세스(Access)를 사용하였다. 본 연구에서 제안하는 추론 메카니즘의 타당성을 검증하기 위하여 우리나라 화장품 시장의 실제자료를 가지고 실험하였으며 그 결과 매우 의미가 있음을 확인하였다.

  • PDF

수학적 추론 능력 평가 기준에 관한 연구

  • Jeon, Pyeong-Guk;Kim, Eun-Hui;Kim, Won-Gyeong
    • Communications of Mathematical Education
    • /
    • v.13 no.2
    • /
    • pp.425-455
    • /
    • 2002
  • 본 연구는 수학교육에서 강조되고 있는 수학적 힘의 구성 요소 중의 하나인 수학적 추론 능력에 대한 교사들의 구체적인 이해를 돕고, 문제 해결 과정에서 학생들의 추론 능력을 분석하고 평가하는 데 도움을 주기 위해 문헌 연구 및 학생반응 분석결과에 기초하여 귀납적, 유비적, 연역적 추론능력에 대한 평가기준을 개발하였다. 또한, 개발된 평가기준을 구체적인 문제에 적용하였으며 이를 기초로 문제점을 수정 ${\cdot}$ 보완한 후, 전문가의 타당성 검증과 동일한 학생반응에 대한 채점결과의 일치도를 알아봄으로써 신뢰도 검증을 실시하였다.

  • PDF

Natural Langugae Inference as Re-ranking for Multiple Question Answering (질의응답 결과 재순위화를 위한 자연어 추론 모델)

  • Lee, Jihyung;Lee, Geunbae
    • Annual Conference on Human and Language Technology
    • /
    • 2021.10a
    • /
    • pp.405-409
    • /
    • 2021
  • 자연어 추론은 전제가 주어졌을때 특정 가설이 전제에 기반해 합당한지 검증하는 자연어 처리의 하위 과제이다. 우리는 질의응답 시스템이 도출한 정답 및 근거 문서를 자연어 추론 모델로 검증할 수 있다는 점에 착안하여, HotpotQA 질의응답 데이터셋을 자연어 추론 데이터 형식으로 변환한뒤 자연어 추론 모델을 학습하여 여러 질의응답 시스템이 생성한 결과물을 재순위화하고자 하였다. 그 결과로, 자연어 추론 모델에 의해 재순위화된 결과물은 기존 단일 질의응답 시스템의 결과물보다 대체로 향상된 성능을 보여주었다.

  • PDF

Category-Based Feature Inference: Testing Causal Strength (범주기반 속성추론: 인과관계 강도의 검증)

  • JunHyoung Jo;Hyung-Chul O. Li;ShinWoo Kim
    • Science of Emotion and Sensibility
    • /
    • v.26 no.1
    • /
    • pp.55-64
    • /
    • 2023
  • This research investigated category-based feature inference when category features were connected in common cause and common effect causal networks. Previous studies that tested feature inference in causal categories showed unique inference patterns depending on causal direction, number of related features, whether the to-be-inferred feature was cause or effect, etc. However, these prior studies primarily focused on inference pattens that arise from causal relations, and few studies directly explored how the effects of causal relations vary depending on causal strength. We tested feature inference in common cause (Expt. 1) and common effect (Expt. 2) causal categories when casual strengths were either strong or weak. To this end, we had participants learn causal categories where features were causally linked and then perform feature inference task. The results showed that causal strengths as well as causal relations had important impacts on feature inference. When causal strength was strong, inference for common cause feature became weaker but that for the common effect feature became stronger. Moreover, when causal strength was strong and common cause was present, inference for the effect features became stronger, whereas the results were reversed in common effect networks. In particular, in common effect networks, casual discounting was more evident with strong causal strength. These results consistently demonstrate that participants consider not only causal relations but also causal strength in feature inference of causal categories.

A Study on the Semantic Search using Inference Rules of the Structured Terminology Glossary "STNet" (구조적 학술용어사전 "STNet"의 추론규칙 생성에 의한 의미 검색에 관한 연구)

  • Ko, Young Man;Song, Min-Sun;Lee, Seung-Jun;Kim, Bee-Yeon;Min, Hye-Ryoung
    • Journal of the Korean Society for Library and Information Science
    • /
    • v.49 no.3
    • /
    • pp.81-107
    • /
    • 2015
  • This study describes the Bottom-up method for implementation of an ontology system from the RDB. The STNet, a structured terminology glossary based on RDB, was served as a test bed for converting to RDF ontology, for generating the inference rules, and for evaluating the results of the semantic search. We have used protege editor of the ontology developing tool to design ontologies with test data. We also tested the designed ontology with the Inference Engine (Pellet) of protege editor. The generated reference rules were tested by TBox and SPARQL queries through STNet ontology. The results of test show that the generated reference rules were verified as true and STNet ontology were also evaluated to be useful for searching the complex combination of semantic relation.

Web Usage Patterns Validation Based on Expert Belief Using Statistical Reasoning (통계적 추론을 이용한 전문가 Belief기반의 Web Usage 패턴 검증)

  • Ko, Se-Jin;Ahn, Kye-Sun;Jeong, Jun;Lee, Phill-Kyu
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.10b
    • /
    • pp.148-150
    • /
    • 2001
  • 발견된 Web Usage 패턴들은 분석하는 전문가에게는 불필요하고 흥미롭지 못해 의사결정에 도움이 못되는 경우가 많다. 따라서 발견된 패턴에 대한 도메인 전문가의 사전 Belief에 기반한 패턴 검증 과정이 필요하다. 발견된 패턴의 유용성 여부는 패턴의 Unexpectedness를 측정함으로써 결정할 수 있다. 본 논문에서는 패턴의 Unexpectedness를 전문가의 Belief에 기반하여 검증하기 위한 새로운 방법론 제안한다. 발견된 패턴과 전문가 Belief를 매칭 알고리즘을 이용하여 패턴을 4가지(완전일치, 조건부 일치, 결과부 일치, 완전 불일치)로 분류하는 1차 검증과 1차 검증 결과의 4가지 분류데이터를 통계적 추론 방법인 Dempster-chafer에 적용한 2차 검증으로 나뉜다. 1차 검증 과정은 패턴의 분류 용이성을 부여하나 패턴의 Unexpectedness에 대한 신뢰성을 제공하지 못한다. 이 문제점을 2차 검증 과정을 통해 해결한다.

  • PDF

A Study on Children's Percceived Parental Warmth Communication Peer Environment and Their Distributive Justice Reasoning (부모의 온정 및 의사소통, 또래 환경이 아동의 공평성 추론에 미치는 영향)

  • 송인숙
    • Journal of Families and Better Life
    • /
    • v.13 no.2
    • /
    • pp.103-111
    • /
    • 1995
  • 이 연구에서는 서울시내 국민학교 3, 4학년이 190명의 아동을 대상으로 부모의 온정 및 의사소통과 또래 환경에 대한 지각이 아동의 공평성 추론에 미치는 영향을 조사하였다. 질문지를 사용하였고 분석을 위하여 백분율 평균, 표준편차, 빈도분포, 최저값, 최소값, 일원 변량분석과 $Scheff\'{e}검증$, Cronbach의 a값을 사용하였다. 연구결과를 요약하면 다음과 같다. 즉 아동이 지각한 부모의 온정 및 의사소통과 또래 환경에 대한 지각이 아동의 공평성 추론에 별 다른 영향을 주지 않았다. 반면에 아동이 지각한 또래 환경 중 또래의 지지와 교환적 협동은 아동의 공평성 추론에 유의한 영향을 미치고 있다.

  • PDF

유사추론 기반 예측모형

  • Jang, Yong-Sik;Choe, Yun-Jeong
    • Proceedings of the Korea Inteligent Information System Society Conference
    • /
    • 2007.11a
    • /
    • pp.581-585
    • /
    • 2007
  • 본 연구는 비선형적인 시계열 자료로부터 최신 데이터와 유사한 사례를 탐색하여 미래를 예측하기 위하여 유사추론 기법을 이용한 예측 알고리즘을 제안한다. 기존의 연구들이 최신 데이터와 과거 사례와의 유사성을 비교하기 위해 유클리디언 거리 또는 평균 제곱에러 등을 이용하나, 추세의 유사성을 고려하지는 않는다. 본 연구는 사례 구간 크기, 예측 오차, 평균차이 검증, 사례간 추세의 유사성 등 다차원적 유사추론 요인을 이용한 예측방법과 그 효과를 제시한다.

  • PDF

Effects of Practical Reasoning Instruction on Problem Solving Ability (실천적 추론 가정과 수업이 문제해결력에 미치는 효과)

  • Yoo, Tae-Myung;Lee, Hyo-Soon
    • Journal of Korean Home Economics Education Association
    • /
    • v.21 no.2
    • /
    • pp.203-215
    • /
    • 2009
  • A research problem for this study is formulated: "Is practical reasoning instruction effective on raising problem solving ability?" This study is a quasi-experimental study with independent variable of practical reasoning instruction and dependent variable of problem solving ability. Six class hours of experimental input for the 'Housing space' is implemented for an experimental group. T-test results show that practical reasoning instruction is effective on total problem solving ability whereas is not effective on 'implementing alternative action' sub-area of problem solving. This study suggests for the future studies to systematically design practical reasoning classes in consider of appropriate class times and sub-areas of problem solving. Input of an experienced teacher of practical reasoning is also recommended to generalize the results of the experimental study.

  • PDF