2019吉林大学计算机科学与技术学院导师简介：王献昌

　　对考生而言，充分了解高校、专业以及师资情况是一项最基础、最关键的工作。以下是新东方在线为大家整理的“吉林大学计算机科学与技术学院导师简介：王献昌”的相关信息，希望对同学们有所帮助。

　　姓名：王献昌

　　性别：男

　　职称：教授

　　是否博导：是

　　最高学历：研究生

　　最高学位：博士

　　详细情况

　　所在学科专业：计算机软件与理论

　　所研究方向：人工智能，无人控制系统

　　教育经历：1980-1984 郑州大学数学系，计算机专业，学士

　　1984-1987 国防科技大学计算机科学与工程系，理论计算机科学专业，硕士

　　1987-1991 国防科技大学计算机科学与工程系，软件工程与人工智能，博士

　　工作经历：1987-1992 国防科技大学 讲师

　　1992-1993 国防科技大学 副教授

　　1992-1993 北京航空航天大学 兼职博士后

　　1993-1994 日本新一代计算机研究所 高级客座研究员

　　1994-1996 加拿大阿尔伯特大学计算机系 博士后

　　1996-1997 加拿大阿尔伯特省ISC公司 系统集成师

　　1997-1998 国际跨国公司ACI World Wide 高级程序开发师

　　1999-2016 国际跨国公司KRONOS加拿大分公司AD-OPT 高级系统架构师

　　2006-2007 加拿大温哥华凯斯智能系统公司 创办者、架构师

　　2007-2015 成都软智科技有限公司 董事长、总经理

　　2015-至今 吉林大学计算机科学与技术学院 教授

　　科研项目：(1)国家863项目，“软件工程之自动程序验证”，1987-1991.

　　(2)国家863项目，“人工智能常识推理”，1991-1994.

　　(3)日本智能五代计划之项目，“基于类比的法律推理系统”，1994-1995.

　　(4)加拿大自然科学基金，“语义网络的基础语义研究”，1995-1997.

　　(5)加拿大公司开发项目，“XML/XSLT自动分析器”，1998-1999.

　　(6)公司自筹项目，“神鹰航空机组运行控制系统”，2007-2012.

　　(7)与民航总局合作项目，“飞行运行动态仿真系统技术开发”，2009-2010.

　　(8)公司自筹项目，“神鹰航空飞机运行控制系统”，2011-2014

　　学术论文：[1]You, J., Wang, X., and Yuan, L. (2001), “Non-monotonic reasoning as prioritized argumentation”, IEEE Transaction on Data and Knowledge Engineering 13(6): 968-979.

　　[2]You. J., Wang, X., and Yuan, L. (1999), “Compiling defensible inheritance networks to general logic programs”, Journal of Artificial Intelligence, 113(1-2): 247-268.

　　[3]Wang, X., You, J., and Yuan, L. (1997), “A default interpretation of defeasiable network”, In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan, 156-162.

　　[4]You, J., Wang, X., and Yuan, L. (1997), “Disjunctive logic programming as constrained inferences”, In Proceedings of the International Conference on Logic Programming (ICLP'97), Leuven, Belgium, Lee Naish (ed.), 361-375, MIT Press.

　　[5]Wang, X., You, J., and Yuan, L. (1997), “Logic programming without default negation revisited”, In Proceedings of IEEE International Conference on Intelligent Processing Systems '97, Beijing, China, 1169-1174.

　　[6]Wang, X., You, J., and Yuan, L. (1997), “Non-monotonic Reasoning by Monotonic Inferences with Priority Constraints”, Non-monotonic Extensions of Logic Programming'96, Lecture Notes in Artificial Intelligence, LNCS 1216, 91-109. J. Dix, P. Pereira and T. Przymusinski (eds), Springer.

　　[7]Wang, X., You, J., and Yuan, L. (1997), “On confluence property of active database”, In Proceedings of the 3rd International Workshop on Rules In Database Systems (RIDS '97), Lecture Notes in Computer Science, LNCS 1312, 118-132, Springer: Skvvde, Sweden.

　　[8]Wang, X., You, J., and Yuan, L. (1996), “Circumscription by Inference Rules with Priority”, In Proceedings of European Conference of Artificial Intelligence, Budapest, Hungary, 110-115.

　　[9]Nitta, K., Shibasaki, M., Sakata, T., Yamaji, T., Wang, X., Ohsaki, H., Tojo, S., Kokubo, I., Suzuki, and T. (1994), “A Legal Reasoning System: New HELIC-II”, In Proceedings of the International Symposium on Fifth Generation Computer System (FGCS'94), Tokyo, Japan, 139-150, Alphacom Co. Publisher.

　　[10]Wang, X., Chen, H., Zhao, Q., and Li, W. (1993), “A Logic System Based on Shared Common Knowledge Views”, In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Savoie, France, Ruzena Bajcsy (ed.), 410-414.

　　[11]Wang, X. and Chen, H. (1991), “On Semantics of TMS”, In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91), Sydney, Australia, 306-309, Morgan Kaufman Publishers.

　　[12]Wang, X. and Chen, H. (1991), “Non-monotonic Reasoning + Belief Maintenance + Horn Logic ==> Dynamic Logic Programming?” In Proceedings of International Conference for Young Computer Scientists (ICYCS'91), Beijing China, 529-532, International Academic Publishers.

　　[13]Wang, X. and Chen, H. (1990), “On Assumption Reasoning in Multi-reasoner System”, In Proceedings of Pacific RIM International Conference on Artificial Intelligence (PRICAI'90), Japan. Also in: Poster Proceedings of Joint Conference on Vector and Parallel Processing, CONPAR90/VAPP, Zurich, Swiss.

　　[14]Wang, X. and Chen, H. (1990), “A Non-monotonic Reasoning System - WMJ”, In Proceedings of the First International Conference on System Integration (ICSI'90), Morristown, New Jersey, Kluwer Academic Publisher.

　　[15]刘海燕，王献昌：“多Agent系统的研究”，计算机科学，1995年22卷2期

　　[16]王献昌：“缺省逻辑的e扩充和me扩充”，计算机学报，1995年18卷3期-161-166页

　　[17]张静，刘海燕，王献昌：“并行推理机及其基本软件综述”，计算机科学，1994年04期

　　[18]刘海燕，张静，王献昌：“FGCS计划的基本研究活动”，计算机科学，1994年04期

　　[19]王献昌：“人工智能的研究趋向多元化”，参加第十三届国际人工智能联合大会总结报告，计算机科学，1994年21卷1期, 1-6页

　　[20]王献昌，赵沁平，陈火旺：　“On the Relationship Between TMS and Logic Programs”，计算机科学与技术学报：英文版，1994年9卷3期, 245-251页

　　[21]贲可荣，王献昌：“有关知道逻辑和“知道”问题的探讨”，计算机工程与科学，1993年1期, 71-75页

　　[22]王献昌，陈火旺：“真值维护系统的语义研究”， 中国科学：A辑， 1993年23卷11期, 1212-1218页

　　[23]王献昌： “知识与常识的表示和推理”， 计算机科学，1993年20卷2期, 10-17页

　　[24]王献昌：　“TMS与一般逻辑程序的语义等价性”，计算机学报，1993年16卷6期, 476-477页

　　[25]王献昌,　史晓东,　陈火旺; “机器翻译与自然语言处理的现状与趋势”，计算机科学; 1992年03期; 3-5

　　[26]王献昌，陈火旺： “非单调推理的三大特征”， 计算机研究与发展，1992年29卷1期, 7-14页

　　[27]王献昌：　“逻辑中的元级概念”，　计算机科学，1992年19卷5期, 8-13页

　　[28]王献昌：“知识库/元级知识库中的自省推理”，　计算机工程与科学, 1991年2期, 17-25页

　　[29]Owen　K，王献昌 ：“John McCarthy谈专家系统”，　计算机科学, 1990年6期, 1-4页

　　[30]陈火旺，王献昌： “非单调推理与人工智能研究”，模式识别与人工智能, 1989年2卷3期, 37-48页

　　获奖情况：2011：杭州，入选中国侨联特聘专家称号.

　　2010：北京，入选中华全国归国华侨联合会颁发的 “中国侨界(创新人才)贡献奖”

　　2009：北京，入选中共中央组织部海外高层次创新创业人才的千人计划和四川省的百人计划。

　　2009：成都，录入四川海外高层次人才“海归风采宣传”人物。

　　2008：成都，新一代航空公司运行智能系统项目获过国家科技部中小企业创新基金项目支持。

　　2008：成都，获成都市组织部高级归国创新人才资助。

　　1997：日本东京，获国际人工智能联合大会资助(IJCAI97 Travel Awards)

　　1994：长沙，博士期间开发的人工智能推理系统获国防科工委科技进步一等奖。

　　1994：长沙，获中国教育部霍英东自动控制方向研究基金(1.65万美金)(见人民日报1993年11月8日第七版报道)。

　　1994：长沙，获中国教育部优秀青年教师基金。

　　1994：日本东京，日本科技厅STA研究基金。

　　1993：北京，获国家航空航天部研究基金。

　　1993：法国巴黎，获国际人工智能联合大会资助(IJCAI93 Travel Awards)

　　1992：北京，获国家863高科技、国家科技基金多项支持。

　　1991：澳大利亚悉尼，获国际人工智能联合大会资助(IJCAI91 Travel Awards)。

　　1990：日本京都，研究论文“On Assumption Reasoning in Multi-Reasoners System”获首届国际泛太平洋人工智能会议优秀论文奖。

　　社会兼职：千人计划杂志 编委会 委员

　　四川省千人计划联谊会副会长

　　中国侨联特聘专家等

　　治学格言：理论与实际并重