摘要
1引言
自Zadeh[1]于1965年建立模糊集理论以后,一种初始形态的模糊逻辑也被提[2].尽管模糊推理在模糊控制中有直接的应用,也受到模糊系统与人工智能学界的广泛关注,但是,由于模糊推理长期以来没有严格的逻辑基础,致使其进一步发展受到限制,且不可避免地受到怀疑与批判[3].
A basic formal deductive system UL of universal logic is introduced for the first time,and quotient algebra is constructed. Then valuation of type H is introduced and reliability theorem is proven. Moreover, the relation between UL and the classical proposition logical system L and fuzzy logical formal deductive system L* are discussed.
出处
《计算机科学》
CSCD
北大核心
2003年第11期21-24,共4页
Computer Science
基金
国家自然科学基金(批准号:60273087)
关键词
泛逻辑
UL
系统
可靠性
基本形式
演绎
Universal logic
Formal deductive system UL
Valuation of type H
Reliability
Fuzzy logic
