蒋学锋
蒋学锋 男，1946年11月出生。浙江慈溪人。汉族。上海交通大学本科毕业。 1987一1988年赴美进修。现在宁波万里学院管理系工作，教授，贵州省制约逻辑学会副理事长兼学术委员会主任。英语能读、听、说、写。科研成果“制约逻辑在知识库系统中的应用”、“模糊逻辑专家系统开发工具的改造和应用研究”、“定罪量刑参考系统”，“110接处警决策支持系统”和“多民族贫困地区文献资源建设研究”等，已通过专家组鉴定，属国内领先或省内领先，迄今国内外尚未发现同类研究和应用。其中两项获省政科技进步奖，一项获省公安厅科技进步三等奖。发表论文《Knowledge Representation By CERLEL Approach》（第三届双年国际逻辑会议论文集，索非亚， 1990）、《Resoluti on Method Basedon Lin’s Entailment logic》（第九届国际逻辑哲学方法大会论文集，瑞典 ，1991）、《模糊逻辑专家系统工具FLOPS的特性分析》（《微型计算机》，VoL.12，No.2，1992）、《软件开发模型KFFEITO及基实例分析》（《华中理工大学学报》，VoL.26,No12,1998）、《SynthesinzingApplication of uncertainty Knowledge》（《ASSA》，USA，1996）等30余篇，主编出版《软件工程》、《计算机技术及其应用（英）》等专著三部。担任数据库、人工智能和知识工程的科研教学。在国内外首次将ER模型和制约逻辑结合构造CERLEL方法表达复杂知识联系和变化；提出并证明基于制约逻辑的消解原理，实现了统一地对“必然可能偶然无缘”的信息进行处理的人工智能系统LELAIL；研制了依据刑法确定被告是否犯罪，什么罪名和处罚的刑种刑期的计算机专家系统。国内首次将基于实例推理和学习的方法应用于“110”报警信息的处理系统，实现初步智能化。诚恳希望与海内外同事加强交流共同探讨知识表示、学习、推理和控制方法。