报告题目：基于矛盾体分离的动态自动演绎推理研究进展

报告时间：2021年12月9日 18:30

报告地点：腾讯会议452-524-648

报告人：西南交通大学智能控制中心陈树伟副教授

报告摘要：基于矛盾体分离的动态自动演绎推理是一种全新的自动演绎推理体系，其通过借鉴在一种非经典逻辑——格值逻辑中建立多元动态自动演绎推理的学术思想，将二值逻辑中静态的、二元的归结演绎推理机制发展为动态的、多元的基于矛盾体分离的演绎推理机制，具有多元性、动态性、协同性、导向性等优点。本报告首先介绍基于矛盾体分离的动态自动演绎推理的学术思想，在此基础上，介绍几种基于矛盾体分离的动态自动演绎推理方法和策略，以及所研发的自动演绎推理系统，最后介绍参与国际自动推理竞赛中的情况及应用自动推理系统解决实际验证问题等方面取得的成果。