吉建民
电话：(0551) 63606724
E-mail：jianmin@ustc.edu.cn
实验室主页：http://ai.ustc.edu.cn
个人主页：http://staff.ustc.edu.cn/~jianmin/
主要研究方向：知识表示与推理，智能机器人控制
吉建民，男，1984年出生，博士，特任副教授。2005年毕业于中国科学技术大学计算机系，2010年于中国科学技术大学获计算机应用博士学位，后赴香港科技大学计算机科学与工程系任博士后，现任职于中国科学技术大学计算机科学与技术学院多智能体系统实验室。作为骨干成员参与智能服务机器人项目——科大“可佳”工程。多次担任IJCAI, KR, AAAI, ICLP, AAMAS等国际人工智能会议的审稿人，并任AAAI-2011, IJCAI-2011的程序委员会委员。近三年在国际会议和期刊上发表论文多篇，合作翻译著作1本。
主要工程项目：
1. clooD：利用特殊环公式计算普通或者析取ASP逻辑程序的部分结论，用来提高现有ASP求解器的效率，包括：clasp, claspD,cmodels, DLV等。http://www.cse.ust.hk/cloop/
2. “可佳”机器人中任务规划模块即相关辅助程序：使“可佳”具备初步的自动规划与推理，自然语言理解，人机交互控制，演示学习和归纳学习的能力。http://ai.ustc.edu.cn/
3. 家用服务机器人仿真测试平台：用来系统的测试不同方法处理服务机器人智能问题的性能。用于全国机器人大赛，家用机器人仿真组比赛和科大研究生《高级人工智能》教学实验。http://www.wrighteagle.org/homesimulation/
获奖情况：
2010 年全国机器人大赛，家用机器人仿真组冠军。
2009 年全国机器人大赛，家用机器人组亚军。
2009 年全国机器人大赛，家用机器人智能挑战赛冠军。
主要论著：
[01] Xiaoping Chen, Jianmin Ji, Fangzhen Lin. Computing loops with at most one external support rule. ACM Transactions on Computational Logic (TOCL). 2012 (to appear)
[02] Jianmin Ji and Xiaoping Chen. Induction in Nonmonotonic Causal Theories for a Domestic Service Robot. In: Proceedings of the 21st International Conference on Inductive Logic Programming (ILP 2011). 2011.
[03] 吉建民，陈小平，姜节汇，靳国强，王锋. 一种支持个性化协调的服务器人体系结构. 南京大学学报：自然科学版，2010，46(2)：131–139.
[04] Xiaoping Chen, Jianmin Ji, Jiehui Jiang, Guoqiang Jin, Feng Wang, Jiongkun Xie. Developing High-level Cognitive Functions for Service Robots. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-10). 2010. pp. 989–996.
[05] Jianmin Ji. Research Summary: A Cognitive Architecture for a Service Robot: an Answer Set Programming Approach. In: Proceedings of the 25th International Conference on Logic Programming (ICLP-09). LNCS 5649. 2009. pp. 532–533.
[06] Xiaoping Chen, Jianmin Ji, Fangzhen Lin. Computing loops with at most one external support rule for disjunctive logic programs. In: Proceedings of the 25th International Conference on Logic Programming (ICLP-09). LNCS 5649. 2009. pp. 130–144.
[07] Xiaoping Chen, Jiehui Jiang, Jianmin Ji, Guoqiang Jin, Feng Wang. Integrating NLP with Reasoning about Actions for Autonomous Agents Communicating with Humans. In: Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-09). 2009. pp. 137–140.
[08] Xiaoping Chen, Jianmin Ji, Fangzhen Lin. Computing loops with at most one external support rule. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08). 2008. pp. 401–410.