1 / 8

Normative Systems in Deontic Logic: Examples and Analysis

Explore examples of norms in multiagent systems using deontic logic. Analyze scenarios like Socrates' mortality, bedtime routines, and moral guidelines from Corinthians to understand normative systems in different contexts.

marijke-nika
Télécharger la présentation

Normative Systems in Deontic Logic: Examples and Analysis

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Norms in multiagent systems agneaubelanyek

  2. A classic example PREMISES: • All men are mortal • Socrates is a man CONCLUSION: • Socrates is mortal

  3. Is this the same? PREMISES: • Go to bed! • Brush your teeth before you go to bed! CONCLUSION: • Brush your teeth!

  4. 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.

  5. 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

  6. 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

  7. 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

  8. Dynamic multiagent systems o: Hernandez scores from offside f: Assistant referee raises flag g: A goal is awarded “Hernandez” “Referee”

More Related