진리함수사상을 이용한 일반화된 대우추론

Abstract

Baldwin은 진리함수사상을 이용하는 근사추론법을 정의하였다. 우리는 논문[4]에서 기존에 사용되는 진리함수사상 이외에 새로운 진리함수사상 두 가지를 정의하여 일반화된 연역추론에 적용한 결과를 소개하였다. 이 논문에서는 이 진리함수사상을 적용한 일반화된 대우추론에 대하여 알아보고 그 결과를 소개하였다. Baldwin defined the approximate reasoning using truth function mapping. In paper [4], we defined two truth function mappings and applied these truth function mappings to generalized modus ponens. In this paper, we introduce the results of generalized modus tollens using these two truth function mappings.