4月10日晚,美国斯坦福大学哲学与计算机科学助理教授托马斯·伊卡德(Thomas Icard)做客清华逻辑线上研讨第六讲,发表题为“因果模型的逻辑”的报告。
伊卡德基于其最新研究成果,首先介绍了因果模型的背景以及关于(决定的)因果模型的逻辑,然后探索了概率(条件的)逻辑语言解释的“结构因果模型”,以及其他类型的模型如(因果)贝叶斯网络等,并展示了这些系统如何通过表达力(包括由Judea Pearl提出的因果层次结构),公理化,复杂性等相关联。此外,他也解释了这些逻辑基础问题如何与因果推理,强化学习和其他机器学习领域的实际问题相联系。这一研究方向运用逻辑来解释当代关于因果的数学和计算模型,促进了逻辑与人工智能和数据科学间的交互。
研讨会由石辰威博士主持,清华校内外师生60余人参加,在热烈的线上讨论中落下帷幕。清华逻辑与海外学者将继续坚持开办线上研讨会,稳定有序的推进科研工作,共克时艰。
报告内容将会近期在清华学堂在线陆续推出。
伊卡德,阿姆斯特丹大学逻辑学硕士,斯坦福大学哲学与符号系统博士,研究领域包括逻辑学,形式哲学,以及人工智能与认知科学的哲学和形式基础。最近,他主要关注概率计算、因果解释及自然语言逻辑等问题。