• Korean Journal of Logic
• /
• v.1
• /
• pp.9-63
• /
• 1997

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.4
• /
• pp.816-823
• /
• 2005

Non-Horn logic programs are extended from Horn logic programs to the level of 1st order predicate logic. Even though they are more expressive than Horn logic programs, They are not practically used because we do not have efficient implementations. Currently to execute non-Horn logic programs, we translate them to equivalent Horn logic programs using the proof procedure InH-Prolog and compile the Horn logic programs to WAM(Warren Abstract Machine) instructions. In this paper, we propose EWAM(Extended Warren Machine) that executes non-Horn logic programs more efficiently and a compilation scheme that compiles non-Horn logic programs to the EWAM instruction. We implement an EWAM emulator and a compiler and measured the performance of the EWAM emulator and the compiler and found that they are very efficient.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.4
• /
• pp.15-25
• /
• 2004

Previous researches on the effect of programming learning upon logical thinking ability have used a standardized test to measure logical thinking ability in the general and comprehensive aspect after programming learning. Considering that the areas of intelligence are separated from one another and work independently, the existing standardized tool to measure general and comprehensive logical thinking ability has a limitation in measuring a logical thinking ability required at specific areas. Thus this study extracted logical thinking and its sub-factors related to computer programming and suitable for the level of cognitive development through analyzing standardized test sheets at home and abroad, and developed logical thinking test I and II of the same form according to a development procedure model. The result of verifying the developed logical thinking tests proved that the two tests are logical thinking tests of the same form. The developed tests can be utilized in identifying the effect of programming learning upon logical thinking and its sub-factors.

• Journal of The Korean Association For Science Education
• /
• v.24 no.3
• /
• pp.417-428
• /
• 2004

Conservation reasoning makes operational thought possible as a functional tool and it is the essential concept not only in the area of science and mathematics but also in several aspects of daily life. The abilities to solve mathematical problems and that of scientific reasoning and abstract way of thinking depend on whether thereis conservation reasoning or not and they are critical concepts that enables us to confirm the steps of cognitive development. Therefor in the study, we emphasized the issue that is the ways to speed up the scientific era by analyzing the correlation between the formation of conservation reasoning and neuro-cognitive variables. About 50% of 1-3 grade students did not had conservation reasoning skills. The formation of conservations was not linear. Scientific reasoning ability, planing and inhibiting ability were significantly different in levels of conservation, And, conservation reasonings were significantly correlated with cognitive variables. Scientific reasoning and planning ability significantly explained about 20% of the conservation reasoning ability of 1-3 grades.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.45 no.12
• /
• pp.1-7
• /
• 2008

Magnetic Tunneling Junction (MTJ) has been used as a nonvolatile universal storage element mainly in memory technology. However, according to several recent studies, magneto-logic using MTJ elements show much potential in substitution for the transistor-based logic device. Magneto-logic based on MTJ can maintain the data during the power-off mode, since an MTJ element can store the result data in itself. Moreover, just by changing input signals, the full logic functions can be realized. Because of its programmability, it can embody the reconfigurable magneto-logic circuit in the rigid physical architecture. In this paper, we propose a novel 3-bit arbitrary magneto-logic circuit beyond the simple combinational logic or the short sequential one. We design the 3-bit magneto-logic which has the most complexity using MTJ elements and verify its functionality. The simulation results are presented with the HSPICE macro-model of MTJ that we have developed in our previous work. This novel magneto-logic based on MTJ can realize the most complex logic function. What is more, 3-bit arbitrary logic operations can be implemented by changing gate signals of the current drivel circuit.

• Journal of Gifted/Talented Education
• /
• v.23 no.3
• /
• pp.335-354
• /
• 2013

The purpose of this study was to investigate cognitive development and logical thinking formation levels of elementary gifted students and to compare with those of elementary regular students. For this purpose, 79 gifted elementary school students and 114 regular elementary school students in Kyunggi Province were participated, and GALT(Group Assessment of Logical Test) was administered to them. The results obtained in this study were as follows. First, the logical thinking scores of elementary gifted students were significantly higher than general students'(p<.05). Comparing the distribution of cognitive development level, elementary gifted students showed higher ratio in formal operation and lower ratio in concrete operation compared to the general students. It was interpreted that the cognitive development of gifted students preceded general students'. Second, analyzing according to the grade of elementary gifted students, logical thinking scores were significantly different between 5th graders and 6th graders(p<.05). Compared to 5th graders, logical thinking and formal operation ratio of 6th gifted graders showed significantly higher. The scores of four logical thinking areas except for conservational logic and correlational logic of 6th gifted graders showed significantly higher than 5th gifted graders'. Both 5th and 6th graders showed the highest formation ratio in combinational logic, and the lowest ratio in correlational logic. Third, logical thinking scores of gifted students according to gender did not show a significant difference(p>.05). The gifted boys reached formal operation more than gifted girls, but stayed more in the concrete operation. There was gender difference in correlational logic. The gifted girls showed significantly higher than gifted boys in correlational logic(p<.05).

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1871_1872
• /
• 2009

본 논문 에서는 Type-2 퍼지 논리 시스템을 설계하고, 불확실한 정보를 갖는 입력 데이터에 대하여 Type-1 퍼지 논리 시스템과 성능을 비교한다. Type-1 퍼지 논리 시스템은 외부 잡음에 민감한 단점을 가지고 있는 반면, Type-2 퍼지 논리 시스템은 불확실한 정보를 잘 표현 할 수 있다. 따라서 Type-2 퍼지 논리 시스템을 이용하여 이러한 단점을 극복하고자 2가지의 모델을 설계한다. 첫 번째 모델은 규칙의 전 후반부가 Type-1 퍼지 집합으로 구성된 Type-1 퍼지 논리 시스템을 설계 한다. 두 번째는 규칙 전 후반부에 Type-2 퍼지 집합으로 구성된 Type-2 퍼지 논리 시스템을 설계한다. 여기서 규칙 전반부의 입력 공간 분할 및 FOU(Footprint Of Uncertainty)형성에는 FCM(Fuzzy C_Means) clustering 방법을 사용하고, 입자 군집 최적화(Particle Swarm Optimization) 알고리즘을 사용하여 최적의 파라미터를 설계한다. 본 논문 에서는 또한 입력 데이터에 인위적으로 가하는 노이즈에 따른 각각 모델의 성능을 비교한다. 마지막으로 비선형 모델 평가에 주로 사용되는 NOx 데이터를 제안된 모델에 적용하고, 실험을 통하여 노이즈가 첨가되고, 불확실한 정보를 다루기에 Type-1 퍼지 논리 시스템 보다 Type-2 퍼지 논리 시스템이 효율적이라는 것을 보인다.

• Journal of The Korean Association For Science Education
• /
• v.18 no.4
• /
• pp.503-516
• /
• 1998

The purpose of the present study was to evaluate some variables, such as learner's cognitive characteristics and a training-program emphasized proportional logic, in proportional reasoning development. Seven hundred and ninety students in junior high schools were enrolled as subjects for the study which investigated learner's cognitive characteristics in proportional reasoning development and asked to perform tests of logical thinking, card sorting, planning, mental capacity, cognitive style, brain lateralization, information processing pattern and scientific reasoning. In addition, one hundred and thirty-three students who failed to solve proportional thinking items were administered a training program which has been applied to improve the subjects' proportional reasoning skills. The results showed a significant higher correlation between subjects' performance score on proportional thinking test, and their age and scores on scientific reasoning test, mental capacity, information processing test and perseveration errors on card sorting test. Also, the training program applied in this study showed an effective result in developing subjects' proportional reasoning skills. Further, this study may serve as a suggestion in the efforts to investigate factors of proportional thinking development and a contribution for the future research in other logical thinking development.

• Journal of Korean Philosophical Society
• /
• v.139
• /
• pp.1-21
• /
• 2016

To quickly and accurately grasp the consistency and the true/false of sentence description, we may require the help of a computer. It is thus necessary to research and quickly and accurately grasp the consistency and the true/false of sentence description by computer processing techniques. This requires research and planning for the whole study, namely a plan for the necessary tables and those of processing, and development of the table of the five logic rules. In future research, it will be necessary to create and develop the table of ten basic inference rules and the eleven kinds of derived inference rules, and it will be necessary to build a DB of those tables and the computer processing of sentence logic using server programming JSP and client programming JAVA over its foundation. In this paper we present the overall research plan in referring to the logic operation table, dividing the logic and inference rules, and preparing the listed process sequentially by dividing the combination of their use. These jobs are shown as a variable table and a symbol table, and in subsequent studies, will input a processing table and will perform the utilization of server programming JSP, client programming JAVA in the construction of subject/predicate part activated DB, and will prove the true/false of a sentence. In considering the table prepared in chapter 2 as a guide, chapter 3 shows the creation and development of the table of the five logic rules, i.e, The Rule of Double Negation, De Morgan's Rule, The Commutative Rule, The Associative Rule, and The Distributive Rule. These five logic rules are used in Propositional Calculus, Sentential Logic Calculus, and Statement Logic Calculus for sentence logic.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.19 no.6
• /
• pp.9-15
• /
• 2005

In this research the discharge characteristics of logic gate of the discharge logic gate plasma display panel with the NOT-AND logic function newly designed was analyzed. As for this discharge logic gate a logical output is induced by controlling the voltage between the electrodes using the discharge path. From the experimental result the discharge characteristics of logic gate is influenced by the interrelation of the voltages appling two vertical electrodes. To in the application possibility to large screen PDP, the discharge characteristics by the line resistance of the electrode was evaluated In result it has been inferred that the influence which the drop of voltage by the line resistance of two vertical electrodes exerts on the discharge of the logic gate is minute. Through the experiment, the optimized values of the pulse voltages and the current limitation resistances of each electrode which composed the discharge logic gate were obtained and maximum operation margin of 49[V] was obtained.