计算机科学>计算机科学中的逻辑
标题: 科学技术中因果关系、责任和解释的形式推理第三次研讨会论文集
摘要: CREST 2018研讨会是系统工程因果关系推理正式方法系列研讨会中的第三次研讨会。正式确定特定事件的原因(通常是某种形式的故障),并解释其发生原因,这一主题越来越成为几个互不关联的群体关注的焦点。 CREST的主要目标是将来自工业界和学术界的研究人员和从业者聚集在一起,以便讨论如何对因果关系进行显性和隐性推理。 另一个目标是将科学哲学中因果推理的基础与计算机科学、工程等其他领域中的因果推理联系起来。