逻辑程序、论证和思辨模型、自动规划，及相关智能Agent的设计、实现、应用。
Logic Programming, Argumention and Critical Thinking, Automated Planning, and Their Applications in the Design of Intelligent Agents.
主持完成国家级科研项目10余项、省部级项目5项、企业合作项目10余项，在研1项。
I have led and completed 10 national level scientific research projects, 5 provincial and ministerial-level projects, more than 10 enterprise cooperation projects, and 1 project under research.
授权专利10项
10 Authorized Patents
授课(Teaching)
自动规划（Automated Planning）
知识工程（Knowledge Engineering）
编译原理（Principles of Compilation）
人工智能（Artificial Intelligence）
