刘虎

籍贯:河南省开封市\r\n出生:1971年12月\r\n获得学位:2003年6月,逻辑学博士,中山大学。\r\n工作经历:中山大学哲学系教授\r\n中国逻辑学会现代逻辑专业委员会副主任\r\n\r\n邮箱:liuhu2@mail.sysu.edu.cn\r\n办公电话:(020)84114039\r\n

研究兴趣: 

非经典逻辑,人工智能\r\n

代表性论文: 

Hu Liu and Xuefeng Wen, On formalizing causation based on constant conjunction theory, The Review of Symbolic Logic, vol 6-1, 2013. pp. 160-181.\r\n\r\nHu Liu, Comments on Baltag, Christoff, Hansen and Smets, in Studies In Logic, Vol. 47, the Proceedings of the Conference of Logic Across the University, Foundations and Applications, 2013. pp. 433-435.\r\n\r\nHu Liu and Xuefeng Wen, Effect learning by constant conjunction in a temporal structure, 逻辑学研究,Vol. 6-3,2013. pp. 1-15.\r\n\r\nXuefeng Wen and Hu Liu, Logic Aggregation, in LNCS 8196, the Forth International Workshop on Logic, Rationality, and Interaction, 2013. pp. 282-295.\r\n\r\nHu Liu, Yuan Ren and Xuefeng Wen, Simulative belief logic, Journal of Applied Logic, vol 11-2, 2013. pp. 217-228. 优博 基本 省社科 Sci\r\n\r\nXuefeng Wen, Hu Liu and Fan Huang, An alternative logic for knowability, in LNAI 6953, the Third International Workshop on Logic, Rationality, and Interaction, 2011. pp. 342-355.\r\n\r\n査非,刘虎,状态相似性与流量限制模型,逻辑学研究,Vol. 4-2,2011. pp. 1-19.\r\n\r\nHu Liu, An extension of ATL for model checking causality, Studies in Logic,Vol. 2-4, 2009. pp 1-15.\r\n\r\nHu Liu, A cooperation logic for declaration structures, in Lecture Notes in Artificial Intelligence 5834, Second International Workshop on Logic, Rationality, and Interaction, 2009. pp.189-197.\r\n\r\n刘虎,交互时态逻辑中的因果关系,逻辑与哲学,学富文化事业有限公司出版(台),pp113-125, 2009.\r\n\r\n刘虎,开放系统中智能体竞争的时态逻辑,中山大学学报,vol. 48-2,2008,pp112-118.\r\n\r\n刘虎,鞠实儿,认知逻辑的逻辑全知问题,求是学刊,2008.\r\n刘虎,开放系统中智能体竞争的时态逻辑,中山大学学报,2007.\r\nHu Liu and Shier Ju, Two-dimensional awareness logic, Journal of Philosophical logic, Vol. 33-5, 2004. pp. 481-495.\r\nHu Liu and Shier Ju, Belief, awareness, and two-dimensional logic, in Proceedings of 18th International Joint Conference on Artificial Intelligence (IJCAI-03), 2003. pp 1113-1118.\r\nShier Ju and Hu Liu, The logical structure of open sets, in Logic and Cognition: the Progress in Logical Study in China, eds. Shier Ju, Social Sciences in China Press, Beijing, China, 2003.\r\nShier Ju and Hu Liu, A three-valued logic based on open-world assumption, in Proceedings of the Conference of Artificial Intelligence and Computer Science of National Research Project, Tsinghua University Press, 2001. pp 507-516.\r\nHu Liu, A comparative study of the traditional concepts of set, Journal of Sun Yat-sen University, Vol. 20-2, 2000. pp 44-50.\r\n

科研项目: 

目标驱动的无穷合作博弈研究,国家社科基金,18万。(No. 13BZX066)。2013-\r\n\r\n因果关系的形式化理论及其应用研究,5万,广东省哲学社会科学十二五规划。2012-\r\n\r\n基于时态逻辑的因果关系理论,中山大学基本科研业务费,7.5万,2010年1月-2012年12月。\r\n\r\n非单调逻辑的基础理论研究,教育部全国优秀博士论文专项,2007B01,42万,2008年1月-2012年12月。\r\n\r\n非单调推理模式的信念梯度研究,中山大学桐山青年基金,2万,2006-2008.\r\n

学术交流: 

2012年3月-2013年3月 访问学者,美国斯坦福大学计算机系。\r\n2005年5月-2006年5月 博士后研究员(Postdoctoral Fellow),新南威尔士大学计算机科学与工程学院人工智能系,澳大利亚。\r\n2003 年9月-2004年8月 Alan Ross Anderson博士后研究员(Alan Ross Anderson Postdoctoral Fellow),匹兹堡大学哲学系,美国。\r\n

讲授课程: 

 模态逻辑,非经典逻辑,人工智能逻辑,模型论,证明论\r\n