(Eng: obligation logic) Een soort logica die wordt gebruikt bij de analyse van bepaalde activiteiten zoals, bijvoorbeeld, de analyse van de activiteiten die door een robot worden uitgevoerd. In deze logica worden de intrinsieke eigenschappen van de activiteiten (goed, slecht, beter, relatief beter) geformuleerd. Het is een methodiek om bepaa...