Decision Theories: A Semi-Formal Analysis, Part I — AI Alignment Forum