吉建民

吉建民

吉建民,男,1984年2月出生,博士中國科學技術大學計算機科學與技術學院副教授。

基本介紹

  • 中文名:吉建民
  • 國籍中國
  • 出生日期:1984年2月
  • 畢業院校:中國科學技術大學
  • 代表作品:一種支持個性化協調的服務機器人體系結構
  • 主要成就:2013年8月,獲得IJCAI-13 視頻競賽“最佳自主機器人獎
  • 職稱:教授
個人簡介,主要研究方向,主要工程項目,獲獎情況,主要論著,

個人簡介

2012年,中國科學技術大學,計算機科學與技術學院,副教授
2010-2012年,香港科技大學,計算機科學與工程系,博士後
2005-2010年,中國科學技術大學,計算機科學與技術學院,獲計算機套用博士學位
2001-2005年,中國科學技術大學,計算機科學與技術系,獲計算機套用學士學位
作為骨幹成員參與智慧型服務機器人項目——科大“可佳”工程。多次擔任IJCAI,KR,AAAI,ICLP,AAMAS等國際人工智慧會議的審稿人,並任AAAI-2011,IJCAI-2011的程式委員會委員。
研發“可佳”、“佳佳”系列機器人的認知模組,連續5年獲國際機器人認知測試第一;2015年8月,被國際期刊《Artificial Intelligence》評為全球機器人認知兩項主要技術之首。
主持國家自然科學青年項目,發表SCI及EI收錄論文20多篇,CCF A類論文6篇
主持國家自然科學青年項目1項,參與面上項目1項,重點項目1項,主要研究內容包括:
1. 機器人認知技術;
2. 人-機器人互動技術;
3. 回答集編程(Answer Set Programming)技術及套用。

主要研究方向

認知機器人,人-機器人互動,符號人工智慧

主要工程項目

1、clooD:利用特殊環公式計算普通或者析取ASP邏輯程式的部分結論,用來提高現有ASP求解器的效率,包括:clasp,claspD,cmodels,DLV等。
2、“可佳”機器人中任務規劃模組即相關輔助程式:使“可佳”具備初步的自動規劃與推理,自然語言理解,人機互動控制,演示學習和歸納學習的能力。
3、家用服務機器人仿真測試平台:用來系統的測試不同方法處理服務機器人智慧型問題的性能。用於全國機器人大賽,家用機器人仿真組比賽和科大研究生《高級人工智慧》教學實驗。

獲獎情況

2013年8月,獲得IJCAI-13 視頻競賽“最佳自主機器人獎

主要論著

[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.

相關詞條

熱門詞條

聯絡我們