• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.917-920
• /
• 1993

Various forms of hardware alternatives exist for the implementation of fuzzy logic controllers. In this paper, we describe a systematic framework for realizing fuzzy heuristics on programmable-logic-devices. Our approach is suitable for the automated development of fuzzy logic controllers.

• Proceedings of the KIEE Conference
• /
• 2008.04a
• /
• pp.155-156
• /
• 2008

In this paper, an interval type-2 fuzzy logic system is designed and compared with a type-1 fuzzy logic system. To compare performance of a type-1 fuzzy logic system with the type-2 fuzzy logic system, we apply type-1 fuzzy logic system and type-2 system to modeling the noised data. Membership function of interval type-2 fuzzy logic system is designed consequents of rules including uncertainty. For general type-2 fuzzy logic system computational complexity is severe. On the other hand, theoretic and arithmetic computations for interval type-2 fuzzy logic systems are very simple.

• Journal of Institute of Control, Robotics and Systems
• /
• v.11 no.3
• /
• pp.254-261
• /
• 2005

Time-optimal performances are analyzed in the sense of inner loop. A varying-time sharing thrusting logic is suggested as a new sequential paired thrusting logic for fast maneuvers of satellites with coupled thruster configuration. Its time-optimal maneuvering performance is compared with two conventional thrusting logics: separate thrusting logic and constant-time sharing sequential paired thrusting logic. It is found that the newly suggested varying-time sharing thrusting logic can be easily implemented by adjusting the conventional constant-time logic with its thrust on-time, while it can reduce the maneuvering time enormously as much as the separate thrusting logic. The performance of the logic is simulated on the agile maneuvering spacecraft model KOMPSAT-II.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2008.04a
• /
• pp.311-312
• /
• 2008

Fuzzy logic is introduced by Zadeh in 1965. It has been continuously developed by many mathematicians and knowledge engineers all over the world. A lot of papers concerning with the history of mathematics and the mathematical education related with fuzzy logic, but there is no paper concerning with Zadeh. In this article, we investigate his life and papers about fuzzy logic. We also compare two-valued logic, three-valued logic, fuzzy logic, intuisionistic logic and intuitionistic fuzzy sets. Finally we discuss about the expression of intuitionistic fuzzy sets.

• Development and Reproduction
• /
• v.26 no.4
• /
• pp.183-190
• /
• 2022

Today's Eastern philosophers try to use the formal logic organized by Aristotle, saying that there was no logic in the East. This researcher found that Confucius and other Asians used Che-Yong logic. The Che-Yong logic is based on the Che-Yong law, which is a natural law. The Che-Yong law consists of the Che-Yong principle and the Hyeon-Mi principle. The Hyeon-Mi principle is that if there is an appearance on the outside, there is a corresponding cause in it. The Che-Yong principle is that the highest common cause of various appearances is Che, and the Che grows and changes on its own to become a Yong. Identifying Che and predicting Yong is Che-Yong logic. Here, I'd like to introduce Che-Yong logic and suggest a new research methodology to apply it.

• Korean Journal of Logic
• /
• v.12 no.2
• /
• pp.115-139
• /
• 2009

This paper investigates an extension of the uninorm (based) logic UL, which is obtained by adding (t-weakening, $W_t$) (($\phi$ & $\psi$) ${\wedge}$ t) $\rightarrow$ $\phi$ to UL introduced by Metcalfe and Montagna in [8]. First, the t-weakening uninorm logic $UL_{Wt}$ (the UL with $W_t$) is introduced. The algebraic structures corresponding to $UL_{Wt}$ is then defined, and its algebraic completeness is established. Next standard completeness (i.e. completeness on the real unit interval [0, 1]) is established for this logic by using Jenei and Montagna-style approach for proving standard completeness in [3, 6].

• Journal for History of Mathematics
• /
• v.21 no.1
• /
• pp.29-44
• /
• 2008

Fuzzy logic is introduced by Zadeh in 1965. It has been continuously developed by many mathematicians and knowledge engineers all over the world. A lot of papers concerning with the history of mathematics and the mathematical education related with fuzzy logic, but there is no paper concerning with Zadeh. In this article, we investigate his life and papers about fuzzy logic. We also compare two-valued logic, three-valued logic, fuzzy logic, intuisionistic logic and intuitionistic fuzzy sets. Finally we discuss about the expression of intuitionistic fuzzy sets.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.27-59
• /
• 2010

After the unexpected death of the late professor Young-Jung Kim on July 28th last year, 4 pieces of paper unpublished were discovered. Those papers reveal that he had a grand program. In particular, we found that he had his own ideas and theory which he called "Presupposition Logic" and "Field Logic". In this paper, I will call his program "Presupposition Logic Program". He explored a new logic system, Presupposition Logic, in order to realize necessity and possibility of the closer relationship between logic and critical thinking. In this paper, I will expound what his "presupposition" and "Presupposition Logic" are and why he thought Presupposition Logic is necessary from a perspective of logic. And I will critically elucidate what was the problem that troubled him.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.8 no.2
• /
• pp.15-21
• /
• 2008

This paper discuss the sequential digital logic systems and arithmetic operation algorithms which is the important material in computer architecture using analysis and synthesis which is based on extension logic for binary logic over galois fields. In sequential digital logic systems, we construct the moore model without feedback sequential logic systems after we obtain the next state function and output function using building block T-gate. Also, we obtain each algorithms of the addition, subtraction, multiplication, division based on the finite fields mathematical properties. Especially, in case of P=2 over GF($P^m$), the proposed algorithm have a advantage which will be able to apply traditional binary logic directly.The proposed method can construct more efficiency digital logic systems because it can be extended traditional binary logic to extension logic.

• Journal of Practical Engineering Education
• /
• v.8 no.2
• /
• pp.95-101
• /
• 2016

In this paper, we introduce an implementation method of switch-based LED (Light Emitting Diode) Art logic circuits to help understanding the operation principle of digital logic circuits. Digital logic circuit practice using bread board is widely practiced in colleges or high schools in South Korea. However, actual digital logic circuit practice lacks examples of basic implementation, and as results of this problem, study with more complicated examples disturbs understanding the basic operation principle of digital logic circuits. Therefore, we proposed and tested an implementation method of switch-based LED Art logic circuits to help understanding the necessity of digital logic circuits which control signals of multiple output devices simultaneously.