中国科学技术大学信息科学技术学院导师陈小平简介
陈小平 ，教授，博士生导师。1955年10月生于北京。先后获理学学士、工学硕士和工学博士。现任中国科学技术大学计算机系人工智能中心主任，并在7个学术组织中兼职。长期从事人工智能、理论计算机科学和符号逻辑的交叉研究。近年以智能体形式化建模和多机器人系统关键技术为主攻方向，主持国家自然科学基金项目两项、国家863计划项目两项，发表相关论文30余篇。主要成果包括：提出基于“归约蕴含”的认知建模技术，在“意向态度”（motivational attitudes）的形式化研究中取得有鲜明特色的成果；建立国际一流水准的多智能体系统研究-试验平台，包括目前国内唯一的四足机器人团队系统，针对多智能体系统若干关键问题进行了深入的实验探索；组建中国科大机器人足球“蓝鹰”队,成为我国历史上第一支进入robocup世界杯赛决赛的队伍，曾在第五届杯赛的四足机器人赛、仿真赛和在线教练赛中同时进入世界8强而成为唯一的“三8强”队伍。主要研究方向：智能体形式化建模和多机器人系统关键技术
2002
[1] x. chen. on deliberative adaptability. in: proc. of 2002" national conference on theoretical computer science. also in: computer science, vol.29, no.9(s), 49-51
[2] c. ji and x. chen. chance discovery in a bdi perspective of planning: anticipation, participation, and correlation. in: proceedings of the 2nd international workshop on chance discovery. oct. 2002. tokyo
[3] g. liu and x. chen, a formal model of multi-agent collaborative systems, chinese journal of computers, vol.24, no.5, may 2002, 529-535
[4] x. li, z. zhang l. jiang and x. chen, wrighteagle 2001-sony legged robot team. in: a. birk, s. coradeschi and s tadokoro (eds.), robocup-2001: robot soccer world cup v, lnai-2377, springer, 2002, 739-742
[5] b. yang, y. yang and x. chen, et al. wrighteagle simulator team. in: pre-proceedings of robocup-2002 (cd version), fukuoka, japan
[6] x. li, z. zhang l. jiang and x. chen. wrighteagle 2002-sony legged robot team, ibid
[7] x. xing, q. li, c. liu and x. chen. an intuitive 3d monitor system with automatic commentary for robocup-2002, ibid
[8] z. zhu and x. chen. a new system of intention consequence lm5c, journal of software, vol.13, no.7, 2002, 1271-1277
[9] j. liu, x. chen, q. cai and y. fan, recognition structure of uncertainty: a uniform framework for representation, reasoning and learning, journal of software, vol.3,no.4, 2002, 649-651
[10] z. feng and x. chen. a real-time algorithm for robot vision and its applications. proc. of national conference on intelligent robots. also in: computer science, vol. 29(s), 2002, 120-122
[11] x. chen. a formal theory of intention consequences(ii), studies in dialectics of nature, vol.18(s), 2002.
2001
[12] x. chen, advancements and achievements of international robocup research, technology and application of robotics, jan. 2001, 25-28
[13] j. liu and x. chen, a new approach to reasoning about uncertainty, journal of software, vol.12, no.11, nov. 2001, 1675-79
[14] j. zhou, r. hua and x. chen. a decision algorithm for lm4c. mini-micro systems, vol.22, no.10, 2001, 1254-1257
[15] z. zhu and x. chen, an inferential system of intention consequence and its decision algorithm, proc. of 6th int"l conf. for young computer scientists, international academic publishers, 2001, 276-280
2000
[16] x. chen, g. liu and b. guo, a formal theory of intention consequences, studies in dialectics of nature, vol.16, no.sp1, jun 2000, 28-31
[17] j. liu, x. chen, et al, learning problems in the cognitive structure network, journal of nanjing university, vol.36 (ci), nov 2000, 18-25
[18] b. zhang and x. chen, et al, agent architecture: a survey on robocup-99, proc. of the 3rd world congress on intelligent control and automation, jun 2000, 194-98
[19] z. song and x. chen, et al, layered decision-making and planning in shaoling team, proc. of the 3rd world congress on intelligent control and automation, jun 2000, 179-83
[20] g. liu and x. chen, multi-agent collaborative planning and its applications in robocup, proc. of the 3rd world congress on intelligent control and automation, jun 2000, 184-88
[21] b. zhang, x. chen, b. yang and y. yang, an agent team for robocup simulation league, proc. of the 3rd world congress on intelligent control and automation, jun 2000, 189-93
[22] g. liu and x. chen, an analysis on current research into planning theories, computer science, vol.27, no.4, 2000, 62-66
[23] x. chen, g. liu, j. liu and q. cai, strongly constructive learning of a sort of recursive logic programs, journal of computer research and development, vol.37, no.9, sep 2000, 1058-1063
[24] g. liu, x. chen, j. liu and q. cai, an agent-based cooperative learning system, journal of china university of science and technology, vol.30, no.1, 2000, 113-118
[25] g. liu, x. chen, b. zhang and l. zhao, an agent-based e-mail automatic handling systems, mini-micro systems, vol.21, no.11, nov 2000, 1223-1226
befor 2000
[26] x. chen and g. liu, a logic of intention, proc. of ijcai-99, morgan kaufmann publishers, 1999, 172-77
[27] g. liu and x. chen, a constructive learning method, journal of computer research and development, 36(s), 1999, 31-34
[28] r. zhang, x. chen and g. liu, an ilp algorithm without restriction of constant ordering, journal of software, vol.10, no.8, aug. 1999, 868-876
[29] j. liu, x. chen, et al, a chinese dialogue system based on the uncertain reasoning, proc. of 5th natural language processing pacific rim symposium, tsinghua university press, nov 1999, 221-226
[30] x. chen, g. liu, et al, realization of agent-based e-mail automatic handling systems, proc. of 5th natural language processing pacific rim symposium, tsinghua university press, beijing, nov 1999, 439-442
[31] x. chen, et al, on formalization of intentions, logic research: the state of art, social science reference press, beijing, 1999, 98-106
[32] q. cai, x. chen and g. liu, cooperative learning of strategies in multi-agent systems, journal of tsinghua university, 38(s2) 1998, 48-57
[33] j. liu, x. chen, et al, multi-level strongly constructive learning algorithm of recursive logic programs and its implement, mini-micro systems, vol.19, no.3, mar 1998, 70-75
[34] x. chen, g. liu et al, intention logics, computer science, vol.24, no.3, 1997, 21-26
[35] x. chen, inductive supports based on logic of belief revision, studies in dialectics of nature, vol.12, 1996, 31-34
[36] x. chen, et al, an axiomatic system of analogic reasoning, journal of software (special issue on 863), vol.7, dec 1996, 100-105
实验室主页:www.ai.ustc.edu.cn
页:
[1]