Deontic Logic and Artificial Normative Systems