当前位置: X-MOL 学术arXiv.cs.OH › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A Promise Theoretic Account of the Boeing 737 Max MCAS Algorithm Affair
arXiv - CS - Other Computer Science Pub Date : 2019-12-24 , DOI: arxiv-2001.01543
J.A. Bergstra and M. Burgess

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.

中文翻译:

波音 737 Max MCAS 算法事件的 Promise 理论说明

许多公开争议涉及对我们掌握不完善信息的陈述的评估。如果没有结构化的方法,就很难开发出一种不基于临时选择的推理方法。过去曾使用逻辑形式来试图带来这种清晰度,但由于各种原因这些都失败了。我们展示了一种简单的方法,在某些话语中,使用 Promise 理论将标准化的方法引入语义。作为一个案例,我们使用 Promise Theory (PT) 来收集和构建有关波音 737 Max 飞行控制系统的 MCAS 软件组件案例的公开信息。
更新日期:2020-01-07
down
wechat
bug