应计算机学院邀请，江南大学数理研究所所长潘正华教授6月8日来我院作了题为“关于模糊知识中不同否定的数学基础的研究”的学术报告。潘教授介绍了他们最近的研究成果：从逻辑角度描述了矛盾否定、对立否定和模糊否定等基本概念；从概念层面上介绍了清晰性知识和模糊性知识中存在的5种矛盾否定关系与对立否定关系；并较深入地讨论了中介命题逻辑系统给出一种真值域为[0,1]的无穷值语义模型等内容。潘教授还介绍了上述理论成果在模糊推理、综合评判、人工智能等领域的应用情况。
以符号为主的PPT画面及潘教授深入浅出的讲解吸引了与会的教师和研究生，也使与会人员感受到理论的魅力，对今后的研究不无启迪。
简介：潘正华教授主要在数学科学、计算机科学和人工智能等领域中的逻辑与推理理论与应用领域进行理论研究。在 “The Journal of Symbolic Logic”、“IEEE-International Symposium On Multiple-Valued Logic”、“IEEE-Third Inter. Conference on Machine Learning and Cybernetics”、“Asian Workshop on Foundations of Software”、“自然科学进展”“软件学报”、“数学研究与评论”等国内外学术刊物和国际会议上发表多篇学术论文。
