2001年 在中国科学技术大学少年班获得学士学位，2006 年在该校获得博士学位。2006 年在香港科学技术大学做访问学者。 2007-2017年在澳大利亚西悉尼大学工作，历任博士后、讲师、高级师。2015 年起任天津大学兼职教授，2018 年起任梅西大学兼职教授。2018 年底受聘为上海脑科学与类脑研究中心 /张江实验室脑与智能科技研究院研究员，担任认知智能研究组组长。在人工智能顶级期刊 Artificial Intelligence 上发表 6 篇长文。长期担任人工智能顶级会议程序设计委员会委员，包括IJCAI、AAAI、KR等。
1 - 认知人工智能基础 真实动态复杂环境中知识的表示、推理和学习、以及受脑科学启发的神经网络与机器学习模型及算法、显式的符号知识与隐式的神经网络深度融合的理论模型。
2 - 认知人工智能应用认知人工智能基础理论相关的应用，包括但不限于自然语言理解、知识工程、企业知识库、图像理解、人工智能 教育以及人工智能 司法等等。 基于显式知识表示和处理的符号流派和基于隐式知识表示和处理的连接流派是人工智能中最重要的两类方法，并都在理论上和应用上取得了一定的成功。然而，两者在深入推进的时候都遇到了极大的困难，并且这些困难很大程度上都是对方的长处。因此，这两类方法的深度融合是人工智能最重要的科学问题之一，将会给人工智能带来革命性的突破。然而，符号流派和连接流派在基础假设、模型、方法论等方面有天壤之别。因此，这两者真正意义上的融合极具挑战。首先，在两者本身的理论基础和模型需要重新审视和修订。在此基础上，需要有新的思路和方法论来指导它们的深度融合，而脑科学与神经科学是提供这种思路和方法论的最佳源泉之一。这些基础研究也会对认知智能各方面的实际应用产生巨大影响。
1 - AiFu 数学高考自动答题系统（与科大讯飞及复旦大学合作），输入为英语数学问题（包括代数题、应用题与何题等），输出为其解答流程和答案。AiFu参加由SemEval-2019组织的首届美国数学高考（SAT）自动答题竞赛并获得冠军，校准准确率为其他队伍4倍以上。
2 - groc2.0 groc加强版本（与Vernon Asunsion、陈寅和张焰合作）。该系统在原有的groc基础上，处理带有聚合函数的通用一阶回答集逻辑程序。输入为带有聚合函数的通用一阶回答集逻辑程序以及数据库，输出为它的一个回答集。该系统的基本原理基于代表性论文2。
3 - groc 一阶回答集程序求解器（与Vernon Asunsion、陈寅和张焰合作）。输入为一阶回答集逻辑程序以及数据库，输出为它的一个回答集。该系统的基本原理基于代表性论文4。
4 - dl2asp 缺省逻辑求解器（与万海、陈寅和张焰合作）。输入为缺省逻辑知识库，输出为该知识库的一个模型。其基本原理是通过将缺省逻辑转换成回答集程序。
5 - asp2sat 命题回答集程序求解器（与Vernon Asunsion和张焰合作）。输入为命题回答集逻辑程序，输出为它的一个回答集。其基本原理是通过增加新的变量将逻辑程序转换成命题逻辑。
6 - CTLupdater 自动时序逻辑公式修正工具（与Michael Kelly和张焰合作）。输入为不一致的时序逻辑CTL的知识库，通过计算并修正其模型，根据极小变动原则，输出修正过后的一致的知识库。
1 - Yi Zhou, Yan Zhang. A Progression Semantics for First-Order Logic Programs. Artificial Intelligence. 250:58-79. 2017.
2 - Vernon Asuncion, Yin Chen, Yan Zhang and Yi Zhou. Ordered Completion for Logic Programs withAggregates. Artificial Intelligence (AIJ). 224: 72-102. 2015.
3 - Yisong Wang, Yan Zhang, Yi Zhou and Mingyi Zhang. Knowledge Forgetting in Answer Set Programming.Journal of Artificial Intelligence Research (JAIR). 50: 31-70. 2014.
4 - Vernon Asuncion, Fangzhen Lin, Yan Zhang and Yi Zhou. Ordered Completion for First-order LogicPrograms on Finite Structures. Artificial Intelligence (AIJ). 177-179: 1-24. 2012.
5 - Yin Chen, Fangzhen Lin, Yan Zhang and Yi Zhou. Loop Separable Programs and Their First-orderDefinability. Artificial Intelligence (AIJ). 175: 890-913. 2011.
6 - Yi Zhou and Yan Zhang. A Logical Study of Partial Entailment. Journal of Artificial Intelligence Research(JAIR). 40: 25-56. 2011.
7 - Fangzhen Lin and Yi Zhou. From Answer Set Logic Programming to Circumscription via Logic of GK.Artificial Intelligence. 175: 267-271. 2011.
8 - Yan Zhang and Yi Zhou. Knowledge Forgetting: Properties and Applications. Artificial Intelligence. 173:1525-1537. 2009.
9 - Yi Zhou, Fangzhen Lin, Yan Zhang. General Default Logic). Annals of Mathematics and ArtificialIntelligence. 57: 125-160. 2009.
10 - Yi Zhou. From First-Order Logic to Assertional Logic. In Proceedings of AGI’17. 2017.
11 - Dongcai Lu, Yi Zhou, Feng Wu, Zhao Zhang and Xiaoping Chen Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning. In Proceedings of the 26th International Joint Conference on Artificial Intelligence. (IJCAI’17). 2017.
12 - Yi Zhou. First-Order Disjunctive Logic Programming vs Normal Logic Programming. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI’15). 2015.
13 - Yi Zhou. First-Order Default Logic Revisited. In Proceedings of the 14th International Conference on The Principles of Knowledge Representation and Reasoning (KR’14). 2014.
14 - Yi Zhou. Yan Zhang. Bounded Forgetting (with Yan Zhang). In Proceedings of the Twenty-fifth AAAI conference on Artificial Intelligence (AAAI’11). 2011.
15 - Yi Zhou. Yan Zhang. Progression Semantics for Disjunctive Programs (with Yan Zhang). In Proceedings of the Twenty-fifth AAAI conference on Artificial Intelligence (AAAI’11). 2011.
