第三届关于科学与工程中的因果、责任与解释的形式化推理研讨会会议录
计算机科学中的逻辑
2019-01-03 v1 人工智能
编程语言
摘要
CREST 2018 研讨会是系列研讨会中的第三届，该系列致力于解决系统工程中因果推理的形式化方法。对特定事件（通常为某种故障）的成因进行形式化识别并解释其发生原因，正日益成为若干分散领域共同关注的重点。CREST 的主要目标是汇聚工业界与学术界的研究人员和从业者，以促进关于因果的显式与隐式推理如何进行的讨论。另一目标是与科学哲学中因果推理的基础以及计算机科学、工程及其他领域中所执行的因果推理建立联系。
引用
@article{arxiv.1901.00073,
title = {Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology},
author = {Bernd Finkbeiner and Samantha Kleinberg},
journal= {arXiv preprint arXiv:1901.00073},
year = {2019}
}