人工智能系列讲座（十）：Approximation Fixpoint Theory Generalized and its Application to Hybrid MKNF Knowledge Bases

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

报告摘要

将近似不动点理论应用于混合 MKNF 知识库，说明相关交替不动点算子可被视为近似不动点理论中的近似器，并讨论从对称近似器到任意近似器的推广。

报告人简介

犹嘉槐教授任职于加拿大阿尔伯塔大学，主要研究人工智能、逻辑程序设计与知识表示和推理。