导师基本信息

姓名：邓安生职称：教授
性别：男联系电话：**
出生日期：1963/6/17所在专业：计算机应用技术
硕士导师：是Email：ashdeng@dlmu.edu.cn
博士导师：是个人主页：

研究方向：自1985年开始从事人工智能和计算机软件研究，主要研究方向为人工智能理论及其应用技术、计算机推理技术、计算机软件理论和计算理论，研究领域主要包括经典逻辑中的定理机器证明技术、非经典逻辑理论及其自动推理技术、智能规划与诊断、计算机算法与计算复杂性等。目前的主要研究兴趣是试图建立一个统一的逻辑推理框架来描述和处理人类基于知识进行推理的一般规律性，将对知识的不确定性、不一致性和不完全性的处理完全转化成逻辑演算，用逻辑的方法刻画知识的动态增长、修正和认识的进化。


简介：邓安生，1963年6月生，吉林蛟河人。1985年7月于北京大学计算机科学与技术系获理学学士学位；1988年6月于吉林大学计算机科学系获工学硕士学位；1995年12月于吉林大学计算机科学系获理学博士学位。 1988年6月至2001年5月在东北师范大学计算机科学系任教；2001年5月至2005年7月在厦门大学信息科学与技术学院计算机科学系任教；2005年7月至2007年1月在北京交通大学计算机与信息技术学院计算机科学系任教；2007年1月调入大连海事大学。现任计算机科学与技术学院教授、博士生导师，主要从事计算机软件与理论教学和人工智能及应用技术研究工作。
论文及著作：
科研项目：