Understanding and correctly designing intelligent and explainable systems could be both, if we get it right, one of the most beneficial human advancements; and, if we get it wrong, an existential risk for humanity (Ord, 2020). Humanity’s need for languages and formalisms for trustworthy complex systems is now an urge.
References