人工智能系列讲座（十七）：A New Well-Supported Semantics for Description Logic Programs

• 报告人：Jia-Huai You 教授（加拿大阿尔伯塔大学）
• 主持人：王以松（贵州大学）
• 时间：2026年9月28日（星期一）15:00—16:00
• 地点：贵州大学至善楼402会议室

报告摘要

Description logic programs are a powerful formalism for combining rules with ontologies. The well supported semantics for description logic programs ensures that no answer sets rely on cyclic dependencies. We recognize two limitations of the current well-supported semantics for DL programs: its increased computational complexity and its lack of a reduct transformation characterization. In this work, we propose a new well-supported semantics to address these issues.

报告人简介

犹嘉槐博士，加拿大阿尔伯塔大学终身教授，现任加拿大阿尔伯塔大学校长中国事务顾问、中国教育部特邀海外评审专家。曾任加拿大华人教授协会副主席、阿尔伯塔大学校务委员会委员、阿尔伯塔大学校长评审委员会委员。尤教授曾是国际著名人工智能杂志《Journal of Artificial Intelligence Research》（JAIR）的编委。尤教授主要研究兴趣包括：人工智能、逻辑程序、知识表示与推理。