• Title/Summary/Keyword: 형식논리

Search Result 251, Processing Time 0.021 seconds

Turing's Cognitive Science: A Metamathematical Essay for His Centennial (튜링의 인지과학: 튜링 탄생 백주년을 기념하는 메타수학 에세이)

  • Hyun, Woo-Sik
    • Korean Journal of Cognitive Science
    • /
    • v.23 no.3
    • /
    • pp.367-388
    • /
    • 2012
  • The centennial of Alan Mathison Turing(23 June 1912 - 7 June 1954) is an appropriate occasion on which to assess his profound influence on the development of cognitive science. His contributions to and attitudes toward that field are discussed from the metamathematical perspective. This essay addresses (i)Turing's mathematical analysis of cognition, (ii)universal Turing machines, (iii)the limitations of universal Turing machines, (iv)oracle Turing machine beyond universal Turing machine, and (v)Turing test for cognitive science. Turing was a ground-breaker, eager to move on to new fields. He actually opened wider the scientific windows to the mind. The results show that first, by means of mathematical logic Turing discovered a new bridge between the mind and the physical world. Second, Turing gave a new formal analysis of operations of the mind. Third, Turing investigated oracle Turing machines and connectionist network machines as new models of minds beyond the limitations of his own universal machines. This paper explores why the cognitive scientist would be ever expecting a new Turing Test on the shoulder of Alan Turing.

  • PDF

The Study on Consistency of Simulation Logic about Close Combat Damage Assessment among Constructive Models : Based on Combined Arms Integrated Interoperability System (워게임모델간 근접전투 피해평가 모의논리 일치에 관한 연구 : 제병협동통합연동체계를 중심으로)

  • Moon, Ho-Seok;Kim, Hyung-Se;Hwang, Myung-Sang;Bae, Hyun-Wung;Lee, Dong-Keun
    • Journal of the military operations research society of Korea
    • /
    • v.37 no.1
    • /
    • pp.87-97
    • /
    • 2011
  • In this paper, we propose a new close combat expert system to overcome the difference of combat damage assessments between combat units belong to their own model in Combined Arms Integrated Interoperability System(CAIIS) which will be deployed in the early future. When it happens to engage in a battle among combat units belong to their own model in CAIIS, the result of damage assessment is different severely. This is related to CAIIS's confidence and need to be overcome. We propose the expert system for close combat damage assessment with a decision tree. Simulation results show that the proposed expert system is valid well. Because the proposed expert system is made not as an independent system but as an inner module type of CAIIS, CAIIS will be simpler system than we expect. And we will hope to reduce the cost of CAIIS.

An Analysis on the Behavioral Characteristics of the Scientifically Gifted Students (과학 영재의 행동 특성 분석)

  • Lee, Hang-Ro
    • Journal of the Korean earth science society
    • /
    • v.32 no.3
    • /
    • pp.294-305
    • /
    • 2011
  • This study was to examine the differences of behavioral characteristics between scientifically gifted students and ordinary students. The subjects were 40 scientifically gifted students (27 males and 13 females) and 38 ordinary students (21 males and 17 females). The study specifically analyzed the several characteristics including logical thinking, science process skills, creativity, earth science creativity, self-directed learning, and cognitive style. The results were as follows; First, while 94.74% of scientifically gifted students reached the formal stage, only 36.36% of ordinary students reached it in logical thinking. Second, scientifically gifted students gained higher scores than ordinary students did in science process skills (average 8.11), creativity (average 8.27), earth science creativity (average 6.73), scientific attitude (average 10.79), self-directed learning (average 21.60). Third, 70% of scientifically gifted students and 60.53% of ordinary students showed to have the characteristics of field independent thinking. These results implied that the behavioral characteristics of scientifically gifted students should be included in science gifted education for the pursuit of the essential gifted education and maximization of its efficiency.

Symbolism of Ritual Arrangement Research (제례진설의 상징성 연구)

  • Lee, Chulyoung;Kim, Eunji;Pak, Sangmi;Jeong, Gyeoun;Kim, Jeong-Lae
    • The Journal of the Convergence on Culture Technology
    • /
    • v.2 no.1
    • /
    • pp.53-70
    • /
    • 2016
  • There has been many researchs about "朱子家禮" providing the basic mannerism in Josun Dynasty era and influencing rituals to communicate ancestors. However, the arrangement of ritual has not been researched and understood as formality. In this study, the Yin, Yang and the five element theory was researched in the perspective of understanding in the universe order and ancient astronomy that provided the academic basic and idea in the era to understand the arrangement of the ritual, and based on this, the arrangement in "朱子家禮" was analysed. As a result, it was confirmed that the arrangement in ritual was made by the structure of symbol of Yin, Yang and five elements, which is the logic of order in universe people understood at that time. Through this, by understanding the meaning of the arrangement in ritual, the ritual culture would be properly understood and passed to next generation despite of changes in culture.

Meaning Analysis (의미 분석)

  • 이건원
    • Proceedings of the Korean Society for Cognitive Science Conference
    • /
    • 2000.06a
    • /
    • pp.419-423
    • /
    • 2000
  • 성공적인 의사소통의 경우에 성(性)이, 이(理)와 명(命)으로 나타난 것이 같다. 진리(aletheia)가, 언어(logos)와 운명(moira)으로 나타난 것들이 일치하는 것이 성공적인 언화행위가 된다. 측정대상(melos)과 본체(ousia)가 구분되는 것은 언어와 운명의 괴리가 있을 수 있기 때문이다. 체계적인 언어처리의 지식기반을 측정대상에 한정한다. (1) 철학의 시작은 더 옳은 언어표현의 정의(definition)로 이전의 잘못 사용된 언어처리를 대체시키는 것으로 소크라테스는 보았다. [R. Crossman] (2)잘못을 지적하는 등에(Tabanidae)의 역할과 옳은 지식의 상기를 돕는 산파법(maieutics)이 소크라테스의 의미분석의 방법이다. [R. Crossman] (3) 언어를 통하여 진리를 추구한다는 입장(via language)에서 한 언어표현이 그 진리의 운명으로 나타남과 어긋날 때, 운명을 택하는 것은 조화 보다 더 안정의 우위를 인정하는 논리적인 입장으로 합리성 보다 실용(pragma)의 우위를 인정하는 것이다. [W. Quine] (4) 공동체의 공통규범의 추구는 그 언어 속의 공통의 형식 또는 법칙의 추구에 기초하는 것이 자연스럽다. 여기에서 그 언어사용은 그 기저의 법칙(underlying rule)에 개입한다는 입장에 기초한다. [J. Searle] (5) 진리의 언어표현과 운명적인 사태들 사이의 괴리를 처리하기 위하여 체계적인 언어표현의 대상(The Young Tableaux)과 실제(The continuum)의 구분을 수용한다. [AMS(2000)]언어표현의 대상은 나타난 것(顯)이고 실제에는 나타나지 않은 것도 있다. [伊川, 明道] (6) 이 나타난 것과 나타나지 않은 것에 간격이 없다는 것(顯微無間)은 그 의사소통이 성공적인 것이라는 것을 말한다. 따라서 그 언어의 표현완전성(functional completeness)은 언화행위가 성공적이라는 것이다. [J. Searle] (7) 수로 쓰인 것(象數)과 시로 쓰인 것(義理)이 하나인 것은 그 나타난 것과 나타나지 않은 것들 사이에 어떠한 틈도 없음을 말한다. [成中英] (8) 공통의 규범의 공통성 속에 규범적인 측면이 벌써 있다. 공통성에서 개인적이 아닌 공적인 규범으로의 전이는 규범, 가치, 규칙, 과정, 제도로의 전이라고 본다. [C. Morrison] (9) 우리의 언어사용에 신비적인 요소를 부인할 수가 없다. 넓은 의미의 발화의미(utterance meaning) 속에 신비적인 요소나 애정표시도 수용된다. 의미분석은 지금 한글을 연구하고, 그 결과에 의존하여서 우리의 실제의 생활에 사용하는 $\boxDr$한국어사전$\boxUl$등을 만드는 과정에서, 어떤 의미에서 실험되었다고 말할 수가 있는 언어과학의 연구의 결과에 의존하여서 수행되는 철학적인 작업이다. 여기에서는 하나의 철학적인 연구의 시작으로 받아들여지는 이 의미분석의 문제를 반성하여 본다.

  • PDF

Considerations on the Making of Scientific Content and Processing of Biological Knowledge (생명과학 지식의 가공과 콘텐츠화 과정에 대한 연구)

  • Ahn, Sun-Young;Kim, San-Ha;Jang, Yi-Kweon
    • The Journal of the Korea Contents Association
    • /
    • v.11 no.11
    • /
    • pp.503-513
    • /
    • 2011
  • Appreciation of nature and an understanding of the biological sciences by the general public are key to the popularization of modern science. In particular, informal and accessible venues such as museum exhibits occupy a crucial role in science education, and they depend heavily on fields related to macrobiology, including Ecology, Animal Behavior, and Environmental Science. Unfortunately, lack of engaged experts and superficial descriptions of natural phenomena all too often prevent scientific knowledge from being shared effectively with the general public. Raw information itself and knowledge are not in a form or structure accessible to nonspecialists. In order to move successfully deliver substantive comprehension of the biological knowledge to the general public, it is necessary to categorize information from a content-conscious perspective and transform it into useful biological content. Therefore, the role of scientists is critically important in a series of processes that include theme selection, editing, and even graphical layout of contents. These processes require not only a scientific and logical way of thinking, but also an aptitude for artistic presentation and effective communication. The concept of Translation is presented as a theoretical and operational framework for the popularization of science.

Development of Electoronic Book of Korea Standard (한국 전자책 문서표준(EBKS)의 개발)

  • 손원성;고승규;이경호;김재경;김성혁;임순범;최윤철
    • Journal of the Korean Society for information Management
    • /
    • v.18 no.2
    • /
    • pp.255-272
    • /
    • 2001
  • Generally, a paper book that is digitalized or a method of giving information to user in a form of paper book after digitalization is called ebook. Due to the rapid spread of internet and development of digital information technology, ebook has become an important issue globally. Not only can ebook send information efficiently but the price is low and compared to paper books it is more effective in sending information by using technologies like multimedia. However, ebook markets have problems to grow because there are different ebook formats. In this study, we will explain about the development of Electronic Book of Korea Standard(EBKS) to solve the problems. The purpose of EBKS is the exact exchange for ebook contents. To archive this purpose, we define the explict logical structure for documents and recommend metadata for doemetic enviroments and XSL-FO to provide high-quality layout. We expect that the establishment of EBKS will greatly contribute to growth of ebook markets by preventing the duplicable investment for contents and technologies.

  • PDF

A History of Calculus and the Dialectical Materialism (미적분의 역사와 변증법적 유물론)

  • 조윤동
    • School Mathematics
    • /
    • v.5 no.4
    • /
    • pp.521-540
    • /
    • 2003
  • The processes of mathematics development and the results of it are always those of making a conquest of the circumscription by historical inevitability within the historical circumscription. It is in this article that I try to show this processes through the history of calculus. This article develops on the basis of the dialectical materialism. It views the change and development as the facts that take place not by individual subjective judgments but by social-historical material conditions as the first conditions. The dialectical materialism is appropriate for explaining calculus treated in full-scale during the 17th century, passing over ahistorical vacuum after Archimedes about B.C. 4th century. It is also appropriate for explaining such facts as frequent simultaneous discoveries observed in the process of the development of calculus. 1 try to show that mathematics is social-historical products, neither the development of the logically formal symbols nor the invention by subjectivity. By this, I hope to furnish philosophical bases on the discussion that mathematics teaching-learning must start from the real world.

  • PDF

Risk Value Calculation Method for Moderate Risk Concentration Type at Qualitative Risk Analysis Phase (정성적 위험분석 단계에서 중간위험 집중형 위험도 산정 방법)

  • Kim, Seon-Gyoo
    • Korean Journal of Construction Engineering and Management
    • /
    • v.16 no.2
    • /
    • pp.38-45
    • /
    • 2015
  • The risk analysis phase of construction risk management process is subdivided into the qualitative risk analysis that plays a major role, and the quantitative risk analysis acting as a supportive role. The traditional calculation method for quantifying a risk value that has been applied so far is an equation to multiply a probability by an impact simply, but its result shows the low risk value biased distribution. Although another equation that shows the high risk biased distribution as an alternative of traditional method was proposed, both of the low or high risk biased equations do not match with the statistical general knowledge that most natural phenomenons are close to the normal distribution. This study proposes a new risk value calculation method that is concentrated to the moderate risk value. Because the risk value distribution by a new method shows a normal shape similar to natural phenomenon, it helps to choose a middle level not biased to the low or high levels when choosing the level of risk response. Furthermore, it could contribute to improve the flexibility and rationality of risk analysis method by providing additional options for the risk value calculation.

Development of a Remote Dust Collector Bag Control System using Power Line Communication (전력선 통신을 이용한 원격 집진기 bag 제어 시스템 개발)

  • Kim, Jung-Sook
    • Journal of the Korea Society of Computer and Information
    • /
    • v.15 no.4
    • /
    • pp.91-98
    • /
    • 2010
  • Advances in communications and control technology, the strengthening of the Internet, and the growing recognition of the urgency to reduce the risk and production cost are motivating the development of improvements in the traditional manufacturing industry. In this paper, we developed a remote dust collector bag control system which is a combination of advanced IT and traditional dust collector based on the event. At first, we made the A/D(Analog/Digital) converter using a micro processor because the differential pressure transmission, which is a sensor of the dust collector, produces analog volt data. A/D converter can provide RS-232 communication to connect with Power Line Communication(PLC) modem. And, n-bytes message format was defined for the efficient dust collector bag information transmission from a dust collector to a user. Also, we designed the data types to model the dust collector and the dust collector bag, and they were logically modeled using XML and object-oriented modeling method. In addition to that, we implemented the system for showing the dust collector bag exchange time exactly to users at real-time using various visual user interfaces.