Modeling naturalized decision problems in linear logic — AI Alignment Forum