A Promise Theoretic Account of the Boeing 737 Max MCAS Algorithm Affair

12/24/2019
by   J. A. Bergstra, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/16/2020

Candidate Software Process Flaws for the Boeing 737 Max MCAS Algorithm and Risks for a Proposed Upgrade

By reasoning about the claims and speculations promised as part of the p...
research
06/24/2021

Consistent ultrafinitist logic

Ultrafinitism postulates that we can only compute on relatively short ob...
research
11/20/2019

Toward a Wired Ad Hoc Nanonetwork

Nanomachines promise to enable new medical applications, including drug ...
research
09/15/2021

The Promise of Dataflow Architectures in the Design of Processing Systems for Autonomous Machines

The commercialization of autonomous machines is a thriving sector, and l...
research
04/27/2020

Information and Causality in Promise Theory

The explicit link between Promise Theory and Information Theory, while p...
research
07/13/2018

An Algorithmic Blend of LPs and Ring Equations for Promise CSPs

Promise CSPs are a relaxation of constraint satisfaction problems where ...
research
10/14/2022

An atom's worth of anonymity

Anonymity has gained notoriety in modern times as data about our actions...

Please sign up or login with your details

Forgot password? Click here to reset