• 제목/요약/키워드: Logical reasoning

검색결과 137건 처리시간 0.025초

논리력과 문제해결력 신장을 위한 EPL기반 교육전략 (Education Strategy based on EPL for Heightening of Reasoning and Problem-solving Skills)

  • 한재협;손원성
    • 한국정보교육학회:학술대회논문집
    • /
    • 한국정보교육학회 2010년도 하계학술대회
    • /
    • pp.95-99
    • /
    • 2010
  • 본 연구에서는 초등학교에서 스크래치 프로그램을 활용한 사용자 중심 디자인 모델에 기반한 하이레벨(High Level)단계의 프로토타이핑 기법을 적용하여 응용프로그램 개발 교육모형을 제시하여 적용해 보고 그 효과를 검증해 보고자 한다. 본 연구의 결과는 초등학교에서 문제해결력과 논리적 사고력 신장을 위한 응용프로그램 개발 교육의 새로운 접근방법이 될 것으로 기대한다.

  • PDF

An Introduction to the Edumatrix Set and Its Didactic Capabilities

  • Semenov, Mikhail;Colen, Yong S.;Colen, Jung;Pardala, Antony
    • 한국수학교육학회지시리즈D:수학교육연구
    • /
    • 제23권1호
    • /
    • pp.47-62
    • /
    • 2020
  • Learning through "recreational mathematics" has become a meaningful outlet to children of all ages. The Edumatrix set is a didactic tool for the development of logical and abstract reasoning among students. In this paper, we provide several illustrative exercises involving Edumatrix that teachers can utilize in their classrooms. We formulate students' expected learning outcomes by aligning each exercise to the CCSSM content standards as well as examining which Standards for Mathematical Practices (SMP) our proposed exercises promote.

Cabri II를 활용한 도형의 교수-학습 방안 - 반힐이론을 중심으로 - (A Teaching-Learning Method of Figures Using Cabri II - Focused on the theory of van Hiele -)

  • 최수정;표용수
    • 대한수학교육학회지:학교수학
    • /
    • 제2권1호
    • /
    • pp.165-181
    • /
    • 2000
  • The teaching-learning methods of figures using computers make loose the difficulties of geometry education from the viewpoint that the abstract figures can be visualized and that by means of this visualization the learning can be accomplished through the direct experience or control. In this thesis, we present a teaching-learning method of figures using Cabri II so that the learners establish their knowledge obtained through their search, investigation, supposition and they accomplish the positive transition to advanced 1earning. So the learners extend their ability of sensuous intuition to their ability of logical reasoning through their logical intuition.

  • PDF

분류목록의 추리성에 관한 연구 (A STUDY OF INFERENCE IN CLASSIFIED CATALOGUE)

  • 유소영
    • 한국문헌정보학회지
    • /
    • 제14권
    • /
    • pp.3-18
    • /
    • 1987
  • The factors which can help the library users trace the specific subject that she or he needs are most important, when they are not sure of what they need exactly in front of a classified catalogue. This study is about what the factors are and how the factors affect the inference of users' reasoning structure. Since the classified catalogues are reflected by the classification structure, naturally the logic in the classification system becomes the focus of the study. This study concludes the classification system which enables the library users to use their reasoning capabilities, viz. the classification system which can help the users trace the specific subject even as they are not sure of the exact subject they need has following factors in the system. 1. It should have the validity based on the facts in the components of the classification system. 2. It should be logically arranged when the components of the classification system are placed in due sequence. 3. The notation of the system should be based on mnemonics. The reason is that the indispensable factors in the formation of inference of human reasoning structure are: 1. the premises which are based on the facts and 2. the logical relationship between the premises and conclusions which are induced from the premises.

  • PDF

학습자의 인지 및 동기 변인들과 비유를 통한 개념 이해도의 관계 (The Relationships among Learners' Cognitive Variables, Motivational Variables, and Conceptual Understandings in Learning with Analogy)

  • 노태희;임희연;김창민;강석진
    • 한국과학교육학회지
    • /
    • 제19권3호
    • /
    • pp.471-478
    • /
    • 1999
  • In this study, the relationships among learners' cognitive variables, motivational variables, and conceptual understandings in learning with analogy were investigated. The instruments regarding analogical reasoning ability, field dependence-independence, mental capacity, and logical thinking ability were administered. Some subtests (self-efficacy, expectancy, self-concept of ability, and value) of the Patterns of Adaptive Learning Survey were administered. After students learned with a worksheet that included analogy, a conception test regarding 'stoichiometry that included limiting reagent' was also administered. It was found that learners' conceptual understandings were significantly correlated with the logical thinking ability and the field dependence-independence among the cognitive variables, and the self-efficacy and the self-concept of ability among the motivational variables. The multiple regression analysis of the cognitive variables on conceptual understandings revealed that the logical thinking ability was the most significant predictor. The field dependence-independence also had predictive power. In the analysis of the motivational variables, the self concept of ability was the only significant predictor.

  • PDF

Kodu를 이용한 프로그래밍 학습이 초등학생의 논리적 사고력과 학습 흥미에 미치는 영향 (The Effect of Kodu Programming Learning on Logical Thinking and Learning Interest of Elementary Students)

  • 김태훈;김종훈
    • 컴퓨터교육학회논문지
    • /
    • 제16권3호
    • /
    • pp.13-22
    • /
    • 2013
  • 다양한 디지털 기술들은 현대인의 삶에 많은 변화를 가져왔다. 미래를 이끌어갈 청소년들이 디지털 사회에서의 경쟁력을 갖기 위해서는 프로그래밍 교육이 필요하다. 최근 프로그래밍 교육에 대한 관심이 높아지긴 했지만 초등학교에서 프로그래밍 교육이 실시되기에는 많은 어려움이 따른다. 본 연구에서는 초등학생들이 쉽고 재미있게 프로그래밍을 학습할 수 있는 Kodu를 이용한 교육 프로그램을 계획하여 실험하였다. GALT를 통한 논리적 사고력 검사의 사전 사후 비교 결과 실험집단의 상관논리, 논리 합계 부분에서 유의미한 효과를 얻었다. 또한 프로그래밍에 대한 학습 흥미 측면에서도 초등학생들에게 긍정적인 인식을 심어준 것으로 나타났다.

  • PDF

음악 무드를 이용한 온톨로지 기반 음악 추천 (An Ontological and Rule-based Reasoning for Music Recommendation using Musical Moods)

  • 송세헌;노승민;황인준;김민구
    • 한국항행학회논문지
    • /
    • 제14권1호
    • /
    • pp.108-118
    • /
    • 2010
  • 본 논문에서는 사용자의 음악적 선호를 모델링하고, 사용자가 원하는 감정과 선호를 추론할 수 있게 도와주는 컨텍스트 기반 음악 추천 온톨로지 (COMUS)를 제안한다. COMUS는 제목, 연주자, 장르와 같은 음악의 일반적인 속성과 무드와 상황과 같이 도메인에 특화된 확장을 제공하는 확장성을 계층적인 방식으로 제공한다. COMUS는 음악 추천을 위한 도메인에 특화된 클래스들이 음악 온톨로지와 연동되도록 OWL 언어를 사용하여 개발된 음악 온톨로지이다. COMUS에 표현된 컨텍스트 정보를 사용하면, 컨텍스트 정보의 일관성을 체크할 수 있고, 규칙 기반의 추론을 통해 명시적인 정보 뿐만 아니라, 내재된 컨텍스트를 도출하는 상위 레벨의 추론이 가능하다고. 여기서 제안하는 온톨로지는 음악과 감정과 상황 사이의 복잡하고 자세한 관계를 표현할 수 있어서, 사용자가 음악 추론 어플리케이션을 위해 적절한 음악을 찾을 수 있게 해준다. 이와 관련된 음악 추천을 위한 사례 연구로써 수행한 몇 가지 실험을 보인다.

SSQUSAR : Apache Spark SQL을 이용한 대용량 정성 공간 추론기 (SSQUSAR : A Large-Scale Qualitative Spatial Reasoner Using Apache Spark SQL)

  • 김종훈;김인철
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제6권2호
    • /
    • pp.103-116
    • /
    • 2017
  • 본 논문에서는 Apache Spark SQL을 이용하여 임의의 두 공간 객체들 간의 위상 관계와 방향 관계를 나타내는 새로운 정성 공간 지식을 효율적으로 추론해내는 대용량 정성 공간 추론기의 설계와 구현에 대해 소개한다. Apache Spark SQL은 Hadoop 클러스터 컴퓨터 시스템에서 다양한 데이터들 간의 매우 효율적인 조인 연산과 질의 처리 기능을 제공하는 분산 병렬 프로그래밍 환경이다. 본 공간 추론기에서는 정성 공간 추론의 전체 과정을 지식 인코딩, 역 관계 추론, 동일 관계 추론, 이행 관계 추론, 관계 정제, 지식 디코딩 등 크게 총 6개의 작업들로 나누고, 논리적 인과관계와 계산 효율성을 고려하여 작업들 간의 처리 순서를 결정하였다. 지식 인코딩 작업에서는 추론의 전처리 과정으로서 XML/RDF 형태의 입력 지식을 보다 간략한 내부 형태로 변환함으로써, 추론 대상인 지식 베이스의 크기를 축소시켰다. 일반적으로 이행 관계 추론 작업과 관계 정제 작업의 반복은 정성 공간 추론에 필요한 가장 많은 계산 시간과 기억 공간을 소모한다. 이 작업들을 효율화하기 위해 본 공간 추론기에서는 공간 추론에 필요한 최소한의 이접 관계들을 찾아내고, 이들을 기반으로 이행 관계 추론을 위한 조합표를 큰 폭으로 축소하고 관계 정제 작업도 최적화하였다. 대규모 벤치마킹 공간 지식 베이스를 이용한 실험을 통해, 본 논문에서 제안하는 대용량 정성 공간 추론기의 높은 추론 성능과 확장성을 확인하였다.

감각 정보를 이용한 뱀 로봇의 행동구현 (Snake Robot Motion Scheme Using Image and Voice)

  • 강준영;김성주;조현찬;전홍태
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2002년도 하계종합학술대회 논문집(3)
    • /
    • pp.127-130
    • /
    • 2002
  • Human's brain action can divide by recognition and intelligence. recognition is sensing voice, image and smell and Intelligence is logical judgment, inference, decision. To this concept, Define function of cerebral cortex, and apply the result. Current expert system is lack, that reasoning by cerebral cortex and thalamus, hoppocampal and so on. In this paper, With human's brain action, wish to embody human's action artificially Embody brain mechanism using Modular Neural Network, Applied this result to snake robot.

  • PDF

고등학교 기하와 벡터 과목에서 풀이과정 서술의 오류 분석 (An Analysis of Errors in Describing Solving Process for High School Geometry and Vectors)

  • 황재우;부덕훈
    • 한국수학교육학회지시리즈A:수학교육
    • /
    • 제56권1호
    • /
    • pp.63-80
    • /
    • 2017
  • By analysing the examination papers from third grade high school students, we classified the errors occurred in the problem solving process of high school 'Geometry and Vectors' into several types. There are five main types - (A)Insufficient Content Knowledge, (B)Wrong Method, (C)Logical Invalidity, (D)Unskilled Expression and (E)Interference.. Type A and B lead to an incorrect answer, and type C and D cannot be distinguished by multiple-choice or closed answer questions. Some of these types are classified into subtypes - (B1)Incompletion, (B2)Omitted Condition, (B3)Incorrect Calculation, (C1)Non-reasoning, (C2)Insufficient Reasoning, (C3)Illogical Process, (D1)Arbitrary Symbol, (D2)Using a Character Without Explanation, (D3) Visual Dependence, (D4)Symbol Incorrectly Used, (D5)Ambiguous Expression. Based on the these types of errors, answers of each problem was analysed in detail, and proper ways to correct or prevent these errors were suggested case by case. When problems that were used in the periodical test were given again in descriptive forms, 67% of the students tried to answer, and 14% described flawlessly, despite that the percentage of correct answers were higher than 40% when given in multiple-choice form. 34% of the students who tried to answer have failed to have logical validity. 37% of the students who tried to answer didn't have enough skill to express. In lessons on curves of secondary degree, teachers should be aware of several issues. Students are easily confused between 'focus' and 'vertex', and between 'components of a vector' and 'coordinates of a point'. Students often use an undefined expression when mentioning a parallel translation. When using a character, students have to make sure to define it precisely, to prevent the students from making errors and to make them express in correct ways.