• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.05a
• /
• pp.322-328
• /
• 2000

This study discusses cognition as a computable mapping in cognitive system and relates G del's Incompleteness Theorems to the computability of cognition from a metamathematical perspective. Understanding cognition as a from of computation requires not only Turing machine models but also neural network models. In previous studies of computation by cognitive systems, it is remarkable to note how little serious attention has been given to the issue of computation by neural networks with respect to G del's Incompleteness Theorems. To address this problem, first, we introduce a definition of cognition and cognitive science. Second, we deal with G del's view of computability, incompleteness and speed-up theorems, and then we interpret G del's disjunction on the mind and the machine. Third, we discuss cognition as a Turing computable function and its relation to G del's incompleteness. Finally, we investigate cognition as a neural computable function and its relation to G del's incompleteness. The results show that a second-order representing system can be implemented by a finite recurrent neural network. Hence one cannot prove the consistency of such neural networks in terms of first-order theories. Neural computability, theoretically, is beyond the computational incompleteness of Turing machines. If cognition is a neural computable function, then G del's incompleteness result does not limit the compytational capability of cognition in humans or in artifacts.

• Journal of The Korean Association of Information Education
• /
• v.20 no.4
• /
• pp.375-386
• /
• 2016

Research of information gifted analysis through the adult gifted electrical of information field is not nearly done. Therefore, there is a need for a study to analyze the information gifted property through the life of adult talent. In the present study, the 'Alan Turing' who left the achievements in the field of information was chosen to study. And analyzed the biographies of Alan Turing in the content analysis method was used to derive the factor of information gifted property. As a result, it was found that it contain twelve factors to information gifted of the two regions of Alan Turing. The information special education for extending the gifted of information that is exposed in various forms, there is a need to provide a curriculum that can extend the capabilities of mathematics and science education methods, long-term and multilateral it is necessary to determine the tools and good sense of the information talent teacher that can be to determine the information gifted. Based on this understanding, in future studies, to determine the elementary school information gifted, various information gifted either present were present as may be a substantial aid targeting a map information gifted of the factor analysis, there is a need to be sustained process of information gifted expression of adult information gifted in the direction of a more systematic analysis.

• Proceedings of the KSME Conference
• /
• 2004.11a
• /
• pp.956-961
• /
• 2004

This paper proposes a study on the spherical lens manufacturing by simultaneous 3 axis for NC lathe. We use friction drive system for moving system in experimental diamond turing machine. The diamond turning machine use manufacturing for high quality lens, mirror and many optics products. Especially, the high tech industry require a lot of lens. For example, optical engineering. medical science, space engineering and material engineering etc. The friction drive system is very simple and quiet, compared to ball screw system. We find a problem at the simultaneous 3 axis and suggest a solution. Also, when we manufactured a micro lens. find a problem and solution.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.17 no.2
• /
• pp.129-138
• /
• 2013

A spatio-temporal models as systems of ODE which describe two-species Beddington - DeAngelis type predator-prey system living in a habitat of two identical patches linked by migration is investigated. It is assumed in the model that the per capita migration rate of each species is influenced not only by its own but also by the other one's density, i.e. there is cross diffusion present. We show that a standard (self-diffusion) system may be either stable or unstable, a cross-diffusion response can stabilize an unstable standard system and destabilize a stable standard system. For the diffusively stable model, numerical studies show that at a critical value of the bifurcation parameter the system undergoes a Turing bifurcation and the cross migration response is an important factor that should not be ignored when pattern emerges.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.24 no.3
• /
• pp.321-330
• /
• 2020

Data classification and clustering is one of the most common applications of the machine learning. In this paper, we aim to provide the insight of the classification for Turing pattern image, which has high nonlinearity, with feature engineering using the machine learning without a multi-layered algorithm. For a given image data X whose fixel values are defined in [-1, 1], X - X³ and ∇X would be more meaningful feature than X to represent the interface and bulk region for a complex pattern image data. Therefore, we use X - X³ and ∇X in the neural network and clustering algorithm to classification. The results validate the feasibility of the proposed approach.

• Proceedings of the KOR-KST Conference
• /
• 2007.11a
• /
• pp.960-968
• /
• 2007

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.18 no.6
• /
• pp.591-596
• /
• 2012

Recently, a vessel's maneuvering performance is considered to be an important subject to secure safety at short sea shipping. Especially the high turning performance, which is required to avoid the marine pollution by the ships that was grounded, becomes more severe. In this paper, we discuss the effect of increasing rudder force on turning performance of short sea shipping ship by free running test in towing tank. First of all, we make the 47K PC model ship and high-lift rudder using Coanda effect. And we make the free running test system for the turning test in towing tank. And also we perform the turing test of 47K PC model in several changes of Coanda jet momentum and evaluate the turing performance such as advance and tactical diameter. Finally, we confirm that the increasing of rudder force is very effective to improvement of turning performance of short sea shipping ship.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.3
• /
• pp.261-265
• /
• 2008

As increasing the user of VoIP service using ITSP(Internet Telephony Service Provider), the VoIP spam becomes a big problem. The spam used in the existing public telephone is detected by using the pattern inspection of call behavior because it is difficult to filter contents for the characteristic of real-time voice communication. However there is a false-positive problem. The threat on spam remains where spam with low threshold can't be detected or users share one number. In this paper, we propose anti-spam for VoIP based on luring test. The proposed method gives a user luring test and he/she can connect to a receiver if passing turing test. A ticket is given to a user that pass luring test and it reduces overhead of luring test in re-dial. The proposed method is implemented on ASUS WL-500G wireless router and Asterisk IP-PBX. Experimental results show the effectiveness of the proposed method.

• Journal of Science and Technology Studies
• /
• v.17 no.1
• /
• pp.5-39
• /
• 2017

In March 2016, the computer Go program, AlphaGo, defeated Sedol Lee, a Korean professional Go player of 9-dan rank. This victory by AlphaGo shows the rise in popularity of artificial intelligence (AI). Not only was this game a testament to machine performance, it was the type of game that extended the Turing test. When the interrogator cannot differentiate between human being and machine, the machine has passed the test. This article examines the interactions between AI and human beings and studies the social nature of intelligence through the AlphaGo case. Collins insists that knowledge or intelligence is social and embodied, and the interrogators in the Turing test can identify the difference between native members and non-members through their knowledge only. Applying this concept, AlphaGo, as subject A of this test, fulfilled its role of stirring up the classical "truth of human." Meanwhile, Lee as subject B, played to speak the truth by revealing his own qualities. Here, it is also important role that interrogators judge what it is. Many spectators, as interrogators, have intervened to confirm the border between human beings and machines by using their embodied and social knowledge.

• Proceedings of the KIEE Conference
• /
• 2005.10b
• /
• pp.526-528
• /
• 2005

The best known Lee & Sung and Ho's method for PID tuning of the system with time delay are compared with the recently developed the LQ-PID method.