Thou Shalt is not You Will

04/07/2014
by   Guido Governatori, et al.
0

In this paper we discuss some reasons why temporal logic might not be suitable to model real life norms. To show this, we present a novel deontic logic contrary-to-duty/derived permission paradox based on the interaction of obligations, permissions and contrary-to-duty obligations. The paradox is inspired by real life norms.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/29/2022

A note on the potentials of probabilistic and fuzzy logic

This paper mainly focuses on (1) a generalized treatment of fuzzy sets o...
research
11/01/2022

What drives a goalkeepers' decisions?

In soccer games, the goalkeeper's performance is an important factor to ...
research
12/01/2012

Computing Strong and Weak Permissions in Defeasible Logic

In this paper we propose an extension of Defeasible Logic to represent a...
research
12/13/2021

Fuzzy Win-Win: A Novel Approach to Quantify Win-Win Using Fuzzy Logic

The classic win-win has a key flaw in that it cannot offer the parties t...
research
06/15/2022

Machine Learning is Abduction Inference

Concept of Abduction with Gradated Contradictions is introduced here as ...
research
08/20/2020

Scruples: A Corpus of Community Ethical Judgments on 32,000 Real-Life Anecdotes

As AI systems become an increasing part of people's everyday lives, it b...
research
09/06/2017

Normative Multi-Agent Systems and Kelsenian Jurisprudence

A multi-agent system (MAS) is a collection of autonomous entities, calle...

Please sign up or login with your details

Forgot password? Click here to reset