80 likes | 174 Views
Norms in multiagent systems. agneau belanyek. A classic example. PREMISES: All men are mortal Socrates is a man CONCLUSION: Socrates is mortal. Is this the same?. PREMISES: Go to bed! Brush your teeth before you go to bed! CONCLUSION: Brush your teeth!. Deontic Logic. PREMISES:
E N D
Norms in multiagent systems agneaubelanyek
A classic example PREMISES: • All men are mortal • Socrates is a man CONCLUSION: • Socrates is mortal
Is this the same? PREMISES: • Go to bed! • Brush your teeth before you go to bed! CONCLUSION: • Brush your teeth!
Deontic Logic PREMISES: • You must go to bed. • You must brush your teeth in all cases where you go to bed. CONCLUSION: • You must brush your teeth.
Normative systems I Cor 7:1,8: “It is good for a man not to touch a woman... But if they cannot contain, let them marry” Let: t = touch m = marry So in deontic logic: • You must not t • You must m in all cases where you t
Preference graphs Let: t = touch m = marry So in deontic logic: • You must not t • You must m in all cases where you t m ¬t ¬m ¬t m t ¬m t
Another example Let: o: Hernandez scores from offside f: Assistant referee raises flag g: A goal is awarded Normative systemMustnot o Must f in all cases of o Must not f in all cases of not o Must not g in all cases of o Must not g in all cases of f
Dynamic multiagent systems o: Hernandez scores from offside f: Assistant referee raises flag g: A goal is awarded “Hernandez” “Referee”