模糊一阶逻辑研究进展综述
模糊一阶逻辑是对模糊命题逻辑的进一步发展和扩充,其表达能力更强.最早关于模糊一阶逻辑的工作是由Novak完成的,至今虽然已有一些研究成果,但发展相对较慢.本文对模糊一阶逻辑近年来的研究成果进行综述,分析目前模糊一阶逻辑主要的两类研究方法,并提出模糊一阶逻辑今后可能的一些发展方向，与经典逻辑一样，模糊逻辑的研究也包括形式逻辑系统和相应的代数结构两部分，包括:将逻辑问题翻译成代数问题(algebraization )，研究相关的代数结构性质(运用泛代数的理论和方法)，将所获得的代数结果解释为相应的逻辑结论，发展相应的逻辑系统。
模糊逻辑 代数结构 广义量词理论
潘小东
西南交通大学数学学院,四川成都,610031
国内会议
第十届中国不确定系统年会、第十四届中国青年信息与管理学者大会
银川
中文
63-68
2012-07-27（万方平台首次上网日期，不代表论文的发表时间）