• Title/Summary/Keyword: 확률논리

Search Result 139, Processing Time 0.019 seconds

확률적 명제 논리 프로그래밍

  • Sin, Yang-Gyu
    • Journal of the Korean Data and Information Science Society
    • /
    • v.6 no.1
    • /
    • pp.13-21
    • /
    • 1995
  • 논리 언어로 불확실한 정보의 표현과 처리가 가능하도록 논리 프로그램을 확장하였다. 이러한 확장을 위해 의미론이 명확한 확률 논리를 응용하였고, 확률적 연역 추론을 위해 추론 규칙들을 공리화하여 기본 지식과 함께 처리될 수 있게 하였다. 여기서는 기존 논리 프로그램의 명제 부분만을 대상으로 하였으며, 확장된 논리 프로그래밍 언어는 기존 언어에서 간단한 인터프리터를 사용하여 쉽게 구현하여 이용할 수 있다.

  • PDF

A Study on Teaching of Logical Thinking Students with Non-formation in Probabilistic Reasoning and Combinational Reasoning (확률논리와 조합논리 미형성 학생의 논리지도에 대한 연구)

  • Kim, Youngshin;Park, Ae-Ryeon;Lim, Soo-min;Jeng, Jae-Hoon;Kim, Soo-Wan;Song, Ha-Young
    • Journal of Science Education
    • /
    • v.33 no.1
    • /
    • pp.69-76
    • /
    • 2009
  • Probabilistic reasoning and combinational reasoning are essential to build a logical thinking and a process of thinking dealing with everyday life as well as scientific knowledge. This research aims at finding the optimal period to teach reasoning to the students who haven't developed probabilistic reasoning and combinational reasoning. The treatment program was performed for 20 students from each grade who couldn't develop two parts of reasoning. The treatment program using baduk stones and cards was performed repeatedly, focusing on the specific activities. After four weeks of treatment program, the test to check the development of probabilistic reasoning and combinational reasoning was performed again and the changes of reasoning development were identified. After giving treatment program for reasoning development, 15.0%, 25.0% and 40.0% of improvement in the 4th, the 5th, the 6th graders respectively were shown. With regard to the combinational reasoning, the results showed the improvement of 20.0% in the 4th grades, 25.0% in the 5th graders and 63.2% in the 6th graders. As a result of research in the above, students, who were not formed probabilistic reasoning and combinational reasoning, could be known to be enhanced through learning, but to fail to be formed the qualitative change like the cognitive development. It is expected that this research can contribute to the improvement of students' cognitive level and there would be more active researches in different fields to improve the cognitive level of the 6th graders who are in their optimal periods to learn two parts of reasoning.

  • PDF

포퍼의 확률의 성향 이론

  • Song, Ha-Seok
    • Korean Journal of Logic
    • /
    • v.9 no.1
    • /
    • pp.31-62
    • /
    • 2006
  • 이 논문은 포퍼의 후기 확률론인 성향적 확률론에 대한 것이다. 포퍼가 확률에 관한 성향이론을 제시한 가장 중요한 동기는 단일 사건에 확률값을 부여하기 위함이었다. 그의 성향이론은 전기와 후기로 나누어지는데, 전기의 이론은 성향을 반복가능한 조건들의 집합으로, 후기의 이론은 성향을 특정 시각에서의 우주의 상태로 설명한다. 이 글은 포퍼의 전기와 후기 성향이론이 성공적이지 않음을 논증한다. 전기 성향이론에 대해서는 가장 좁은 준거집합의 원리의 문제에 부딪혀서 단일 사건에 대하여 객관적인 확률값을 부여할 수 없기 때문이고, 후기 성향이론은 성향을 약한 인과라고 해석하는 문제와 함께 포퍼 자신의 의도와 달리 형이상학적인 이론이 되어버렸기 때문이다.

  • PDF

The Cognitive Development of Secondary School Students in the Republic of Korea (한국 중등학생의 지적 발달 연구)

  • Han, Jong-Ha
    • Journal of The Korean Association For Science Education
    • /
    • v.6 no.2
    • /
    • pp.53-62
    • /
    • 1986
  • 본 연구의 목적은 한국 중 고등학교 학생들의 지적 발달의 특성을 조사 분석함으로써 교과서 및 교육과정의 개발에 필요한 기초자료를 얻으려는 것이다. 지역, 학년, 연령, 성 및 가정의 사회 경제적 지위에 따른 인지 발달 특성을 조사하였다. 연구의 대상은 전국을 대도시, 중 소도시, 농촌으로 유층화한 유층군집 표집방법에 의해 표집한 중학교 1학년부터 고등학교 2학년까지의 남 녀 학생이었다. 표집학생 수는 중학교가 18개교 54학급 3,164명이었고, 고등학교가 18개교 36학급 1,981명이었다. 가정의 사회 경제적 지위는 가정의 경제적 형편, 부의 직업, 부의 학력, 가정의 수입 정도를 고려하여 4계층으로 구분하였다. 사용된 도구는 지적 영역의 조사에 Piaget의 인지발달이론에 따른 논리발달 검사를 이용했다. 분석된 결과를 요약하면 다음과 같다. 첫째, 명제논리, 확률논리, 조합논리, 변인조작개념은 연령과 학년이 높아질수록, 대도시로 갈수록, 사회 경제적 지위가 높을수록 더욱 발달하는 경향이다. 둘째, 개념의 발달경향에 있어서 이원추리와 조합논리개념의 발달이 확률논리와 명제논리 개념의 발달보다 빠른 경향이다. 셋째, 한국의 중등학생 중에서 12세의 64.6%, 13세의 58.1%, 14세의 43.8%, 15세의 30.1%, 16세의 22.6%가 구체적 조작 후기에 도달해 있다. 넷째, 중등학생의 학년별 인지발달경향을 보면 중1의 69.8%, 중2의 51.1%, 중3의 47.4%, 고1의 21.6%, 고2의 21.7%가 구체적 후기의 발달수준이다.

  • PDF

A Meta-analysis on the Logical Thinking Ability of Korean Middle-School Students - Meta-analysis of the researches between 1980 and 2000 - (우리나라 중학생들의 논리적 사고 능력에 대한 메타 분석 - 1980 ${\sim}$ 2000년까지의 학술지 게재 논문을 중심으로 -)

  • Kim, Young-Min;Kim, Soo-Hyun
    • Journal of The Korean Association For Science Education
    • /
    • v.29 no.4
    • /
    • pp.437-449
    • /
    • 2009
  • The purpose of the study is to meta-analyze research results on Korean students' logical thinking ability. The results of meta-analysis on the research studies between the year 1980 and the year 2000 show that about 40-50% of Korean middle school students have conservation reasoning, proportional reasoning and combinatorial reasoning abilities, and that about 25-30% of them have control of variables and probability reasoning abilities. In addition, only 8% of the Korean middle-school students have correlational ability. When comparing their logical thinking ability results with those of Japanese and American middle-school students, The ratio (32.6%) of Korean middle-school students who have formal thought ability is a little higher than that of American students (30.6%), but much lower than that of Japanese students (50.1%).

확률 개념은 빈도 개념으로 환원될 수 있는가?

  • Seon, Woo-Hwan
    • Korean Journal of Logic
    • /
    • v.4
    • /
    • pp.89-107
    • /
    • 2000
  • 이 논문의 목적은 확률에 대한 빈도 해석(특히 라이헨바하와 새먼에 의해 체계화된 형태)을 비판적으로 고찰하는 데에 있다. 보다 구체적으로, 확률 빈도 해석에 대해 기존에 제기된 반론들을 보다 강화하고 새로운 추가적 반론들을 제기함으로써, 확률 빈도 해석이 종래에 생각되어 왔던 것보다 훨씬 더 심각한 상태에 있음을 보이려 한다. 특히, 빈도 해석이 흔히 여겨지는 바와 달리, 확률 값을 부여하기 위해 여러 국면들에 있어서의 주관적이고 임의적인 선택들에 의존해야 한다는 것이 이 논문에서의 반론들을 통해 드러날 것이다.

  • PDF

직설 조건문과 전건 긍정법

  • Kim, Se-Hwa
    • Korean Journal of Logic
    • /
    • v.4
    • /
    • pp.23-36
    • /
    • 2000
  • 이 논문은 일상적인 직설 조건문에 대한 새로운 이해를 제시함으로써 반 맥기가 전건 긍정법에 대한 반례라고 주장하는 예들에 대한 체계적인 이해방식을 제시하고 이것들이 전건 긍정법의 반례가 아니라는 것을 보인다. 직설 조건문에 대한 새로운 이해란 그것이 전건인 경우 후건의 조건적 확률이 높다는 것을 주장하는 문장이며 따라서 이 조건적 확률이 높은 경우 참이 되는 문장으로 봄으로써 직설 조건문이 그 논리적 형식에 있어서 조건문이 아니라는 것이다. 또한, 이렇게 이해되었을 때 반 맥기가 염두에 두고 있던 직설 조건문의 세 가지 특징이 역시 설명될 수 있다는 것을 보임으로써, 이 새로운 이해방식이 타당함을 보인다.

  • PDF

주관주의 확률 이론

  • Song, Ha-Seok
    • Korean Journal of Logic
    • /
    • v.2
    • /
    • pp.63-89
    • /
    • 1998
  • 확률에 관한 수학적 탐구가 시작된 18세기이래 다양한 확률에 관안 이론들이 등장하기 시작했다. 이렇게 다양한 확률 이론 중에서 가장 뒤늦게 제안되어 발전되어 온 주관주의 확률 이론을 소개하고 그 이론에 대한 평가를 시도하는 것이 이 논문의 목적이다. 주관주의 확률 이론은 램지에 의해서 제안되고 드 피네티와 새비지 등에 의해서 발전되어 왔는데, 그 이론의 핵심은 확률을 주관적인 믿음의 정도(degree of belief)로 파악하는 것이다. 이 이론은 다른 여러 가지 이론과 비교하여 많은 장점을 가짐에도 불구하고 몇 가지 문제점을 갖는다. 그 중에서도 기장 큰 문제점은 어떤 사건에 대한 객관적인 확률을 부정하는 것이다. 따라서 주관주의 이론에 대한 적절한 평가는 바로 이러한 문제점에 대해서 어떠한 대답이 주어질 수 있는가에 달려 있다고 할 수 있을 것이다. 드 피네티의 교환 기능한 확률(exchangeable probability)이리는 개념과 그와 관련된 표상정리(representation theorem)는 부분적으로 이러한 문제에 답하는 것처럼 보인다. 그러므로 필자는 이 논문에서 이러한 주관주의 확률 이론의 내용을 살펴보고 그에 대한 평가를 함으로써 주관주의 확률 이론이 갖는 의의를 논할 것이다.

  • PDF

The Effect of Algorithm Learning in Real Life Case on Logical Thinking Ability (실생활 속 사례를 통한 알고리즘 학습이 논리적 사고력에 미치는 영향)

  • Kim, Jin-Dong;Yang, Gwon-Woo
    • Journal of The Korean Association of Information Education
    • /
    • v.14 no.4
    • /
    • pp.555-560
    • /
    • 2010
  • The purpose of this study is to investigate the effect of learning algorithm which uses real-life examples including the concept of algorithm on the logical thinking of elementary school students. For this purpose, the experiment was performed by pre-GALT test, a case selection of algorithm which can be taught in real-life, experiment treatment after completing teaching plan, post-GALT test, and paired sample t-test on the results of pre and post GALT in order. As a result, changes in the degree of logical thinking ability and in five sub-regions(conservative logic, proportional logic, combinatorial logic, probabilistic logic, controlling variables) composing of logical thinking obtained statistically significant results in .05 significance level but changes in the correlational logic couldn't obtain the significant results.

  • PDF

A Study of Probabilistic Information Retrieval System Using Logical Pattern (논리적 패턴을 이용한 확률화 정보검색 시스템의 연구)

  • 이윤오;이정진
    • The Korean Journal of Applied Statistics
    • /
    • v.13 no.1
    • /
    • pp.1-10
    • /
    • 2000
  • 정보화사회에서 효율적인 정보검색(information retrieval)은 각종 의사결정에 매우 중요하다. 주어진 정보검색 문제가 있을 때 과거에 검색되었던 자료는 그 적절성 여부에 대한 평가를 데이터베이스에 첨가하여 지식베이스(knowledge base)화 할 수 있다. 본 연구는 이 지식베이스에 대한 논리적 패턴을 분석하여 새로운 정보의 '적정성(relevance)' 여부를 판별하는 확률화 정보검색 모형을 만들고 이에 대한 실험을 하였다.

  • PDF