• Journal of Korean Philosophical Society
• /
• v.123
• /
• pp.245-279
• /
• 2012

Hans Kelsen, one of prominent advocators of legal positivism, insisted that every theory of natural law try to show that it is possible to deduce from the nature, that is to say from the nature of man certain rules which provide an altogether adequate prescription for human behavior. But it is impossible to deduce from the nature certain ethical rules. The purpose of this study is to show his insistence false. Firstly, He is based on false assumption that 'nature' in theory of nature law is 'nature' in natural science. Secondary, He is based on false assumption that the entire systems of natural law are deduced from only one first natural law. Thirdly, He makes logical fallacies, that is, straw man, false dichotomy and so on. Fourthly, in spite of his critique of every theory of natural theory, this study tries to certify that theories of natural law of I. Kant and J. Maritain and so on are very excellent.

• Asia pacific journal of information systems
• /
• v.2 no.2
• /
• pp.85-102
• /
• 1992

A deductive database consists of collection of stored facts and deductive rules. It can answer queries based on logical deduction from the stored facts and general rules. A deductive database has both a declarative meaning(semantics) and a procedural meaning. The declarative semantics of a deductive database provides a definition of the meaning of the program in a manner which is independent of procedural considerations, context-free, and easy to manipulate, exchange and reason about. This paper investigates various declarative semantics of deductive databases, dicusses related computational issues, and suggests another declarative semantics for deductive databases which is more practical than others.

• Journal of the Korean Data and Information Science Society
• /
• v.6 no.1
• /
• pp.13-21
• /
• 1995

논리 언어로 불확실한 정보의 표현과 처리가 가능하도록 논리 프로그램을 확장하였다. 이러한 확장을 위해 의미론이 명확한 확률 논리를 응용하였고, 확률적 연역 추론을 위해 추론 규칙들을 공리화하여 기본 지식과 함께 처리될 수 있게 하였다. 여기서는 기존 논리 프로그램의 명제 부분만을 대상으로 하였으며, 확장된 논리 프로그래밍 언어는 기존 언어에서 간단한 인터프리터를 사용하여 쉽게 구현하여 이용할 수 있다.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.7
• /
• pp.1680-1686
• /
• 1996

The deterministic update method of intensional predicates in a parallel deductive database that deductive database is distributed in a parallel computer architecture in needed. Using updated data from the deterministic update method, a strategy for parallel evaluation of intensional predicates is required. The paper is concerned with an approach to updating parallel deductive database in which very insertion or deletion can be performed in a deterministic way, and an extended parallel semi-naive evaluation algorithm in a parallel computer architecture. After presenting an approach to updating intensional predicates and strategy for parallel evaluation, its implementation is discussed. A parallel deductive database consists of the set of facts being the extensional database and the set of rules being the intensional database. We assume that these sets are distributed in each processor, research how to update intensional predicates and evaluate using the update method. The parallel architecture for the deductive database consists of a set of processors and a message passing network to interconnect these processors.

• Journal of Intelligence and Information Systems
• /
• v.10 no.2
• /
• pp.65-77
• /
• 2004

This paper presents a priori and the local font classification method. The font classification uses ascenders, descenders, and serifs extracted from a word image. The gradient features of those sub-images are extracted, and used as an input to a neural network classifier to produce font classification results. The font classification determines 2 font styles (upright or slant), 3 font groups (serif sans-serif or typewriter), and 7-font names (Postscript fonts such as Avant Garde, Helvetica, Bookman, New Century Schoolbook, Palatine, Times, and Courier). The proposed a priori and local font classification method allows an OCR system consisting of various font-specific character segmentation tools and various mono-font character recognizers. Experiments have shown font classification accuracies reach high performance levels of about 95.4 percent even with severely touching characters. The technique developed for tile selected 7 fonts in this paper can be applied to any other fonts.

• 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.

• Proceedings of the Korea Database Society Conference
• /
• 1997.10a
• /
• pp.407-424
• /
• 1997

지리정보 시스템에 기반한 응용 시스템 개발에 있어 필수적인 기능으로 지도작성, 데이타 관리, 해석 기능 외에 지식 표현 및 추론 기능을 들 수 있다. 본 논문에서는 지식베이스 관리 및 연역 추론 기능을 갖는 지식기반 지리정보 시스템의 개발과 연역 기능을 활용한 시스템 기능 확장에 대하여 논한다. 본 시스템에서는 사용자 인터페이스(Visual Basic), 지리정보 시스템(ArcView, ArcInfo), 추론 시스템(Eclipse)을 상호 밀결합 방식으로 결합, 구현하였으며, 각 서브 시스템은 서로 중간 파일 시스템의 사용없이 데이타 및 명령어의 전송 및 공유가 가능하다. 또한 사용자는 사용자 인터페이스를 통하여 개개의 서브 시스템을 인식하지 않고 단일화된 환경하의 작업이 가능하다. 시스템의 연역 기능은 일반적으로 거론되는 지식베이스 관리, 의사결정 지원 기능 외에도 사용자 환경개선, 복합 공간 객체의 표현, 공간질의 연산자 구현 등의 시스템 기능 확장에 활용될 수 있다. 특히 본 시스템에서는 사용자 환경 개선에 초점을 맞추어 사용자가 정보의 내부 구조나 문제 영역, 명령어 사용 방법 등을 잘 알지 못하더라도 유용한 정보를 얻도록 지원, 유도하는 협력질의 응답 기능과 명령어 자동 생성 기능을 제공한다. 또한 본 논문에서는 이들 방식을 이용한 두가지 응용 시스템(여행정보 시스템, 환경관리 시스템)의 구현 예를 들어 본 시스템의 실용성과 유용성을 보인다.

• The Journal of Information Technology and Database
• /
• v.4 no.1
• /
• pp.3-17
• /
• 1997

지리정보 시스템에 기반한 응용 시스템 개발에 있어 필수적인 기능으로 지도작성, 데이터 관리, 해석 기능 외에 지식 표현 및 추론 기능을 들 수 있다. 본 논문에서는 지식베이스 관리 및 연역 추론 기능을 갖는 지식기반 지리정보 시스템의 개발과 연역 기능을 활용한 시스템 기능 확장에 대하여 논한다. 본 시스템에서는 사용자 인터페이스(Vusual Basic), 지리정보 시스템(ArcView, ArcInfo), 추론 시스템(Eclipse)을 상호 밀결합 방식으로 결합, 구현하였으며, 각 서브 시스템은 서로 중간파일 시스템의 사용없이 데이터 및 명령어의 전송 및 공유가 가능하다. 또한 사용자는 사용자 인터페이스를 통하여 개개의 서브 시스템을 인식하지 않고 단일화된 환경하의 작업이 가능하다. 시스템의 연역 기능은 일반적으로 거론되는 지식베이스 관리, 의사결정 지원 기능 외에도 사용자 환경개선, 복합 공간 객체의 표현, 공간질의 연산자 구현 등의 시스템 기능 확장에 활용될 수 있다. 특히 본 시스템에서는 사용자 환경개선에 초점을 맞추어 사용자가 정보의 내부 구조나 문제 영역, 명령어 사용 방법 등을 잘 알지 못하더라도 유용한 정보를 얻도록 지원, 유도하는 협력질의 응답 기능과 명령어 자동 생성 기능을 제공한다. 또한 본 논문에서는 이들 방식을 이용한 두가지 응용 시스템(여행정보 시스템, 환경관리 시스템)의 구현 예를 들어 본 시스템의 실용성과 유용성을 보인다.

• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.59-96
• /
• 2018

${\bot}$It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (${\perp}$). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ${\perp}$. It is, however, not the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation, ⊬$_s$, for a given system S and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ${\perp}$ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ${\perp}$.

• Journal of Educational Research in Mathematics
• /
• v.14 no.1
• /
• pp.111-127
• /
• 2004

In this note we examined some terms, parallel lines and angles in elementary school mathematics and middle school mathematics respectively. Since some terms are represented early in elementary school mathematics and not repeated after, some students are not easy to apply the terms to their lesson. Also, since the relation between parallel lines and angles are treated intuitively in 7-th grade, applying the relation for a proof in 8-th grade would be meaningless. For the variety of mathematics education, it is desirable that the relation between parallel lines and angles are treated as postulate. Also, for out standing students, it is desirable that we use deductive reasoning to prove the relation between parallel lines and angles as a theorem. In particular, the treatments of vertical angles and the relation between parallel lines and angles in 7-th grade text books must be reconsidered. Proof is very important in mathematics, and the deductive reasoning is necessary for proof. It would be efficient if some properties such as congruence of vertical angles and the relation between parallel lines and angles are dealt in 8-th grade for proof.