...译助手 的准形式演绎系统，证明了相应的可靠性定理．修正了模糊取式（FuzzyModusPonens，FMP）与模糊拒取式（FuzzyModusTolens，FMT）概念，并明确了FMP与FMT的模糊逻辑依据． 文摘来源 A formal deductiv...
基于2个网页-相关网页
...手 的准形式演绎系统，证明了相应的可靠性定理．修正了模糊取式（FuzzyModusPonens，FMP）与模糊拒取式（FuzzyModusTolens，FMT）概念，并明确了FMP与FMT的模糊逻辑依据． 文摘来源 A formal deductiv...
基于1个网页-相关网页