• Journal for History of Mathematics
• /
• v.4 no.1
• /
• pp.25-34
• /
• 1987

• Journal of the Korean institute of surface engineering
• /
• v.14 no.3
• /
• pp.161-168
• /
• 1981

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 1996.06a
• /
• pp.111-116
• /
• 1996

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.13 no.5
• /
• pp.53-62
• /
• 1995

• The Journal of Korean Association of Computer Education
• /
• v.5 no.3
• /
• pp.79-87
• /
• 2002

Theorema system is built on top of Mathematica to automate deductive reasoning processes as the combination of computer algebra system and deductive system. Theorema system that was developed at RISC in Austria provides three modes based on rewriting techniques; computation, problem solving and proving. This paper shows how the computation mode of Theorema can simulate Derive part for TI-92 graphic calculators to produce TI-92 manuals. Moreover, it also describes how such manuals can be converted to web-based learning materials via Java servlet.

• The KIPS Transactions:PartD
• /
• v.9D no.2
• /
• pp.243-250
• /
• 2002

In order to properly interpret and process or operators in deductive databases including indefinite clauses, we propose to use Lasez′s Strong Model Semantics(LSMS) which is reasonably simple yet powerful enough to support both exclusive and inclusive interpretations. Conventional semantics either fail to support both interpretations or simply too complex. Therefore, in this paper we study advantages and difficulties of representing indefinite information, and as for the solution to difficulties, we show how LSMS can be used to support both inclusive or and exclusive or interpretations. We also investigate and analyze it′s properties and show how it semantically differs from others. We believe that LSMS is the only "reasonably simple" semantics that supports both inclusive and exclusive interpretations.

• Journal for History of Mathematics
• /
• v.20 no.2
• /
• pp.47-58
• /
• 2007

In this paper, we shall try to give a comparative study of mathematics developments in ancient Greece and ancient Oriental mathematics. We have found that the Oriental Mathematics. is quantitative, computational and algorithmetic, but the ancient Greece is axiomatic and deductive mathematics in character. The two region mathematics should be unified to give impetus to further development of mathematics in future times.

• Journal of the KSME
• /
• v.57 no.3
• /
• pp.30-33
• /
• 2017

이 글에서는 기계공학분야에서 인공지능의 귀납적 모델과 연역적 모델의 다양한 적용 사례를 살펴보고 두 모델의 차이를 소개하고자 한다.

• Proceedings of the Korea Database Society Conference
• /
• 1999.06a
• /
• pp.115-123
• /
• 1999

산업계 전반에 걸친 오랜 정보시스템 운용의 결과로 대용량의 데이타들이 축적되고 있다. 이러한 데이타로부터 유용한 지식을 추출하기 위해 여러 가지 데이타 마이닝 기법들이 연구되어왔다. 특히 데이타 웨어하우스의 등장은 이러한 데이타 마이닝에 있어 필요한 데이타 제공 환경을 제공해 주고 있다. 그러나 전문가의 적절한 판단과 해석을 거치지 않은 데이타 마이닝의 결과는 당연한 사실이거나, 사실과 다른 가짜이거나 또는 관련성이 없는(trivial, spurious and irrelevant) 내용만 무수히 쏟아낼 수 있다. 그러므로 데이타 마이닝의 결과가 비록 통계적 유의성을 가진다 하더라고 그 정당성과 유용성에 대한 검증과정과 방법론의 정립이 필요하다. 데이타 마이닝의 가장 어려운 점은 귀납적 오류를 없애기 위해 사람이 직접 그 결과를 해석하고 판단하며 아울러 새로운 탐색 방향을 제시해야 한다는 것이다. 본 논문의 목적은 이러한 데이타 마이닝에서 추출된 결과를 검증하고 아울러 새로운 지식 탐색 방향을 제시하는 방법론을 정립하는데 있다. 본 논문에서는 데이타 마이닝 기법 중 연관규칙탐사로 얻어진 결과를 설명가능성 여부의 판단을 통해 검증하는 기법을 제안하며, 이를 통해 얻어진 검증된 지식을 토대로 일반화를 통한 새로운 가설을 생성하여 데이타 웨어하우스로부터 연관규칙을 검증하는 일련의 아키텍쳐(architecture)를 제시하고자 한다. 먼저 데이타 마이닝 결과에 대한 설명의 필요성을 제시하고, 데이타 웨어하우스와 데이타 마이닝 기법들에 대한 간략한 설명과 연관규칙탐사에 대한 정의 및 방법을 보이고, 대상 영역에 대한 데이타 웨어하우스의 스키마를 보였다. 다음으로 도메인 지식(domain knowledge)과 연관규칙탐사를 통해 얻어진 결과를 표현하기 위한 지식표현 방법으로 Relational predicate Logic을 제안하였다. 연관규칙탐사로 얻어진 결과를 설명하기 위한 방법으로는 연관규칙탐사로 얻어진 연관규칙에 대해 Relational Predicate Logic으로 표현된 도메인 지식으로서 설명됨을 보이게 한다. 또한 이러한 설명(explanation)을 토대로 검증된 지식을 일반화하여 새로운 가설을 연역적으로 생성하고 이를 연관규칙탐사론 통해 검증한 후 새로운 지식을 얻는 반복적인 Explanation-based Data Mining Architecture를 제시하였다. 본 연구의 의의로는 데이타 마이닝을 통한 귀납적 지식생성에 있어 귀납적 오류의 발생을 고메인 지식을 통해 설명가능 함을 보임으로 검증하고 아울러 이러한 설명을 통해 연역적으로 새로운 가설지식을 생성시켜 이를 가설검증방식으로 검증함으로써 귀납적 접근과 연역적 접근의 통합 데이타 마이닝 접근을 제시하였다는데 있다.

• Journal of Educational Research in Mathematics
• /
• v.13 no.2
• /
• pp.159-178
• /
• 2003

This study analyzes on the reasoning in the process of justification and mathematical problem solving in our primary mathematics textbooks. In our analyses, we found that the inductive reasoning based on the paradima-tic example whose justification is founnded en a local deductive reasoning is the most important characteristics in our textbooks. We also found that some propositions on the properties of various quadrangles impose a deductive reasoning on primary students, which is very difficult to them. The inductive reasoning based on enumeration is used in a few cases, and analogies based on the similarity between the mathematical structures and the concrete materials are frequntly found. The exposition based en a paradigmatic example, which is the most important characteristics, have a problematic aspect that the level of reasoning is relatively low In Miyazaki's or Semadeni's respects. And some propositions on quadrangles is very difficult in Piagetian respects. As a result of our study, we propose that the level of reasoning in primary mathematics is leveled up by degrees, and the increasing levels are following: empirical justification on a paradigmatic example, construction of conjecture based on the example, examination on the various examples of the conjecture's validity, construction of schema on the generality, basic experiences for the relation of implication.