• 논리연구
• /
• 제14권3호
• /
• pp.101-137
• /
• 2011

마틴뢰프는 그의 직관주의적 유형론에서의 판단형식들에 관한 분석에 의거하여, 통상적인 논리법칙들과 수학의 흥미로운 판단들은 분석판단이 아닌 종합판단에 해당하며, 분석판단의 논리는 결정가능하고 완전하지만 종합판단의 논리는 결정가능하지 않으며 불완전하다고 주장한다. 이 글의 목적은 마틴뢰프의 논지를 보다 분명히 하여 검토하려는 것이다. 1절에서 필자가 이해한 단형 유형론의 기본 사항들을 검토한 후, 2절에서는 마틴뢰프의 분석/종합 구분을 보다 분명히 드러내고, 마틴뢰프의 구분에 대한 가능한 비판 및 '통상적인 논리법칙들과 수학의 흥미로운 판단들은 종합판단에 해당한다'는 논제를 검토한다. 3절에서는 '분석판단의 논리는 결정가능하고 완전하지만 종합판단의 논리는 결정가능하지 않으며 불완전하다'는 논제를 보다 분명히 드러내어 검토한다.

• 한국자동차공학회논문집
• /
• 제8권5호
• /
• pp.196-206
• /
• 2000

These days, the fuzzy logic or the fuzzy set theory has received attention from a number of researchers in the area of industrial application. Moreover, the fuzzy logic control has been successfully applied to a large numbers of control problems where the conventional control methods had failed. Using this control theory we designed a climate controller for an automotive climate control system whose mathematical model is difficult. This paper describes an automotive climate control where the fuzzy control has been used to stabilize parameter uncertainties and disturbance effects. To show the validity and effectiveness of the proposed control method, the fuzzy logic controller was implemented with a philips 80C552 microcomputer chip and tested in an actual vehicle. From the experimental results, it could be conduced that the proposed controller is superior to conventional controllers in both control performance and thermal comfort. The climate control system in cars is difficult to model mathematically so we tested a fuzzy logic control system which promised better results.

• 대한기계학회논문집A
• /
• 제28권11호
• /
• pp.1685-1691
• /
• 2004

This paper describes the fault detection and failsafe logic to be used in an Electronic Stability Program(ESP). The aim of this paper is to prevent of erroneous controls in the ESP. Developed this paper introduces the fault detection logic and evaluation of residual signals. The failsafe logic consists of four redundant sub-models, which can be used for detecting the faults in various sensors (yaw rate, lateral acceleration, steering wheel angle). We present two mathematical residual generation methods : one is a method using the average value and the other is a method using the minimum value of the each residual. We verified a failsafe logic developed using vehicle test results also we compare vehicle model based simulation results with test vehicle results.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2004년도 춘계학술대회
• /
• pp.774-779
• /
• 2004

This paper describes the fault detection and failsafe logic to be used in the Electronic Stability Program (ESP). The Aim of this paper is prevention of erroneous control in the ESP. This paper introduces the fault detection logic and evaluation of residual signals. Failsafe logic consist of four redundant sub-models and they can be used for the detection of faults in each sensor (yaw rate, lateral acceleration, steering wheel angle). We presents two mathematical residual generation method ; one is the method by the average value, and the other is the method by the minimum value of the each residual. We verify a failsafe logic using vehicle test results, also we compare vehicle model based simulation results with test vehicle results.

• Journal of Information Processing Systems
• /
• 제11권4호
• /
• pp.630-642
• /
• 2015

In Jøsang's subjective logic, the fusion operator is not able to fuse three or more opinions at a time and it cannot consider the effect of time factors on fusion. Also, the base rate (a) and non-informative prior weight (C) could not change dynamically. In this paper, we propose an Improved Subjective Logic Model with Evidence Driven (ISLM-ED) that expands and enriches the subjective logic theory. It includes the multi-agent unified fusion operator and the dynamic function for the base rate (a) and the non-informative prior weight (C) through the changes in evidence. The multi-agent unified fusion operator not only meets the commutative and associative law but is also consistent with the researchers's cognitive rules. A strict mathematical proof was given by this paper. Finally, through the simulation experiments, the results show that the ISLM-ED is more reasonable and effective and that it can be better adapted to the changing environment.

• 논리연구
• /
• 제23권2호
• /
• pp.117-159
• /
• 2020

전기 비트겐슈타인의 『논리-철학 논고』에서 논리철학과 수학철학은 가장 핵심적이고 중요한 주제들에 속한다. 그렇다면 비트겐슈타인은 『논고』에서 논리학과 수학에 관해 어떤 철학적 견해를 보였는가? 가령 그는 프레게와 러셀의 논리주의를 받아들였는가 아니면 거부했는가? 그는 수학과 논리학의 관계를 어떻게 규정했는가? 가령 "수학은 논리학의 한 방법이다."(6.234)와 "논리학의 명제들이 동어반복들 속에서 보여 주는 세계의 논리를 수학은 등식들 속에서 보여 준다."(6.22)를 우리는 어떻게 해석해야 하는가? 그리고 비트겐슈타인은 『논고』에서 동어반복과 등식의 관계를 어떻게 파악했는가? 나는 이 글에서 『논고』를 중심으로 이러한 물음들에 대해 대답하고자 한다.

• 호남수학학술지
• /
• 제32권4호
• /
• pp.625-632
• /
• 2010

The notions of commutative pre-logics and terminal sections are introduced. Characterizations of a commutative prelogic are provided. Properties of deductive systems in pre-logics which are upper semilattices are considered.

• 호남수학학술지
• /
• 제31권3호
• /
• pp.323-333
• /
• 2009

We introduce the concepts of a fuzzifying filter and a fuzzifying implicative filter in lattice implication algebras.

• 한국수학사학회지
• /
• 제12권2호
• /
• pp.15-23
• /
• 1999

This paper deals with the origin of the concept of lattices in mathematics and its development until 1930's. Although it is purely mathematical, its formation is due to the development of symbolic logic Further, logicians were mostly concerned about how to imitate the methods and duplicate the problems of algebra but not the application to mathematics. The first purely mathematical approach was given by Dedekind and his results were neglected and then reappeared in 1930's.

• 한국인터넷방송통신학회논문지
• /
• 제8권2호
• /
• pp.15-21
• /
• 2008

본 논문에서는 2진논리의 확장을 Galis체상에서 해석하여 확장논리에 기초한 순차디지털논리시스템과 컴퓨터구조의 핵심인 연산알고리즘을 논의하였다. 순차디지털논리시스템은 Building Block으로서 T-gate를 사용하였으며, 차순상태함수, 출력함수를 도출하여 최종 궤환이 없는 Moore Model의 순차디지털논리시스템을 구성하였다. 그리고, 컴퓨터구조에서 중요한 연산알고리즘의 핵심인 가산, 감산, 승산 및 제산 알고리즘을 유한체의 수학적 성질을 토대로 각각 도출하였다. 특히, 유한체 GF($P^m$)상에서 P=2인 경우는 기존의 2진디지털논리시스템에 적용이 용이하다는 장점이 있으며, mod2의 성질에 의해 감산 알고리즘은 가산 알고리즘과 동일하다. 제안한 방법은 기존의 2진논리를 확장할 수 있어 좀 더 효율적으로 디지털논리시스템을 구성할 수 있을 것으로 사료된다.