• 제목/요약/키워드: 형식적추론

검색결과 148건 처리시간 0.031초

중등학교 지구과학 교사들의 과학적 설명: 논리적 형식과 담화적 특징 분석 (Scientific Explanations by Earth Science Teachers in Secondary Schools: Analyses of the Logical Forms and Discursive Features)

  • 오필석
    • 한국과학교육학회지
    • /
    • 제27권1호
    • /
    • pp.37-49
    • /
    • 2007
  • 본 연구의 목적은 우리나라 중등학교 지구과학 수업에서 교사들이 제공하는 과학적 설명을 논리적 형식에 따라 분류하고, 서로 다른 형식의 과학적 설명이 지니는 특징과 과학적 설명을 위한 담화 행위에서 교사와 학생들의 역할을 분석하는 것이었다. 연구를 위한 자료는 2003년과 2004년에 해외 단기 연수 프로그램에 참여한 지구과학 교사들로부터 수집되었으며, 총18차시에 해당하는 지구과학 수업 녹화 자료와 전사본을 분석하였다. 분석된 지구과학 수업에서는 연역-법칙적 설명이 가장 빈번히 발생하였고, 연역-법칙적 모형은 과학적 설명을 구성하는 데 필요한 과학 법칙이나 상위의 원리가 잘 정립된 문제에 알맞은 것임을 알 수 있었다. 하지만, 지구과학의 후진적 추론 과제를 다루는 상황에서는 귀추적 설명이 제공되었고, 일기 속담이나 기상 이변과 같이 지구과학에 특징적인 대상을 설명할 때에는 각각 통계-확률적 모형과 통계-유관성 모형에 부합하는 설명이 활용되었다. 지구과학수업에서 과학적 설명은 주로 교사의 단독적인 발화를 통해 이루어졌으며, 학생들은 과학적 설명을 구성하기 위한 담화 행위에서 주로 소극적인 역할을 담당하였다. 이상과 같은 연구 결과가 과학 수업과 과학교육 연구에 시사하는 점들을 논의하였다.

현실을 패러디한 인디게임의 희비극성 연구 (Analysis of Parody Game as Tragicomedy)

  • 한혜원;김수진
    • 한국게임학회 논문지
    • /
    • 제16권2호
    • /
    • pp.97-110
    • /
    • 2016
  • 디지털 게임은 엔터테인먼트 콘텐츠인 동시에 현대 사회의 문제를 재현하고 메시지를 전달할 수 있는 문화 콘텐츠이다. 본 연구는 현실을 패러디한 인디게임의 서사와 플레이의 특징을 곤잘로 프라스카의 확장 모델 개념을 적용해 분석하고, 이를 토대로 디지털 게임이 현실의 문제를 인식하고 반영하는데 있어서 효과적인 예술 양식임을 증명했다. 현실 패러디 게임의 경우, 이면적으로는 개발자가 실제 세계의 사회 문화적 문제들을 비극적으로 인식하되, 표면적으로 플레이어에게는 희극적인 패러디와 반복적 플레이를 통해서 풍자와 아이러니로 전달한다. 특히 디지털 게임의 경우 '플레이'라는 과정추론적 형식을 통해서 '패러디'의 내용을 재현하고 전달한다는 점에서 특이할 만하다. 이처럼 현실 패러디 게임에서 플레이어는 진지한 주제(serious theme)를 1인칭 입장의 캐주얼 플레이(casual play)를 통해서 경험하며, 희극적인 서사를 통해 비극적인 현실을 직접적으로 인지하게 된다.

4학년 아동의 비와 비례 개념 분석 (Analysis on Ratio and Proportion Concepts: A Story of a Fourth Grader)

  • 이종욱
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제16권2호
    • /
    • pp.157-177
    • /
    • 2006
  • 비와 비례 개념은 독립적으로 발달하는 것이 아니다. 오히려 이런 개념은 곱셈적 개념 장의 일부분으로 서로 관련을 가지면서 발달하게 된다. 곱셈적 개념 장에는 곱셈, 나눗셈, 분수, 비, 유리수와 같은 개념을 포함한다. 본 연구에서는 이런 개념의 발달 과정이 어떻게 시작하는가를 알아보기 위한 목적으로, 한 초등학교 4학년 아동을 대상으로 비례추론 과제를 해결하는 실험 수업을 실행하였다. 연구를 통해 이 아동이 비형식적 전략을 전개하면서 어떤 도전에 직면하였는지 그리고 비와 비례 개념을 전개하면서 어떤 수학적 지식이 유용하였는지를 분석할 수 있었다. 이러한 연구 결과는 비와 비례 개념의 발달은 곱셈적 개념 장의 발달과 깊은 관계가 있다는 기존의 입장을 지지하는 것으로 나타났다.

  • PDF

온톨로지를 이용한 개념형 소프트웨어 프로세스 데이터베이스 설계 및 구현 (Design of Conceptual Software Process Database, Using Ontology)

  • 이준하;박용범
    • 정보처리학회논문지D
    • /
    • 제14D권2호
    • /
    • pp.203-210
    • /
    • 2007
  • 온톨로지는 인간의 사고 체계와 근접한 표현을 가능하게 해주는 형식적이고 명시적인 지식베이스로 사용 가능하다. 또한 소프트웨어 프로세스란 소프트웨어 개발 역량 성숙도가 높은 조직이 공통적으로 수행하는 모범적인 체계와 절차의 집합이다. 그러나 소프트웨어 프로세스는 복잡한 개념이 거미줄처럼 얽히어 간단한 프로세스의 도입과 개선 활동마저도 가로막는 결과를 초래하게 된다. 온톨로지를 소프트웨어 개발 프로세스간의 복잡한 사상들에 적용함으로써 프로세스간의 상관관계를 개념적으로 추론하여 결과를 보여 주제 되면 소프트웨어 개발 프로세스의 도입과 개선이 용이해질 수 있다. 본 논문에서는 온톨로지 매핑을 이용하여 국제 표준인 ISO/IEC 15504와 역량성숙도 모델인 CMMI를 개념적으로 엮음으로써 구현한 개선된 프로세스 데이터베이스를 활용하기 위한 방법을 제시한다.

사례기반추론 기법을 이용한 개인화된 추천시스템 설계 및 구현 (Design and Implementation of personalized recommendation system using Case-based Reasoning Technique)

  • 김영지;문현정;옥수호;우용태
    • 정보처리학회논문지D
    • /
    • 제9D권6호
    • /
    • pp.1009-1016
    • /
    • 2002
  • 본 논문에서는 인터넷 컨텐츠 사이트에서 묵시적인 평가정보를 이용한 새로운 사례기반 추천시스템을 설계하고 구현하였다. 본 시스템은 크게 사용자 프로파일 생성 모듈, 유사도 계산 및 추천 모듈, 개인화된 메일링 모듈로 구성된다. 사용자 프로파일 생성 모듈에서는 사용자가 컨텐츠를 이용하면서 남긴 로그 기록을 이용하여 컨텐츠에 대한 개인별 선호도를 추출할 수 있는 속성내, 속성간 가중치를 제시하였다. 유사도 계산 및 추천 모듈에서는 사용자 프로파일과 새로운 컨텐츠간의 유사도를 측정하기 위한 유사도 계산식을 제시하였다. 개인화된 메일링 모듈에서는 개인별 선호도에 의해 구성된 추천 컨텐츠를 플렛폼-독립적인 XML 문서 형식으로 변환하여 발송한다. 제안된 모델에 대한 추천 효율을 검증하기 위해 평균절대오차(MAE)와 반응자작용특성(ROC) 값을 이용하여 제안한 추천 모델과 협동적 필터링 기법과 비교 실험하였다. 실험결과, 본 논문에서 제안한 모델의 추천 효율이 기존의 협동적 필터링 기법보다 우수함을 보였다.

시설 재배 수박병 진단을 위한 전문가시스템의 개발 (Development of an Expert System for Diagnosing Diseases of Watermelon Grown in Greenhouse)

  • 조성인;박은우;이강걸;김승찬
    • 생물환경조절학회지
    • /
    • 제3권1호
    • /
    • pp.28-35
    • /
    • 1994
  • 본 연구에서는 시설 재배 수박에 자주 발생하는 8가지 병과 1가지 생리장해 증상을 진단할 수 있는 수박병 진단용 전문가시스템인 WDES를 개발하였다. 사용된 전문가시스템 개발도구로 HCLIPS를 사용하여 한글 입출력이 가능하게 하였다. WDES의 지식베이스는 35개 IF-THEN 형식의 규칙으로 구성되었으며 추론과정은 순방향 추론방식을 채택하였다. 질문 문항별로 도움말, 도움그림, 질문이유 등의 도움기능을 포함시켜 사용자가 질문 문항에 대한 답변을 쉽게 할 수 있도록 하였다. 수박재배자와 전문연구자들이 WDES를 사용해 본 결과 WDES의 타당성과 실용가능성을 인정할 수 있었다. 실제 수박밭에서는 다양한 종류의 병과 생리적 장해가 함께 발생되고 있으므로 WDES가 실용적으로 사용되기 위해서는 각종 병 증상들에 대하여 좀더 세부적인 특징을 파악하여 지식베이스 내의 규칙을 보완해야 한다.

  • PDF

퍼지와 DEVS를 이용한 선박 충돌 위험 예측 모델 설계 (Design of the Model for Predicting Ship Collision Risk using Fuzzy and DEVS)

  • 이미라
    • 한국시뮬레이션학회논문지
    • /
    • 제25권4호
    • /
    • pp.127-135
    • /
    • 2016
  • 선박에 현대화된 다양한 항해장비들이 설치됨에도 불구하고 여전히 해양사고가 자주 일어나는데, 이런 사고의 주요 형태 중 하나가 충돌 사고이다. 우리나라 해양사고의 약 1/4이 충돌에 의한 사고이고, 이 중 대부분이 인적오류가 원인인 것으로 알려져 있다. 따라서, 항해사의 의사결정을 도울 수 있는 지능적인 지원 도구가 필요한데, 이와 관련하여 충돌위험을 추정하는 다양한 방식들이 꾸준히 소개되어 왔으며 충돌위험 상황에 대해 사람에게 친숙한 언어적 표현을 반영하여 추론하기 위해 퍼지를 활용한 연구 결과들이 많다. 이런 기존 연구들의 충돌위험도는 현재시점에서 선박들의 속도나 방향 상태가 유지되는 것을 기준으로 충돌위험도를 추정한다. 그러나, 실제 선박에서는 충분히 피항 가능 상황임에도 불구하고 충돌 위험으로 판단되어 잦은 경고를 울리는 시스템들에 대해 항해사들이 느끼는 불편함이 적지 않아 보조 장치들의 알람 기능을 꺼놓은 경우도 많은 것으로 알려져 있다. 이 연구는 선박들의 일반적인 피항 패턴을 반영한 가까운 미래 시점의 충돌위험도 예측에 관한 것으로서, 퍼지추론과 DEVS 형식론에 기반한 충돌 위험 예측 모델을 제안한다.

Bayesian Network 기반 소규모 저수지의 수문학적 위험도 분석 모형 개발 (A Development of Hydrologic Risk Analysis Model for Small Reservoirs Based on Bayesian Network)

  • 김진국;김진영;권덕순;권현한
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2017년도 학술발표회
    • /
    • pp.105-105
    • /
    • 2017
  • 최근 우리나라에서는 국지성호우로 인해 발생하는 돌발홍수에 방어하지 못하는 소규모 저수지에 대한 붕괴사고가 빈발하고 있다. 붕괴된 저수지를 살펴보면, 대체적으로 규모가 작아 체계적인 안전관리가 이루어지지 않거나 경과연수가 50년 이상인 필댐(fill dam) 형식으로 축조된 노후저수지로서 갑작스러운 홍수를 대응하는데 있어 매우 취약한 상태이다. 체계적으로 운영되는 대형댐에 비해 축조기간이 오래된 소규모 저수지의 경우, 저수지에 대한 수문학적 정보가 거의 없거나 미계측되어 보수보강이 필요한 저수지를 선정하거나 정량적인 위험도를 분석하는데 매우 어려운 실정이다. 이러한 이유로 본 연구에서는 노후된 소규모 저수지에 대한 수문학적 파괴인자들을 선정하여 Bayesian Network기반의 소규모 저수지 위험도 분석 모형을 구축하였다. 구축된 모형을 기준으로 고려될 수 있는 다양한 위험인자 및 이들 인자간의 연관성을 평가하였으며, 각각의 노드에 파괴인자를 노드로 할당하여 소규모 저수지의 위험도를 분석하였다. Bayesian Network기법의 도입으로 불확실한 상황을 확률로 표시하고, 복잡한 추론을 정량화된 노드의 관계로 단순화시켜 노드의 연결 관계로 표현하였다. 본 연구에서 제안된 모형은 노후된 소규모 저수지의 수문학적 위험도를 정량으로 분석하는 모형으로서 활용성이 높을 것으로 기대된다.

  • PDF

지능형 OMDR 기반의 자동 문서 공유 에이전트를 이용한 지식서비스 (A Knowledge Service Using Automatic Document Sharing based on Intelligent OMDR)

  • 김수경;최호진
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 추계학술발표대회
    • /
    • pp.747-750
    • /
    • 2008
  • 본 연구는 온톨로지, 자연어 처리, 메타데이터 등의 시맨틱 웹 기반 기술들을 이용하여 시맨틱 웹 응용을 위한 전체적인 기술 적용과 그의 활용에 목적을 두고 있다. 이를 위해 OWL을 기반으로 조직이나 기관의 지식 주제별 도메인 온톨로지와, 기존 워드넷(WordNet)이나 더브린 코어 메타데이터(Dublin Core Meta Data)와 조직에 정의된 데이터베이스의 스키마를 MDR로 구축하여 상호 연결하여 온톨로지가 갖는 지능적 추론과 규칙 서비스와 표준화된 메타데이터의 결합 방법을 제공한다. 이는 기존에 온톨로지와 메타데이터의 재활용과 연결(Alignment)에 있어 연구적으로 높은 가치가 있다. 그리고 조직의 사용자가 문서를 작성할 때 문서의 내용에 대해 자연어 처리 기술과 온톨로지의 기술을 이용해 적합한 용어나 메타데이터를 자동으로 제공하여 작성된 문서의 공유와 재사용성을 높이고, 작성된 문서를 XML 형식으로 구성되는 XML 기반 지능 문서 데이터베이스(XMB Based Intelligent Document Database)에 저장하여 유사한 문서를 작성하거나 사용할 필요가 있는 사용자에게 문서 등록과 검색 에이전트(Document Registry and Retrieval Agent)를 통해 이러한 제공하여 문서 지식의 사유화를 최소화 하고, 유사 문서의 재작성과 또는 특정 문서의 작성에 필요한 시간이나 경비를 줄이게 된다. 또한 웹상이나 PDA 같은 개인 휴대장치를 통해서도 서 등록과 검색 에이전트를 통해 문서를 검색하고 사용할 수 있게 한다면 언제 어디서나 해당 서비스를 활용하는 유비쿼터스와 시맨틱 웹의 실질적 응용을 거둘 수도 있으리라 사료된다.

패널회귀모형에서 최대엔트로피 추정량에 관한 연구 (A Study of Generalized Maximum Entropy Estimator for the Panel Regression Model)

  • 송석헌;전수영
    • 응용통계연구
    • /
    • 제19권3호
    • /
    • pp.521-534
    • /
    • 2006
  • 횡단면 자료와 시계열 자료가 병합된 패널회귀모형을 다루는 대부분의 연구들에서 사용되고 있는 자료는 완전한 자료를 고려하고 있다. 그러나, 실제적으로 완전한 자료보다는 불완전한 자료가 많다. 이러한 상황을 고려하지 않고 통계적인 추론을 하게 되면 잘못된 결론이 도출될 수 있다. 따라서, 자료의 형태를 충분히 고려한 추정량을 바탕으로 자료를 분석해야 한다. 본 연구는 패널회귀모형에서 자료가 불완전 상태인 경우 최대 엔트로피 형식을 이용한 일반화최대엔트로피 추정량을 제안하고, 추정량들의 효율성을 모의실험을 통하여 비교하였다. 모의실험 결과, 일반화 최대엔트로피 추정량이 가장 안정적이고 효율적인 추정량임을 보여주었다.