从承诺理论视角看波音 737 Max 的 MCAS 算法事件
其他计算机科学
2020-01-07 v1
摘要
许多公共争议涉及对信息不完备的陈述的评估。若无结构化方法，很难发展出一种不基于临时选择的推理方式。过去曾尝试使用各种逻辑形式来带来此类清晰性，但它们因多种原因而失败。我们展示了一种简单的方法，利用承诺理论(Promise Theory)在某些话语中引入标准化的语义处理。作为一个案例，我们使用承诺理论(PT)来收集并结构化关于波音 737 Max 飞行控制系统中 MCAS 软件组件的公开可用信息。
引用
@article{arxiv.2001.01543,
title = {A Promise Theoretic Account of the Boeing 737 Max MCAS Algorithm Affair},
author = {J. A. Bergstra and M. Burgess},
journal= {arXiv preprint arXiv:2001.01543},
year = {2020}
}