Add to ORKGarticle describes a formal semantics for the deontic concepts-- the concepts of permission and obligation — which arises naturally from the representations used in artificial intelligence systems Instead of treating deontic logic as a branch of modal logic, with the standard possible worlds semantics, we first develop a language for describing actions, and we define the concepts of permission and obligation in terms of these action descriptions. Using our semantic definitions, we then derive a number of intuitively plausible inferences, and we show generally that the paradoxes which are so frequently associated with deontic logic do not arise in our system
Deontic logic is standardly conceived as the logic of true statements about the existence of obligat...
Deontic logic (from Ancient Greek déon, what is right) aims to formalize the links existing between ...
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information...
International audienceWe present a formal semantics for deontic logic based on the concept of ceteri...
In the last decades, efforts have been undertaken to shift the study of deontic logic away from abst...
A new characterization of the deontic operators of permission and prohibition is introduced based on...
Deontic concepts and operators have been widely used in several fields where representation of norms...
International audienceDeontic logic is the logic of obligation and permission. In the literature it ...
In this thesis, the main focus is on deontic logic as a tool for formal representation of moral reas...
It is well-known that systems of action deontic logic emerging from a standard analysis of permissio...
In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deont...
The logic of norms, called deontic logic, has been used to specify normative constraints for informa...
We present a formal semantics for deontic logic based on the concept of ceteris paribus preferences....
It is well known that systems of action deontic logic emerging from a standard analysis of permissio...
Deontic concepts and operators have been widely used in several fields where representation of norms...
Deontic logic is standardly conceived as the logic of true statements about the existence of obligat...
Deontic logic (from Ancient Greek déon, what is right) aims to formalize the links existing between ...
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information...
International audienceWe present a formal semantics for deontic logic based on the concept of ceteri...
In the last decades, efforts have been undertaken to shift the study of deontic logic away from abst...
A new characterization of the deontic operators of permission and prohibition is introduced based on...
Deontic concepts and operators have been widely used in several fields where representation of norms...
International audienceDeontic logic is the logic of obligation and permission. In the literature it ...
In this thesis, the main focus is on deontic logic as a tool for formal representation of moral reas...
It is well-known that systems of action deontic logic emerging from a standard analysis of permissio...
In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deont...
The logic of norms, called deontic logic, has been used to specify normative constraints for informa...
We present a formal semantics for deontic logic based on the concept of ceteris paribus preferences....
It is well known that systems of action deontic logic emerging from a standard analysis of permissio...
Deontic concepts and operators have been widely used in several fields where representation of norms...
Deontic logic is standardly conceived as the logic of true statements about the existence of obligat...
Deontic logic (from Ancient Greek déon, what is right) aims to formalize the links existing between ...
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information...