Ai Alignment

How formal frameworks from computer science and philosophy, such as temporal logics, reward machines, deontic logics and theories of reasons, can make AI alignment more rigorous and interpretable.