万海

教授

联系地址： A221, jbo竞博电竞官方网站, jbo竞博电竞官方网站 (东校区)

研究领域: 

人工智能基础理论、形式化方法.

具体包括：知识的表示与推理（KR）、回答集编程 (ASP)、场景图谱 (SG)、可满足性问题 (SAT)、组合优化问题 (COP)等.

工作经历: 

  • 2022.4-至今       jbo竞博电竞官方网站（软件学院），教授，博导.
  • 2016.2-2022.4    jbo竞博电竞官方网站（软件学院），副教授，博导.

科研项目: 

  • 2022年国家自然科学基金；双向可解释的线性时态逻辑和深度神经网络融合推理理论研究与应用；项目批准号：62276284；在研；万海（主持人）.
  • 2019年国家自然科学基金；基于概率稳定模型语义溯因推理机制的可解释视觉问答研究与实现；项目批准号：61976232；在研；万海（主持人）.
  • 2015年国家自然科学基金；稳定模型语义下不一致本体的存在规则语言修复理论研究与实现；项目批准号：61573386；已结题；万海（主持人）.
  • 国家重点研发计划科研项目子课题；语义信息论中关键问题的数学基础与方法；项目批准号：2021YFA1000504；在研；万海（主持人）.
  • 国家重点研发计划科研项目子课题；多源异构数据的案件特征与业务态势分析；项目批准号：2018YFC0830600；已结题；万海（主持人）.
  • 2017年广东省前沿与关键技术创新项目；虚拟现实与增强现实场景下基于多模态人机自然交互的3D建模技术与产业化应用；项目批准号：2017B010110011；已结题；万海（主持人）.
  • 2016年广东省前沿与关键技术创新项目；面向教育的分布式云系统-云簇关键技术研究；项目批准号：2016B030305007；已结题；万海（主持人）.
  • 2022年广东省自然科学基金；基于线性时态逻辑的深度神经网络增强模型理论研究及在可信人工智能的应用；项目批准号：2022A1515011355；在研；万海（主持人）.
  • 2016年广东省自然科学基金；面向公共知识的多智能体认知规划关键技术研究与实现；项目批准号：2016A030313292；已结题；万海（主持人）.
  • 2012年广东省自然科学基金；若干非单调逻辑可译问题研究与求解器实现；项目批准号：S2012010009836；已结题；万海（主持人）.
  • 2011年度博士点基金自然科学类课题；稳定模型下一阶逻辑理论求解及其在基于模型程序诊断的应用研究；项目批准号：20110171120041；已结题；万海（主持人）.
  • 2018年广州市科技计划项目；稳定模型语义下存在规则语言的本体查询回答理论研究与实现；项目批准号：201804010435；已结题；万海（主持人）.
  • 2013年广州市科技计划项目；若干非单调逻辑可译性研究及其在面向SOA服务组合诊断；项目批准号：2013J41000582013；已结题；万海（主持人）.
  • 2016高校基本科研业务费jbo竞博电竞官方网站青年教师培育项目;有穷结构上若干一阶非单调逻辑计算方法的研究及异构海量数据语义查询求解器实现；已结题；万海（主持人）.
  • 2016年科技服务项目；广西壮族自治区推进机器人产业发展基本思路；已结题；万海（主持人）.

主要学术兼职: 

  • 中国计算机学会理论计算机专委会执行委员.
  • 中国计算机学会形式化方法专委会执行委员.
  • 中国计算机学会人工智能与模式识别专委会执行委员会正式委员.
  • 中国中文信息学会知识图谱与知识计算专委会执行委员.
  • 广东省本科高校计算机类专业教学指导委员会秘书长.
  • 中国计算机学会NOI广东省特派员.

教授课程: 

  • 研究生课程：计算机程序理论与模型、知识的表示与推理.
  • 本科生课程：人工智能、编译原理、操作系统、程序设计、自主移动机器人导论、自然语言处理与知识图谱.

代表性论著: 

中国计算机协会CCF推荐A类和B类论文

  • Hai Wan（万海）, Biqing Fang, Yongmei Liu: A General Multi-agent Epistemic Planner based on Higher-order Belief Change. Artificial Intelligence. 301: 103562 (2021).
  • Hai Wan（万海）, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye: A DQN-based Approach to Finding Precise Evidences for Fact Verification. ACL/IJCNLP (1) 2021: 1030-1039.
  • Hai Wan（万海）, Manrong Zhang, Jianfeng Du, Ziling Huang, Yufei Yang, Jeff Z. Pan: FL-MSRE: A Few-Shot Learning based Approach to Multimodal Social Relation Extraction. AAAI 2021: 13916-13923.
  • Hai Wan（万海）, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang: Query Answering with Guarded Existential Rules under Stable Model Semantics. AAAI 2020: 3017-3024.
  • Weilin Luo, Hai Wan（万海）, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen: How to Identify Boundary Conditions with Contrasty Metric? ICSE 2021: 1473-1484.
  • Hai Wan（万海）, Jinxia Lin, Jianfeng Du, Dawei Shen, Manrong Zhang: Enhancing Metaphor Detection by Gloss-based Interpretations. ACL/IJCNLP (Findings) 2021: 1971-1981.
    Hai Wan（万海）, Yufei Yang, Jianfeng Du, Yanan Liu, Kunxun Qi, Jeff Z. Pan:Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis. AAAI 2020: 9122-9129.
  • Hai Wan（万海）, Yonghao Luo, Bo Peng, Wei-Shi Zheng:  Representation Learning for Scene Graph Completion via Jointly Structural and Visual Embedding. IJCAI 2018: 949-956.
  • Hai Wan（万海）, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang:  Query Answering with Inconsistent Existential Rules under Stable Model Semantics. AAAI 2016: 1095-1101.
  • Hai Wan（万海）, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu:  A Complete Epistemic Planner without the Epistemic Closed World Assumption. IJCAI 2015: 3257-3263.
  • Hai Wan（万海）, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang:  Computing General First-Order Parallel and Prioritized Circumscription. AAAI 2014: 1105-1111.
  • Weilin Luo, Ou Wei, Hai Wan（万海）: SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets. IEEE Transactions on Reliability 70(2): 575-589 (2021).
  • Zhanhao Xiao, Hai Wan（万海）, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen: Refining HTN Methods via Task Insertion with Preferences. AAAI 2020: 10009-10016.
  • Peilin Chen, Hai Wan（万海）, Shaowei Cai, Jia Li, Haicheng Chen: Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem. AAAI 2020: 2343-2350.
  • Weilin Luo, Hai Wan（万海）, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song:An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. ICCAD 2021: 1-9.
  • Wanshan Zheng, Zibin Zheng, Hai Wan（万海）, Chuan Chen: Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification. IJCAI 2019: 5464-5470.
  • Weilin Luo, Hai Wan（万海）, Pingjia Liang, Jianfeng Du, Bo Peng, Delong Zhang: Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. AAAI2022. Accepted.
  • Weilin Luo, Hai Wan（万海）, Rongzhen Ye, Shaowei Cai, Biqing Fang, Delong Zhang: Improving Local Search Algorithms via Probabilistic Configuration Checking. AAAI2022. Accepted.
  • Kunxun Qi, Hai Wan（万海）, Jianfeng Du,  Haonan Chen: Enhancing Cross-lingual Natural Language Inference by Prompt-learning from Cross-lingual Templates. ACL2022. Accepted.
  • Weilin Luo, Hai Wan（万海）, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang: Teaching LTLf Satisfiability Checking to Neural Networks. IJCAI2022. Accepted.
  • Zhou Yin, Wei-Shi Zheng, Ancong Wu, Hong-Xing Yu, Hai Wan, Xiaowei Guo, Feiyue Huang, Jianhuang Lai. Adversarial Attribute-Image Person Re-identification. IJCAI 2018: 1100-1106.
  • Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu:  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. IJCAI 2017: 1093-1101.
  • Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su:  Hierarchical Task Network Planning with Task Insertion and State Constraints. IJCAI 2017: 4463-4469.
  • Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu:  Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. IJCAI 2016: 1130-1137.
  • Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan:  Splitting a Logic Program Revisited. AAAI 2015: 1511-1517.
  • Jianmin Ji, Hai Wan, Peng Xiao:  On Elementary Loops and Proper Loops for Disjunctive Logic Programs. AAAI 2015: 1518-1524.
  • Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan:  Simplifying A Logic Program Using Its Consequences. IJCAI 2015: 3069-3075.
  • Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanhao Xiao:  Elementary Loops Revisited. AAAI 2014: 1063-1069.

 

已授权知识产权

  • 万海、钟洪桢、罗炜麟、范科峰、赵杭：一种形式化需求规约自动化修复方法, 2022-1-24, ZL202110022180.3  (已授权国家发明专利).
  • 万海、罗永豪：一种基于图像场景图谱对齐的图像查询回答方法, 2022-2-18, ZL201910123591.4  (已授权国家发明专利).
  • 万海、刘欣怡：基于源代码多标签图神经网络的程序代码抄袭检测方法与系统, 2022-1-14, ZL201810226651.0  (已授权国家发明专利).
  • 万海、李雷来、曾娟：一种基于二次主题空间投影的场景图谱低维空间嵌入方法, 2022-3-7, ZL201910027580.6  (已授权国家发明专利).
  • 万海、刘亚男、张漫榕、黄佳莉、曾娟：一种基于时态知识图谱推理的社交关系演变预测方法, 2022-4-22, ZL202110162361.6  (已授权国家发明专利).
  • 万海、王宝亿、曾娟、欧佳玲：虚拟现实与增强现实场景下基于关系约束的场景图谱优化方法, 2022-1-12, ZL201911376814.4  (已授权国家发明专利).
  • 苏晓恒、万海：一种中文文本知识图谱自动构建方法及系统, 2019-12-13, ZL201710050095.1 (已授权国家发明专利).
  • 温木奇、刘鹏鹏、徐天源、万海：一种微服务化的网络安全实验系统, 2020-12-4, ZL201910159359.6  (已授权国家发明专利).