Results 181 to 190 of about 1,947 (213)

Relevant deontic logic

Journal of Philosophical Logic, 1992
Novel conditions of relevance are defined for conditionals in order to weed out some of the deontic paradoxes, such as Ross's paradox. Semantically, first-degree positive relevant entailment is defined in terms of fulfilment conditions, which are sets of sets of literals (atomic sentences or their negations).
openaire   +2 more sources

A Deontic Logic of Knowingly Complying

International Joint Conference on Autonomous Agents and Multiagent Systems, 2023
We introduce a logic for representing the deontic notion of knowingly complying associated to an agent's conciousness of taking a normative course of action for achieving a certain goal. Our logic features an operator for describing normative courses of actions, and another operator for describing what each agent knowingly complies with.
Carlos Areces, Valentin Cassano, Pablo F. Castro, Raul Fervari, Andrés R. Saravia   +4 more
openaire   +2 more sources

On deontic logic

Studia Logica, 1980
Some requirements concerning deontic logic are formulated and discussed. Stress is laid on the need to distinguish between theories and deductive systems. It is argued that deontic theories need not be closed under the rule of detachment. Two deontic calculi, called DSC1, DSC2, are presented and talked over.
openaire   +2 more sources

Deontic Logic

2018
Deontic logic is the investigation of the logic of normative concepts, especially obligation (‘ought’, ‘should’, ‘must’), permission (‘may’) and prohibition (‘ought not’, ‘forbidden’). Deontic logic differs from normative legal theory and ethics in that it does not attempt to determine which principles hold, nor what obligations exist, for any given ...
openaire   +2 more sources

Deontic logic as founded on nonmonotonic logic

Annals of Mathematics and Artificial Intelligence, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Deontic logic without deontic operators

Theory and Decision, 1971
The usual axioms and inference rules of deontic logic employ as a new primitive term an operator for ‘obligatory’ or for ‘permitted’. These axioms and inference rules are here derived from a language which instead of the operator contains a predicate ‘admissible’ defined on the set of state descriptions of an assertoric language.
openaire   +2 more sources

Deontic logics for prioritized imperatives

Artificial Intelligence and Law, 2006
When a conflict of duties arises, a resolution is often sought by use of an ordering of priority or importance. This paper examines how such a conflict resolution works, compares mechanisms that have been proposed in the literature, and gives preference to one developed by Brewka and Nebel.
openaire   +1 more source

A BERT-based deontic logic learner

Information Processing and Management, 2023
Jingyun Sun
exaly  

Investigations into the application of deontic logic

1995
This paper discusses the results of a study for representation of law. Starting point is a legal knowledge based system for the Dutch traffic law that treats permissions as specialized obligations. The results of this prototype system have been evaluated and were the subject for further study.
openaire   +1 more source

Quasi-matrix Deontic Logic

2004
We use non-Kripkean quasi-matrix semantics for the formalization of the systems S 3d , S 3dp and S 3dq of deontic logic. The system S 3d is weaker than the standard logic SDL . The semantics for S 3dp represents combination of quasi-matrix semantics and the semantics of truth value gluts, which allows S 3dp to avoid deontic explosion O A ∧ O¬A ⊃ O B ...
openaire   +1 more source