• 제목/요약/키워드: 서술논리

검색결과 113건 처리시간 0.02초

「가정과 논리 및 논술」 교과목의 운영 실태 및 가정교육과 학생의 인식 (The status of 「Logic and Writing in Home Economics Education」 course and the students' perception about the course)

  • 최민지;채정현;전미경
    • 한국가정과교육학회지
    • /
    • 제27권1호
    • /
    • pp.51-65
    • /
    • 2015
  • 본 연구는 "가정과 논리 및 논술" 교과목의 운영 실태와 이 과목을 수강한 가정교육과 재학생의 인식을 알아보는데 목적이 있다. 이를 위해 전국 사범대학 가정교육과에서 개설된 "가정과 논리 및 논술" 교과목의 강의계획서를 수합하여 내용 분석하였다. 이를 바탕으로 설문지를 구성하여 사범대학 가정교육과에 재학 중인 학생 가운데 이 교과목을 수강한 학생들을 대상으로 설문조사를 실시하였다. 전체 응답자는 116명이며, SPSS/WIN 21.0으로 분석하였다. 본 연구의 주요결과는 다음과 같다. 첫째, "가정과 논리 및 논술"의 강의계획서 분석 결과, 교과목의 목표는 가정교육과와 관련된 다양한 주제에 대한 논리적 서술 능력 함양의 목표가 가장 많았고, 다음으로 논리적인 설득력 강화를 통한 가정과교사의 전문성 향상, 논리적 글쓰기 함양, 임용고사 준비, 그리고 학교 현장에서 학생들의 글쓰기를 잘 지도할 수 있는 능력 함양의 순이었다. 이 교과목에 대한 강의내용은 가정교과 세부전공 중심의 글쓰기, 일반적인 글쓰기 기초, 가정과 임용고사 준비, 논리논술 관련 이론, 가정과 교육 관련 최근의 이슈, 중등학교 현장에서의 논술교육 및 논술지도 방안의 순이었다. "가정과 논리 및 논술" 강의의 학습평가방법은 대개 출석, 시험, 과제, 토론 및 발표, 수업참여를 중심으로 제시되었으며 이 교과목의 과제는 모두 '글쓰기'였다. 둘째, "가정과 논리 및 논술"과목을 수강한 학생들의 인식 조사에서 강의목표에 대한 만족도가 가장 높았으며, 학습평가방법에 대한 만족은 가장 낮았으나 모두 4점 만점에서 2점 이상으로 나타나 수강생들은 이 교과목에 대해서 대체로 만족하였다. 셋째, 가정교육과 재학생들은 "가정과 논리 및 논술" 교과목이 논리적 비판적 분석 능력의 향상, 가정과교육 및 교육학 관련 글쓰기 실력의 향상, 그리고 자신의 생각을 정확하고 체계적으로 표현하는 능력의 향상이 도움이 되었다고 하였다. 이 교과목 수강 시 어려운 점에 대하여 글쓰기 연습이 가장 어려웠고, 다음으로 잦은 토의 및 토론활동, 모호한 학습평가방법 기준, 빈번한 발표, 교수자의 피드백 부족, 과도한 과제, 어려운 강의내용 순으로 인식하였다. 결론적으로, "가정과 논리 및 논술" 교과목은 논리적 비판적 사고력을 키워 가정과교육에 대한 이해를 넓히는 것을 목표로 하는데, 조사결과 본 교과목은 비교적 목표에 잘 부합되게 운영되고 있었다. 다만 교과교육학영역에 '논리 및 논술에 관한 교육'이 신설된 이후 임용시험 유형도 논술형으로 바뀌면서, 학생들은 이 교과목에서 임용시험을 대비할 수 있기를 기대하고 있다. 따라서 "가정과 논리 및 논술" 교과목의 특성과 목표를 유지하면서 학생들의 임용시험 준비에 대한 요구를 제대로 반영하여 이 교과목에 대한 운영을 보완하여야 할 것이다.

  • PDF

학교 과학 우수아들의 논리적 사고력 수준과 물리심화 학습성취도의 상관 조사 (A Study on the Relationship Between Logical Thinking Level and the Achievement in Enrichment Physics of School Science High Achievers)

  • 김영민;이성이
    • 한국과학교육학회지
    • /
    • 제21권4호
    • /
    • pp.677-688
    • /
    • 2001
  • 본 연구의 목적은 교사가 과학 과목에 있어 우수하다고 지명한 학생(과학 우수아)들을 대상으로 이들의 물리심화 학습성취도는 어느 정도이고 논리적 사고력수준은 어느 정도인지 조사하고, 물리심화 학습성취도와 논리적 사고력 수준의 상관 관계는 어떠한지를 분석하는 것이다. 연구 대상은 학교과학 학습성취도가 높은 35명의 중학교 1학년, 2학년 학생들이다. 물리심화 학습성취도 측정도구는 본 연구자들이 개발한 것으로 중학교 과정에 해당하는 내용을 중심으로 단순 지식으로 풀 수 있는 문제는 아니며, 한 두 단계의 사고를 요하는 것으로 서술형 문항으로 구성하였다. 논리적 사고력 검사도구는 로드랑카 등에 의해 개발된 GALT를 번안하여 사용하였다. 연구 결과, 과학우수아들의 물리심화 학습성취도 수준은 150점 만점에 56.3점으로 낮게 나타났으며, 이것으로 중학교 과학 우수아들은 교과서 내용 외에 그보다 심화된 과학학습을 별로 하지 않음을 알 수 있었다. 과학 우수아들의 단지 54.3%만이 논리적 사고력이 형성 단계에 있었으며, 과학 우수아들의 논리적 사고력 수준과 물리심화 학습성취도의 상관 관계를 살펴본 결과 상관계수 r=0.l74 로 거의 상관관계를 가지지 않는 것으로 나타났다. 그러므로 학교과학 학습성취도 또는 물리심화 학습성취도만으로 과학 영재를 판별하는 것은 바람직하지 않으며, 물리심화 학습성취도와 논리적 사고력 수준을 측정하기 위한 시험은 두 가지 모두 행해져야한다.

  • PDF

추론을 위한 OWL-DL과 SWRL의 효율적 결합 (Efficieint Combination of OWL-DL and SWRL for Maintaining Decidability)

  • 서은석;박준상;박영택
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (B)
    • /
    • pp.372-377
    • /
    • 2006
  • 유비쿼터스 컴퓨팅 시대의 도래와 시맨틱 웹에 대한 관심이 높아짐에 따라 관련 기술인 온톨로지와 이를 이용한 추론 기술에 대한 요구가 증가하고 있다. 따라서, 추론이 가능한 시맨틱 웹 기반의 모델링과 추론에 대한 연구가 필요하다. 모델링을 위해 사용되는 OWL-DL과 임의의 사용자 규칙을 표현하는 SWRL은 각각 W3C의 표준안으로서, 유비쿼터스 컴퓨팅 환경에 효율적으로 자동적인 개인화 서비스[1][2]를 제공하는데 있어서 적합하다. 그러나 OWL-DL과 SWRL의 단순한 결합은 질의응답(Query Answering)에 대한 처리가 비결정 가능한(undecidable) 문제를 야기한다. 본 논문에서는, 비결정가능성 문제의 원인인 무한반복의 가능성을 제거하기 위한 블록(blocking) 방법을 제안한다. OWL-DL이 지닌 서술논리(Description Logic)의 표현력을 유지하고, 그에 따른 추론의 질적인 성능을 유지하는 범위에서 블록방법을 사용하여 결정 가능한 질의응답을 수행하는데 궁극적인 목적을 두고 있다. OWL-DL의 TBox에 위치하는 존재 정량자(Existential Quantifier)를 대체하고 ABox에 삽입하여, 무한반복의 가능성을 없애는 해결 방법을 제시한다. 실험은 비결정가능성 문제를 DL-Safe 규칙을 통해 해결한 KAON2와 비교하여 진행한다.

  • PDF

대용량 ABox에서 서술논리 SHIQ(D) 추론 지원 방법 (A Method for Supporting Description Logic SHIQ(D) Reasoning over Large ABoxes)

  • 서은석;최용준;박영택
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제34권6호
    • /
    • pp.530-538
    • /
    • 2007
  • 현존하는 추론 엔진들은 대부분 Tableaux 알고리즘 기반의 TBox의 최적화를 위한 연구를 진행하였다. 하지만 현실에서 대용량의 ABox를 추론하기 위해서는 유한한 시간 내에 결정 가능하지 못하다. 따라서 실용성 있는 추론 엔진 효율을 위해서는 대용량 데이타를 가지는 ABox를 위한 최적화된 추론 기법이 필요하다. 본 논문에서는 OWL-DL 기반의 온톨로지(Ontology)를 데이타로그(Datalog)와 같은 규칙(Rule) 형태로 변형하여 관계형 데이타베이스와 같은 저장장치와 연동하기 위한 방법을 이용한다. 최종적으로 실세계의 환경에서의 데이타타입 속성(Datatype Property)이 포함된 SHIQ(D) 구성의 실용적인 지식 표현 시스템을 수행하고자 한다. 따라서 OWL이 가지는 공리(Axiom)를 이용한 데이타타입이 포함된 규칙을 적용한 추론 방법에 대해서 제안하였다.

지능적 정보처리를 위한 퍼지추론기관의 구축 (Development of Fuzzy Inference Mechanism for Intelligent Data and Information Processing)

  • 송영배
    • Spatial Information Research
    • /
    • 제7권2호
    • /
    • pp.191-207
    • /
    • 1999
  • 공간과 관련된 의사결정문제 해결에 필요한 취득가능한 자료나 정보는 불완전하거나 부정확하며, 많은 부분 자연산어(natural language)로 기술되어 있다. 이 같은 정보들을 컴퓨터를 이용하여 처리하기 위해서는 결국 컴퓨터로 하여금 인간이 사용하는 자연어를 이해할 수 있도록 애매한 특성의 언어값(Linguistic value)을 정량적으로 기술할 필요가 있다. 이를 위해 퍼지집합(fuzzy set) 이론을 퍼지논리(fuzzy logic)가 대표적인 방법론으로 이용되고 있다. 본 논문에서는 부정확하거나 불명확한 자료 및 정보를 기반으로 의사결정문제를 지능적으로 처리하기위해 사용자가 가장 이해하기 쉬운 자연어로 『언어모델』을 구축하고, 평가사안이나 의사결정문제가 불명확하게 서술될 경우 컴퓨터를 이용한 구조화 및 추론을 통한 문제해결이 가능하도록 퍼지추론기관구축을 위한 일련의 논리적 개념과 구축과정을 연구하였다.

  • PDF

해쉬 함수 SHA-3 개발 동향

  • 이유섭;이제상;강진건;홍석희;성재철
    • 정보보호학회지
    • /
    • 제19권4호
    • /
    • pp.44-52
    • /
    • 2009
  • 2005년 중국의 Wang 교수 연구팀에 의해 SHA-1에 대한 충돌쌍 공격이 발표됨에 따라, SHA-1 대신 SHA-2를 사용하도록 하였다. 아직까지 SHA-2에는 SHA-1과 같은 문제점이 발생하지 않고 있지만, SHA-1과 설계 논리가 유사한 SHA-2에 문제점이 생겼을 경우 대체 알고리즘이 부재한 현 상황에 따라 SHA-3 알고리즘 개발의 필요성이 제기되었다. 이에 미국 국립기술 표준원 (NIST, National Institute of Standards and Technologies)는 신규 표준 해쉬 알고리즘을 개발을 위하여 2007년부터 2012년까지 6년간의 "SHA-3 프로젝트"를 시작하였다. 2008년 11월 1일 64개의 알고리즘이 제출되었으며, 12월 11일 51개의 알고리즘이 1 후보 알고리즘으로 선정되었다. 2009년 7월 현재, 10개의 알고리즘이 제안자에 의해 철회되어 41개의 알고리즘이 1 라운드에서 심사되고 있다. 본 논문에서는 SHA-3 개발의 요구 사항과 현재까지 SHA-3 개발 동얄을 서술한다.

원자력발전소를 위한 강의실용 가상발전소 교육훈련 시스템 개발 (Development of the Virtual Reality Plant for Nuclear Power Plant)

  • 홍진혁
    • 한국에너지공학회:학술대회논문집
    • /
    • 한국에너지공학회 2003년도 춘계 학술발표회 논문집
    • /
    • pp.391-398
    • /
    • 2003
  • 지금까지 전범위 시뮬레이터에 의해 이루어진 원자력 및 화력발전소에서의 운전원교육은 실제 발전소 주제어실과 유사한 상황을 전개한다는 장점을 가지고 있으나, 주요 계통 및 기기에 대한 설명을 위해서는 교과서를 공유하거나, 강사의 지식을 칠판에 서술하는 방법으로만 진행되어 왔다. 전력연구원은 이러한 교육을 상당부분 강의실 컴퓨터를 이용하여 수행할 수 있다는데 착안하여 강의실용 가상발전소 교육훈련 시스템(VRPLANT)을 개발하였다. VRPLANT는 3차원 웹(Web) 기술을 적용하여 발전소 건물, 건물내의 주요기기 등을 3차원 가상공간에서 구축하여 Navigation할 수 있도록 하였으며, 주요기기에 대해서는 엔지니어링 데이터베이스가 연동되어 있어서 이동 중에 특정 기기를 선택하면 P&ID, 논리도면, 기술설명서 등을 참조해 볼 수 있도록 개발하였다. 또한 기기들은 모니터상에서 분해 및 조립이 가능하여 기기의 형태, 내부구조 및 동작원리 등을 용이하게 이해할 수 있도록 하였다.

  • PDF

최소자원 최대효과의 구문분석 (Maximally Efficient Syntactic Parsing with Minimal Resources)

  • 신효필
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 1999년도 제11회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.242-248
    • /
    • 1999
  • 이 논문은 지역적 동사구 분할에 바탕을 두고 서술어가 문말에 위치하는 언어에 특성에서 기인하는 속성을 반영하는 부분적 그러나 빠른 구문분석에 관해 논한다. 즉 완벽성 보다는 신속함 그리고 신뢰에 바탕을 둔 새로운 한국어 구문분석에 대해 논의한다. 기존의 문법이론 대신 한국어의 형태적 통사적 특성에 기인한, 성분들의 분할(partitions)에 의한 단위 (chunks) 분석방법을 제안한다. 근간은 동사구 장벽(VP-barrier) 알고리즘이며, 이 알고리즘은 한 문장안에서의 다양한 동사의 파생접사에 의해 형성되는 관형화, 명사화, 부사화 등의 파생구조와 내포된 동사구(인용문, 종속문 등)에 의해 형성되는 지역적 동사구내에서 그 성분들의 논리적인 분할을 구성하고 다시 그 다음 요소와 체계적으로 결합하는 관계로 확장하여 가능한 구조들을 생성한다. 다시 언어의존적인 발견적 규칙(heuristics)들을 점수화하여 가장 높은 점수의 단위구조를 적격한 구조로 선택한다. 이 방법은 하위범주화 및 의미정보를 사용하지 않는, 빠른 구문분석이 요구되는 시스템을 위해 고안되었으며, 집단적인 노력이 아닌 개인적인 노력 및 최소의 자원으로도 최대의 효과를 얻을 수 있다는데 그 의의가 있다.

  • PDF

독일 7학년 학생들의 증명문제 해결능력 분석

  • Kwak, Jeeyi;Reiss, Kristina;Thomas, Joachim
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제13권1호
    • /
    • pp.265-274
    • /
    • 2002
  • 이 프로젝트는 수학 수업 중 ‘추론’과 ‘증명’에 관련된 "문제해결과정"에 관심을 가지고, 처음 증명문제를 접하는 독일 7학년 학생들을 대상으로 문제해결능력에 필요한 요인들, 즉, 문제 해결을 위한 수학적 기본지식, 해결된 문제에 대한 인지정도, 논리적 사고 등을 관찰 분석하고 수학교사의 수학에 대한 신념(Beliefs)과 수업 방식이 학생들의 문제해결에 미치는 영향을 조사하는 것에 그 목적을 둔다. 이 프로젝트의 일부의 결과로써, 본 논문에서는 학생들 개개인의 문제해결과정과 그 능력, 그리고 수학에 대한 신념을 서술하고, 수학교사와 학생들의 서로 다른 수학에 대한 신념을 비교 분석한다.

  • PDF

구조물 모니터링 및 진단을 위한 지식모델의 개발 (A Hybrid Knowledge Model for Structural Monitoring and Diagnosis)

  • 김성곤
    • 전산구조공학
    • /
    • 제9권2호
    • /
    • pp.163-171
    • /
    • 1996
  • 구조물 모니터링 시스템의 전산환경을 구성하기 위해 필요한 지식 및 정보를 파악하고 이를 지식기반화하는 방법을 제시하였다. 전산환경의 구축을 위한 정보로는 센서 및 하드웨어, 신호처리, 그리고 손상발견/평가를 위한 지식등이 필요한데, 이들은 모두 다른 형태의 지식이므로, -즉 수학연산, 서술적 지식, 수치모델등- 어느 특정의 모델링 기법 단독으로는 이들을 효과적으로 수용하기가 매우 어렵다. 이를 해결하기 위하여 객체지향적 모델링기법과 논리언어를 혼합사용하는 방법 (Hybrid Modeling Paradigm)이 제시되었고, 이의 타당성 및 효율성 검증을 위해 모델구조물을 이용한 예제를 수행하였다.

  • PDF