Now look at this here:
Deontic logic. Theoretically by symbol manipulate you can easily compute this on a Turing machine. Practically speaking, this is possible on computers but the ideal is you would want to do it in an efficient way so it can scale (handle lots of problems in parallel).