• Korean Journal of Logic
• /
• v.3
• /
• pp.53-93
• /
• 2000

프레게의 논리주의 프로그램은 기본적인 산수 법칙 혹은 가장 단순한 수의 법칙을 논리적 원리로부터 유도해 냄으로써 달성된다. 프레게는 이른바 외연 공리를 포함하는 논리적 원리로부터 흄의 원리로 지칭되는 원리를 거쳐 '기본적인' 산수 법칙을 이끌어내고 있다. 외연 공리가 흄의 원리를 연역하는 과정에서만 사용되고 인다는 사실은 프레게가 말하는 기본적인 산수 법칙을 외연 공리 대신 흄의 원리를 공리로 채택함으로써 유도해낼 수 있음을 암시한다. 여기서는 흄의 원리로부터 페아노의 다섯 가지 공리를 연역해 내는 프레게의 과정을 조상 관계에 대한 일반적인 고찰에 기초하여 보다 단순화하고 있다.

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

• Journal of KIISE:Software and Applications
• /
• v.28 no.7
• /
• pp.524-536
• /
• 2001

본 논문에서는 다수의 페이지로 구성된 복잡한 구조의 문서로부터 SGML/XML에 기반한 전자 문서를 생성하기 위한 구문론적인 구조분석 방법을 제안한다. 특히 제안된 파싱 기법은 텍스트 라인을 기본 단위로 하는 기존 연구보다 논리적인 계층 구조를 보다 정확하고 빠르게 생성하기 위하여 텍스터 영역의 계층적인 트리 구조를 입력으로 받아들인다. 또한 문서 유형의 논리적인 구조 정보와 기하적인 특성을 효과적으로 기술할 수 있는 문서모델을 정의하고, 이의 자동 생성과 점증적인 학습 방법을 제안한다. 제안된 방법의 성능을 평가하기 위하여 과학 기술 논문으로부터 스캐닝한 372개의 논문 연상으로 실험한 결과, 제안된 방법은 기존 연구와 달리 다수의 문서 영상으로 구성된 문서에 대하여 논리적인 구조분석과 문서 모델의 자동 생성을 효율적으로 지원하였다. 특히 제안된 방법은 논리적인 구조분석의 최종 결과로서 SGML/XML 문서를 생성하기 때문에 문서의 재 사용성과 호환성을 높인다.

• Journal of The Korean Association For Science Education
• /
• v.22 no.4
• /
• pp.725-739
• /
• 2002

The purpose of this study was to investigate the relationships of graphing abilities to logical thinking and science process skills of middle school students. The subjects for this study were selected 481 students from four middle schools for TOGS(the Test of Graphing in Science), GALT(Group Assessment of Logical Thinking) and TIPS II (Test of Integrated Process Skills). This study shows that the correlation coefficient between abilities of students to construct/interpret graphs and the logical thinking was 0.45, and the correlation coefficient between abilities to construct/interpret graphs and science process skills are 0.32. As a result, abilities of students to construct and interpret graphs arc more correlate the logical thinking than science process skills.

• Journal of KIISE:Software and Applications
• /
• v.37 no.2
• /
• pp.148-154
• /
• 2010

In the study of the formal semantics of uncertain databases, we typically take an algebraic approach by mapping an uncertain database to possible worlds which are a set of relational databases. In this paper, we present a new semantics for uncertain databases which takes a logical approach by translating uncertain databases into logical theories. A characteristic feature of our semantics is that it uses linear logic, instead of propositional logic, as its logical foundation. Linear logic is suitable for a logical interpretation of uncertain information because unlike propositional logic, it treats logical formulae not as persistent facts but as consumable resources. As the main result, we show that our semantics is faithful to the operational account of uncertain databases in the algebraic approach.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.175-177
• /
• 2000

본 논문에서는 다수의 페이지로 구성된 복잡한 구조의 문서로부터 SGML/XML에 기반한 전자 문서를 생성하기 위한 구문론적인 구조분석 방법을 제안한다. 제안된 방법은 구조분석의 정확성과 처리속도의 향상을 위하여 텍스트 영역의 계층적인 트리를 파싱하여 논리적인 계층 구조를 추출한다. 또한 본 논문은 문서 유형의 논리적인 구조 정보와 기하적인 특성을 효과적으로 기술할 수 있는 문서 모델을 정의한다. 제안된 방법의 성능을 평가하기 위하여 IEEE Transactions on Pattern Analysis and Machine Intelligence로부터 스캐닝한 372개의 논문 영상으로 실험한 결과, 제안된 방법은 기존 연구와 달리 다수의 문서 영상으로 구성된 문서에 대하여 논리적인 구조분석을 효율적으로 지원하였다. 특히 제안된 방법은 논리적인 구조분석의 최종 결과로서 SGML/XML 문서를 생성하기 때문에 문서의 재사용성과 호환성을 높인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.182-184
• /
• 1998

수치지도는 지리정보시스템에서 다루는 매우 중요한 구성요소로서, 수치지도의 위치정확도 및 논리적 정확도는 전체 지리정보시스템이 제공하는 기능의 정확도를 결정한다. 따라서 수치지도 제작에 있어, 위치 및 논리적 정확도를 보장하는 것은 매우 중요한 요건이 된다. 그러나, 현재 대부분의 수치지도 제작과정을 살펴보면 논리적 정확도의 유지에 여러 가지 어려움이 많다는 것을 알 수 있다. 주로 수치지도의 논리적 정확도는 수치지도 제작자의 숙련도나, 제작 능력에 전적으로 의존하고 있다는 사실 때문이다. 따라서 제작자의 자질에 관계없이 논리적 정확도를 유지할 수 잇도록 하는 수치지도 제작 환경을 개발하는 것은 매우 시급하고 중요한 사항이다. 본 논문에서는 수치지도 제작과정에서 발생할 수 있는 여러 종류의 문제점들을 공간 객체간의 위상 관계를 이용하여 해결하고자 하였다. 이 방법은 수치지도 제작과정에서 공간 객체간의 위상적 조건을 미리 명시하고 그 위상적 조건을 만족하도록 하는 수치지도 제작 환경을 만들어 주는 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1133-1136
• /
• 2001

ATM 포럼에 제시된 LR 기법에서는 위치 등록기를 각 계층별로 물리적으로 배치하고 있어 다수의 데이터베이스가 필요하고, 데이터베이스 액세스 회수가 증가하며 위치 관리를 위한 신호 트래픽이 많고 호 설정 지연이 증가하는 문제점이 있다. 본 논문에서는 PNNI(Private Network to Network Interface) 기반의 무선 ATM 망에서 기존 LR 기법에서 사용하는 물리적인 계층 구조에서 각 계층마다 위치 등록기를 둠으로 인한 문제점을 보완하기 위해 PNNI 계층을 적용하여 논리적 계층에 의한 위치 등록기 구조를 제시한다. 논리적 계층 구조에서는 위치 등록기를 논리적인 그룹으로 묶고, 이 그룹들을 다시 그룹으로 묶어서 위치 등록기의 논리적인 트리 헝태로 만들어 상위 레벨의 위치 등록기의 역할을 하위 레벨의 위치 등록기 중 하나가 수행할 수 있도록 한다. 그리고, 위치 관리 비용 측면에서 성능을 비교 평가하여 제안된 논리적 계층 구조가 기존의 물리적 계층 구조에 비해 데이터베이스 수가 줄어들고, 위치 관리 비용을 줄이는 효과를 얻을 수 있다.

• Proceedings of the Korea Contents Association Conference
• /
• 2017.05a
• /
• pp.431-432
• /
• 2017

고전 논리의 연산이 집합의 연산과 밀접하게 관련되어 있는 것과 같이 양자논리(quantum logic)는 힐버트 공간(Hilbert space)의 닫힌부분공간(closed subspace)의 연산과 관련되어 있다. 닫힌부분공간들의 집합은 직교모듈로 격자(orthomodular lattice)를 이루고, von Neumann과 Birkhoff를 포함하여 많은 수학자들은 양자논리의 수학적 체계를 만들기 위해 직교모듈로 격자를 이용하였다. 일반 격자(lattice)에서 논리적 함의(implication)는 $x{\rightarrow}y={\neg}x{\vee}y$에 의해 일의적으로 정의되지만 직교모듈로 격자에서는 6개의 서로 다른 논리적 함의가 정의되는 것으로 알려져 있다. 본 논문에서는 직교모듈로 격자에서 정의되는 3개의 논리적 함의를 소개하고 이들 사이의 관계를 조사한다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.498-507
• /
• 2009

There has been insufficient studies on the effect of programming language learning on logical thinking ability. Each study result on the improvement degree and items of logical thinking ability is different according to the object of the study, its method, and the learning subject, which makes the generalization process difficult. Moreover, the necessity of programming language learning seems not proved, because it is not apparent whether the improvement of logical thinking ability is due to the advancement of knowledge or programming language learning. In this study, we instructed educational programming languages to elementary students in 6th grade for 7 hours, investigated its effect on logical-thinking ability by the meta-cognition level, and compared the result with that of computer skill learning. As a result, for Dolittle, LOGO, and Powerpoint learning groups, the logical-thinking ability of high meta-cognition level students has increased with significance, but that of low meta-cognition level students has significantly increased for Dolittle and LOGO groups only. However, regardless of meta-cognition levels, there was no significant difference of logical-thinking ability between all three groups.