• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.253-287
• /
• 2014

In First-Order Logic the English expressions, 'any', 'every', 'all', and 'each' are treated on a par but have different meanings in the natural language usages. Especially the expression 'any' is typically used only in the negative contexts, which linguists have paid attention to and attempted to provide an adequate explanation of. I shall show that the explanations so far mainly from linguists are not satisfactory and revive the philosophical insights concerning the logical features of 'any' provided by Zeno Vendler in 1962. I shall claim that the expression 'any' has what Vendler calls the 'freedom of choice' as its primary meaning and denotes what Kit Fine calls an 'arbitrary object'. It will be shown that the logical features of 'any' are manifested more evidently in the analysis of the Korean expression 'amwu'. I believe that this analysis has significant philosophical implications. As an instance I shall show that we can take a fresh perspective on the problem which involves the universal generalization rule and the preface paradox.

• Journal of Mechanical Science and Technology
• /
• v.15 no.11
• /
• pp.1482-1489
• /
• 2001

Thermally-induced errors originating from machine tool errors have received significant attention recently because high speed and precise machining is now the principal trend in manufacturing proce sses using CNC machine tools. Since the thermal error model is generally a function of temperature, the thermal error compensation system contains temperature sensors with the same number of temperature variables. The minimization of the number of variables in the thermal error model can affect the economical efficiency and the possibility of unexpected sensor fault in a error compensation system. This paper presents a thermal error model with minimum number of variables using a fuzzy logic strategy. The proposed method using a fuzzy logic strategy does not require any information about the characteristics of the plant contrary to numerical analysis techniques, but the developed thermal error model guarantees good prediction performance. The proposed modeling method can also be applied to any type of CNC machine tool if a combination of the possible input variables is determined because the error model parameters are only calculated mathematically-based on the number of temperature variables.

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

By the exponential representation form (EF) for fuzzy logic, any fuzzy value a (in fuzzy valued logic or fuzzy linguistic valued logic) can be represented as Bc, where B is called the truth base and C the confidence exponent. This paper will propose the basic concepts of this form and discuss its interesting properties. By using a different truth base, the exponential form can be used to represent the positive and the negative logic in fuzzy valued logic as well as in fuzzy linguistic valued logic. Some Simple application examples of EF for approximate reasoning are also illustrated in this paper.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.24 no.2
• /
• pp.338-346
• /
• 1987

This paper describes a method for verifying whether a given geometrical layout correcdtly reflects the original logic level description. The logic description extracted from layout data was directly compadred with the original logic diagram generated at logic level design stage where the logic diagram is represented as a weighted multi-place graph. The comparison is based on graph isomorphism and error messages(error categories and locations)are invoked if any difference is found between the two logic descriptions. An efficient partitioning algorithm which consists of two steps, candidate selection and equal weight partitioning procedure, enables the entire verification process to occur in O(n log n) time.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.15 no.2
• /
• pp.126-131
• /
• 2015

Studies on the control of inverted pendulum type systems have been widely reported. This is because this type of system is a typical complex nonlinear system and may be a good model to verify the performance of a proposed control system. In this paper, we propose the design of two fuzzy logic control systems for the control of a Segway mobile robot which is an inverted pendulum type system. We first introduce a dynamic model of the Segway mobile robot and then analyze the system. We then propose the design of the fuzzy logic control system, which shows good performance for the control of any nonlinear system. In this paper, we here design two fuzzy logic control systems for the position and balance control of the Segway mobile robot. We demonstrate their usefulness through simulation examples. We also note the possibility of simplifying the design process and reducing the computational complexity. This possibility is the result of the skew symmetric property of the fuzzy rule tables of the system.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.10
• /
• pp.1606-1616
• /
• 1989

In this paper, the design of DYNAMIC CMOS ARRAY LOGIC which has both advantages of dynamic CMOS and array logic circuits is proposed. The major components of DYNAMIC CMOS ARRAY LOGIC are two-stage dunamic CMOS circuits and an internal clock generator. The function block of dynamic CMOS circuits is realized as a parallel interconnection of NMOS transistors. Therefore the operating speed of DYNAMIC CMOS ARRAY LOGIC is much faster than the one of the conventional dynamic CMOS PLAs and static CMOS PLA. Also, the charge redistribution problem by internl delay is solved. The internal clock generator generates four internal clocks that drive all the dynamic CMOS circuits. During evaluation, two clocks of them are delayed as compared with others. Therefore the race problem is completoly eliminated. The internal clock generator also prevents the reduction of circuit output voltage and noise margin due to leakage current and charge coupling without any penalty in circuit operating speed or chip area utilization.

• Journal of the Optical Society of Korea
• /
• v.16 no.4
• /
• pp.432-442
• /
• 2012

In this paper, we propose, analyze and simulate the performances of some new plasmonic logic gates in two dimensional plasmonic waveguides with nanodisk resonators, using the numerical method of finite difference time domain (FDTD). These gates, including XOR, XNOR, NAND, and NOT, can provide the highly integrated optical logic circuits. Also, by cascading and combining these basic logic gates, any logic operation can be realized. These devices can be utilized significantly in optical processing and telecommunication devices.

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

This paper addresses the structure and its associated learning algorithms of a feedforward multi-layered connectionist network, which has distributed learning abilities, for realizing the basic elements and functions of a traditional fuzzy logic controller. The proposed neural-network-based fuzzy logic control system (NN-FLCS) can be contrasted with the traditional fuzzy logic control system in their network structure and learning ability. An on-line supervised structure/parameter learning algorithm dynamic learning algorithm can find proper fuzzy logic rules, membership functions, and the size of output fuzzy partitions simultaneously. Next, a Reinforcement Neural-Network-Based Fuzzy Logic Control System (RNN-FLCS) is proposed which consists of two closely integrated Neural-Network-Based Fuzzy Logic Controllers (NN-FLCS) for solving various reinforcement learning problems in fuzzy logic systems. One NN-FLC functions as a fuzzy predictor and the other as a fuzzy controller. As ociated with the proposed RNN-FLCS is the reinforcement structure/parameter learning algorithm which dynamically determines the proper network size, connections, and parameters of the RNN-FLCS through an external reinforcement signal. Furthermore, learning can proceed even in the period without any external reinforcement feedback.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10b
• /
• pp.24-29
• /
• 1993

In this paper, the estimation of the structure of a logic circuit under test is made from the observation of the input-output correlation function by use of M-sequence, from which we can estimate whether or not any fault exist in the logic circuit. Especially, investigation was made in case of the 2_stage logic circuit. We checked theoretically the sequence of correlation function, and we have shown that the correlation function is a function of period of M-sequence only, land the appearing number of correlation function in a period is a constant value depending on the logic circuit only. And by computer simulations we have shown that the structure of the circuit under test can be estimated from the observation of sequence of correlation function.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.06a
• /
• pp.1001-1005
• /
• 2003

Most electronic chassis control systems until today have been designed with optimization on its own performance. Recently, however. importance of the global chassis control (GCC) concept that aims to achieve optimal performance on a global basis is more emphasized than ever, as the x-by-wire technology is rapidly progressing. In this research, a study has been done for developing a GCC logic for combining longitudinal, lateral, and vertical chassis control subsystems. A simulation has been performed to investigate interactions among the subsystems, and based upon the results, a GCC logic has been developed. The logic has been tested under various driving conditions. and the results have been compared with those from implementing subsystems without any GCC logic.