人工智能系列讲座（六）：A Modular Approach to Datalog Reasoning

• 报告人：胡畔 博士（上海交通大学）
• 主持人：王以松（贵州大学）
• 时间：2023年5月6日（星期六）15:00—16:00
• 地点：贵州大学2号行政楼402会议室

报告摘要

介绍一个模块化 Datalog 推理框架。该框架利用规则模块组合标准推理算法与定制算法，并讨论传递性、对称—传递性、链式规则及循环体规则等典型模块。

报告人简介

胡畔博士为上海交通大学电子信息与电气工程学院讲师、硕士生导师，主要从事知识表示与推理。