• Annual Conference on Human and Language Technology
• /
• 2001.10d
• /
• pp.414-421
• /
• 2001

본 논문에서는 한정된 영역을 대상으로 하는 질의응답 시스템에서 사용자의 질의를 해석하고 적당한 대답을 생성하기 위해 백과사전이나 일반사전 등과 같은 지식원에서 추출된 구조화된 지식을 사용하는 과정을 기술한다. 질의응답을 위하여 지식원은 그 단락의 의미에 따라 구조화되고 각 단락은 논리형식으로 변환되었으며, 논리형식 내 각 개체들은 사전 정의문에 따라 확장되었다. 이 구조화된 지식은 입력된 자연언어 질의문에서 질의의 의도를 추출하고, 질의에 포함되어 있는 지식에 의미속성을 부착하기 위해 사용된다. 지식원의 논리형식 변환을 위해 한국어의 논리형식이 도입되었으며, 사용된 지식원은 우리말 큰사전과 계몽백과사전의 30여개 질병정의문이다.

• Journal for History of Mathematics
• /
• v.21 no.1
• /
• pp.17-28
• /
• 2008

This Paper introduces a historical background of mathematical logic. Logic and mathematics were not developed dependently until the mid of the nineteenth century, when two streams of logic and mathematics came to form a river so that brought forth synergy effects. Since the mid-nineteenth century mathematization of logic were proceeded while attempts to reduce mathematics to logic were made. Against this background $G{\ddot{o}}del's$ proof shows the limitation of formalism by proving that there are true arithmetical propositions that are not provable.

• Journal for History of Mathematics
• /
• v.20 no.3
• /
• pp.105-126
• /
• 2007

The present paper considers how to teach mathematical concepts. In particular, we aim to a balanced, unified achievement for three elements of concept loaming such as concept understanding, computation and application through one's mathematical intuition. In order to do this, we classify concepts into three patterns, that is, intuitive concepts, logical concepts and formal concepts. Such classification is based on three kinds of philosophy of mathematics : intuitionism, logicism, fomalism. We provide a concrete, practical investigation with important nine concepts in theory of vectors from the viewpoint of three patterns of concepts. As a consequence, we suggest certain solutions for an effective concept learning in teaching theory of vectors.

• Journal of the Korea Society for Simulation
• /
• v.21 no.4
• /
• pp.35-46
• /
• 2012

As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.15 no.4
• /
• pp.231-237
• /
• 2015

However XML languages can logically define the type of structure with their's own grammar, it is inadequate to use them as a tool for conceptual model that represents the semantics of data and the relationships between the data in the real world. In this paper, we propose conceptual modeling techniques, called CMXML, for modeling the XML schema at the conceptual level. For this purpose, we define the model formally, and provide a way to represent the model in a graphical and text form. We also propose an mapping methodology providing transformation from CMXML to XML schema to show the feasibility of the proposed model.

• Journal of Korean Philosophical Society
• /
• v.137
• /
• pp.151-191
• /
• 2016

Kant and Lacan strongly criticized the epistemological premise of formal logic. However, Lacan was opposed to Kant in terms of subject, object, knowledge and truth. From the viewpoint of Kant's transcendental logic, formal logic does not have the ability to represent the nature of truth. On the other hand, from the viewpoint of Lacan's psychoanalytic logic, Kant's transcendental logic misunderstands or only partially represents the state of things. But I would like to try to criticize the epistemological premise of the two forms of logic. Transcendental logic takes the evident and new function in that it has studied the necessary condition of content rather than the form of thinking which formal logic considers as his object of study. Transcendental logic evidently studies the categories which dominate our way of thinking. Can we say that the 12 categories which Kant provided are sufficient in explaining the necessity of thinking? Lacan's psychoanalytic logics tells us that Kant's categories are only a kind of metaphor related with hypothesis that tries to explain the possibility of synthetical judge a priori. Is Lacan's psychoanalytic logic sufficient in explaining the possibility of science? It is not sufficient in explaining the objectivity and strictness of science, for it depends on metaphor and metonymy which are useful to literature and unconsciousness. I would like to try to synthesize Kant's transcendental and Lacan's psychoanalytic logic in terms of structure-constructivism which combines both formal and dialectical logic, which is consistent with the ideal of human science, and not blinkered science. My conclusion is that Kant's ethical and esthetical theory should be modified though Lacan's psychoanalytic logic, and Lacan's theory of the unconsciousness revised by Kant's transcendental logic.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.515-517
• /
• 2003

BAN 논리와 같은 논리를 사용한 암호학적 프로토콜의 형식적 검증 방식은 프로토콜들의 다양한 결점들을 분석할 수 있다. 그러나 BAN 논리와 BAN의 확장된 논리들은 명시적 가정과 목적을 통해 프로토콜의 목적 성취 유무만을 추론할 수 있다. 본 논문에서는 기존의 논리들을 비교 분석하여 메시지 의미를 추론하는 규칙에 대한 정확한 해석에 대해 살펴본다. 그리고 암호학적 프로토콜의 보안 요구사항 중 하나인 메시지 무결성(message integrity)을 논리(logic) 범위에서 추론할 수 있는 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1615-1618
• /
• 2003

최근 생물정보학 분야에서는 이질적인 데이터 형식으로 제공되는 모티프 자원들을 하나의 자원으로 통합하고자 하는 많은 연구가 진행되고 있다. 이러한 통합을 위해 웹 기반 cross-reference를 이용한 논리적 통합이 주로 사용되어져 왔고, 이러한 이질적인 데이터의 상호교환을 위한 표준 형식으로 XML을 정의하여 이응하기 시작하였다. 피러나 이러한 웹 기반 cross-reference를 이용한 논리적 통합은 복잡한 질의 처리 문제, 중복된 데이터베이스 핸들링 문제 등을 지니고 있다. 따라서 이 논문에서는 이러한 문제점들을 개선하기 위해 물리적으로 모티프 자원들을 하나의 통할 데이터베이스로 구축하였고, 통합된 모티프 자원의 표준적 상호 교환을 위해 XML 생성기를 구현하였다.

• Journal for History of Mathematics
• /
• v.25 no.1
• /
• pp.57-70
• /
• 2012

We will research the elementary formal logic and mathematical concept represented in Mojing, and focus on the ancient Chinese's mathematical principles implicit in Mojing. Moreover, the mathematical significance and values of Mojing are examined.

• Journal of Educational Research in Mathematics
• /
• v.16 no.2
• /
• pp.95-113
• /
• 2006

The study tries to differentiate the levels of mathematical reasoning from inductive reasoning to formal reasoning for teaching gradually. Because the formal point of view without the relation to objects has limitations in the creation of a new knowledge, our mathematics education needs consider the such characteristics. We propose an intuitive level of proof related in concrete operations and perceptual experiences as an intermediating step between inductive and formal reasoning. The key activity of the intuitive level is having insight on the generality of reasoning. The details of the process should pursuit the direction for going away from objects and near to formal reasoning. We need teach the mathematical reasoning gradually according to the appropriate level of reasoning more differentiated.