Title-only versus Title-Plus-Description Export of Theses in DOT

[ggbetz]

In the dot-export, thesis [Superpower] is only shown with title, whereas [Bootstrapping] is shown with title and description. Is this correct?

[Superpower]: A seed superintelligence has the cognitive and physical means to bring any resources on earth, including humans, under its control (cf. Chapter 6).

[Orthogonality thesis]: Cognitive abilities are largely independent from -- and do not determine -- specific final goals an intelligent system pursues (cf. Chapter 7).

[Instrumental convergence thesis]: All superintelligent systems, no matter what their final goals, are likely to share certain intermediate goals, namely the acquisition of as many physical resources as possible in order to reach their final goals (cf. Chapter 7).

<Take-over-scenario argument>: A superintelligence system is likely to bring under control all resources on Earth, reducing humans to mere means to obtain non-anthropomorphic final goals, and thus leading to the extinction of human civilization as we know it (cf. Chapter 8).
  <+ [Superpower]
  <+ [Orthogonality thesis]
  <+ [Instrumental convergence thesis]
  +> [Superintelligence as existential risk]

<Superintelligence as serious possibility>: Given alternative technological realizations and the positive feedbacks involved in the devlopment of intelligent systems, the creation of a superintelligent system within this century is a serious possibility (cf. Chapters 2-5).
  +> <Take-over-scenario argument>

[Alternative paths to SI]: There exist alternative technological paths to superintelligent systems (cf. Chapter 2).
  +> <Superintelligence as serious possibility>

[Bootstrapping]: Intelligent systems can (be used to) further improve their cognitive abilities, creating positive feedbacks in SI development (cf. Chapters 4,5).
  +> <Superintelligence as serious possibility>

[christianvoigt]

This is a bug. Argdown always takes the last member of an equivalence class as the "canonical formulation" that will be used to represent the class in argument maps. In this case, the references to the equivalence classes are probably falsely interpreted as defining new members and thus the last canonical formulations of these classes are empty.