On the other hand, it helps computer scientists to develop reasoning tools to deal with deontic concepts (such as prohibitions and obligations). Such tools are enormously important if we want to ...