• 제목/요약/키워드: formal inference

검색결과 23건 처리시간 0.017초

컨텍스트 인지 모바일 컴퓨팅을 위한 정형모델 및 추론 시스템 설계 (A Formal Model and a Design of Inference Engine for Context-Aware Mobile Computing)

  • 김문권;김수동
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제2권4호
    • /
    • pp.239-250
    • /
    • 2013
  • 가용 센서를 내장하고 있는 모바일 디바이스의 사용이 많아지고 자동화, 자율화, 사용자 맞춤식 서비스의 요구가 커짐에 따라 컨텍스트 인지 모바일 컴퓨팅 (Context-Aware Mobile Computing)의 필요성이 증대하고 있다. 하지만 추론 시스템 설계는 컨텍스트 분석, 인지하고자 하는 상황분석 등의 복잡한 과정을 요구한다. 또한 모바일 디바이스의 제한된 자원 때문에 컴퓨팅 파워가 높은 서버에 탑재된 추론 엔진을 통해 추론을 수행하는 것이 적합하다. 본 논문에서는 이러한 과정을 간결하고 정확하게 표현하기 위한 컨텍스트-상황 추론 요소의 범용적 정형 모델을 제안하고 추론 요소들의 정형 모델을 실사례에 적용하여 본 논문에서 제안하고 있는 추론 요소들의 정형 모델이 실효성을 가지고 있으며 범용적임을 보여준다. 또한 제한한 추론 요소들을 컴퓨팅 환경에서 실현화하기 위해 제안한 정형 모델들을 기반으로 추론 엔진을 설계 및 구현하고 추론 실험을 통해 추론 엔진의 실효성과 재사용성을 검증한다.

퍼지 객체 추론 모델의 정형화 (A Formal Specification of Fuzzy Object Inference Model)

  • 양재동;양형정
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제27권2호
    • /
    • pp.141-150
    • /
    • 2000
  • 기존의 퍼지 규칙 기반 전문가 시스템 언어에는 크게 세 가지 단점들이 있다. 첫째, 복합 객체 추론 기능이 없으며, 둘째, 의미적으로 이해하기 쉽고 개념적으로 사용하기 용이한 퍼지 추론을 지원하지 못할 뿐 아니라, 세째, 지식 표현과 추론 방식이 기존의 데이터베이스 모텔과 구문이나 의미에서 현격 한 차이를 보이고 있기 때문에 서로 통합되기 어렵다. 본 논문에서는 이 세가지 단점들을 해결하기 위한 퍼지 객체 추론 모델의 정형화를 보이고, GIS 응용을 예로 들어 제시하는 모델이 데이타베이스내 GIS 복합 객체들을 자연스럽게 모델링하고, 이들 사이의 퍼지 추론을 성공적으로 수행함을 보인다.

  • PDF

Designing an Assessment to Measure Students' Inferential Reasoning in Statistics: The First Study, Development of a Test Blueprint

  • Park, Jiyoon
    • 한국수학교육학회지시리즈D:수학교육연구
    • /
    • 제17권4호
    • /
    • pp.243-266
    • /
    • 2013
  • Accompanied with ongoing calls for reform in statistics curriculum, mathematics and statistics teachers purposefully have been reconsidering the curriculum and the content taught in statistics classes. Changes made are centered around statistical inference since teachers recognize that students struggle with understanding the ideas and concepts used in statistical reasoning. Despite the efforts to change the curriculum, studies are sparse on the topic of characterizing student learning and understanding of statistical inference. Moreover, there are no tools to evaluate students' statistical reasoning in a coherent way. In response to the need for a research instrument, in a series of research study, the researcher developed a reliable and valid measure to assess students' inferential reasoning in statistics (IRS). This paper describes processes of test blueprint development that has been conducted from review of the literature and expert reviews.

이접적 퍼지 정보를 지원하는 퍼지 객체 추론 모델의 정형화 (A Formal Specification of Fuzzy Object Inference Model for Supporting Disjunctive Fuzzy Information)

  • 양형정;양재동
    • 한국산업정보학회:학술대회논문집
    • /
    • 한국산업정보학회 2001년도 춘계학술대회논문집:21세기 신지식정보의 창출
    • /
    • pp.184-197
    • /
    • 2001
  • 본 논문에서는 이접적 퍼지 정보를 지원하는 퍼지 객체 추론 모델을 정형화하고, 이접적 퍼지 정보를 지원하는 지식기반 프로그래밍을 위한 구현으로서 ICOT(Integrated C-Object Tool)을 제안한다. 제안된 객체 추론 모델은 객체 추론과 퍼지 추론이 객체-관계형 데이터베이스와 호환성있는 일관된 틀로 병합 되어 있으며, 객체 지향 패러다임의 대부분이 관계형 구조로 표현되기 때문에, 의미적으로 이해하기 쉽고 개념적으로 사용하기 단순한 퍼지 추론을 지원한다. 또한 이접적 퍼지 정보를 지원함으로써 데이터의 의미적 표현력을 강화시킨다.

  • PDF

다양한 의료 분석 방식을 지원하는 효과적 추론 기법 설계 및 적용 지침 (A Design of Effective Inference Methods and Their Application Guidelines for Supporting Various Medical Analytics Schemes)

  • 김문권;라현정;김수동
    • 정보과학회 논문지
    • /
    • 제42권12호
    • /
    • pp.1590-1599
    • /
    • 2015
  • 다양한 개인 의료 장비들이 등장함에 따라 개인 의료 컨텍스트가 풍부하게 수집되고 있다. 이렇게 수집된 의료 컨텍스트를 분석함으로써 소프트웨어적으로 질병을 진단하기 위한 노력이 이어지고 있다. 본 논문에서는 의료 전문가들이 사용하는 의료 분석 기법을 정형화하고, 각 의료 기법을 실현화하기 위한 추론 기법을 식별하며, 추론기법의 적용 지침을 제시한다. 또한, 의료 기법을 제공하는 추론 시스템을 PoC 수준에서 개발하고, 실제 의료 컨텍스트를 분석하여 질병 진단 실험을 수행함으로써 제시하는 의료 분석 기법 및 추론 기법 적용 지침의 실효성과 그 효과를 검증한다.

Developing JSequitur to Study the Hierarchical Structure of Biological Sequences in a Grammatical Inference Framework of String Compression Algorithms

  • Galbadrakh, Bulgan;Lee, Kyung-Eun;Park, Hyun-Seok
    • Genomics & Informatics
    • /
    • 제10권4호
    • /
    • pp.266-270
    • /
    • 2012
  • Grammatical inference methods are expected to find grammatical structures hidden in biological sequences. One hopes that studies of grammar serve as an appropriate tool for theory formation. Thus, we have developed JSequitur for automatically generating the grammatical structure of biological sequences in an inference framework of string compression algorithms. Our original motivation was to find any grammatical traits of several cancer genes that can be detected by string compression algorithms. Through this research, we could not find any meaningful unique traits of the cancer genes yet, but we could observe some interesting traits in regards to the relationship among gene length, similarity of sequences, the patterns of the generated grammar, and compression rate.

'그림그래프에서 추론하기' 과제에서 나타나는 초등학교 5, 6학년 학생들의 통계적 소양 (Statistical Literacy of Fifth and Sixth Graders in Elementary School about the Beginning Inference from a Pictograph Task)

  • 문은혜;이광호
    • 한국수학교육학회지시리즈C:초등수학교육
    • /
    • 제22권3호
    • /
    • pp.149-166
    • /
    • 2019
  • 초등학교 수학에서 자료와 가능성 영역은 통계적 과정에서 요구되는 기초적인 통계적 내용을 학습하여 통계의 기초 소양을 기르는 단원이다. 학생들은 실제 자료에서 정보를 추출하고, 이를 표와 그래프로 정리하여 결론을 통계적으로 추론하며, 합리적인 의사결정을 내리는 과정을 경험한다. 본 연구에서는 '그림그래프에서 추론하기' 과제에 대한 초등학교 5, 6학년 학생들의 통계적 소양을 분석하여 초등학교에서 추론 학습 가능성과 통계적 소양의 관점에서 그림그래프의 교육적 가치를 살펴본다. 학생들의 통계적 사고를 길러주는 것은 통계교육에서 중요한 목표이며, 비형식적인 통계 추론의 경험은 이후 학습할 형식적 통계적 추론에 도움을 줄 수 있다. 따라서 '그림그래프에서 추론하기' 과제에서 나타나는 초등학생들의 통계적 소양에 대한 논의는 학교 통계 교육에 유의미한 시사점을 제시할 것이다.

CLARIFYING THE PARADIGM ON RADIATION EFFECTS & SAFETY MANAGEMENT: UNSCEAR REPORT ON ATTRIBUTION OF EFFECTS AND INFERENCE OF RISKS

  • Gonzalez, Abel J.
    • Nuclear Engineering and Technology
    • /
    • 제46권4호
    • /
    • pp.467-474
    • /
    • 2014
  • The aim of this paper is to describe a relatively recent international agreement on the widely debated concepts of: (i) attributing effects to low dose radiation exposure situations that have occurred in the past and, (ii) inferring radiation risk to situations that are planned to occur in the future. An important global consensus has been recently achieved on these fundamental issues at the level of the highest international intergovernmental body: the General Assembly of the United Nations. The General Assembly has welcomed with appreciation a scientific report on attributing health effects to radiation exposure and inferring risks that had been prepared the United Nations Scientific Committee on the Effects of Atomic Radiation (UNSCEAR) following a formal request by the General Assembly.

적기의 위협 평가 자동화를 위한 퍼지 규칙 방법론 (Fuzzy Rule-Based Method for Air Threat Evaluation)

  • 최병주;김지은;김진수;김창욱
    • 한국군사과학기술학회지
    • /
    • 제19권1호
    • /
    • pp.57-65
    • /
    • 2016
  • Threat evaluation is a process to estimate the threat score which enemy aerial threat poses to defended assets. The objective of threat evaluation is concerned with making an engagement priority list for optimal weapon allocation. Traditionally, the threat evaluation of massive air threats has been carried out by air defence experts, but the human decision making is less effective in real aerial attack situations with massive enemy fighters. Therefore, automation to enhance the speed and efficiency of the human operation is required. The automatic threat evaluation by air defense experts who will perform multi-variable judgment needs formal models to accurately quantify their linguistic evaluation of threat level. In this paper we propose a threat evaluation model by using a fuzzy rule-based inference method. Fuzzy inference is an appropriate method for quantifying threat level and integrating various threat attribute information. The performance of the model has been tested with a simulation that reflected real air threat situation and it has been verified that the proposed model was better than two conventional threat evaluation models.

Some new similarity based approaches in approximate reasoning and their applications to pattern recognition

  • Swapan Raha;Nikhil R. Pal;Ray, Kumar-Sankar
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
    • /
    • pp.719-724
    • /
    • 1998
  • This paper presents a systematic developement of a formal approach to inference in approximate reasoning. We introduce some measures of similarity and discuss their properties. Using the concept of similarity index we formulate two methods for inferring from vague knowledge. In order to illustrate the effectiveness of the proposed technique we use it to develop a vowel recognition system.

  • PDF