论文标题
波音737 MAX MCAS算法的承诺理论账户
A Promise Theoretic Account of the Boeing 737 Max MCAS Algorithm Affair
论文作者
论文摘要
许多公众争议涉及评估有关我们不完美信息的陈述。没有结构化的方法，很难开发一种不基于临时选择的推理方法。过去已经使用了逻辑形式来试图带来这种清晰度，但由于各种原因而失败。我们展示了一种简单的方法，可以在某些话语中使用Promise理论将标准化的语义方法带入语义。作为一种情况，我们使用Promise理论（PT）来收集和构建有关波音737最大飞行控制系统MCAS软件组件的公开信息。
Many public controversies involve the assessment of statements about which we have imperfect information. Without a structured approach, it is quite difficult to develop an approach to reasoning which is not based on ad hoc choices. Forms of logic have been used in the past to try to bring such clarity, but these fail for a variety of reasons. We demonstrate a simple approach to bringing a standardized approach to semantics, in certain discourse, using Promise Theory. As a case, we use Promise Theory (PT) to collect and structure publicly available information about the case of the MCAS software component for the Boeing 737 Max flight control system.
