744 Hits in 2.9 sec

Possible World Semantics for Defeasible Deontic Logic [chapter]

Guido Governatori, Antonino Rotolo, Erica Calardo
2012 Lecture Notes in Computer Science  
While several logic programming, operational and argumentation semantics have been provided for defeasible logics, possible world semantics for (modal) defeasible logics remained elusive.  ...  Section 4 discusses how to interpret Defeasible Multi-modal Logic in neighbourhood semantics and identifies one open problem. 2 Defeasible Deontic Logic: An Informal Presentation DL has three basic kinds  ...  Defeasible Multi-modal Logic In this section we present a general multi-modal logical framework, called Defeasible Multi-modal Logic, which covers all existing variants of Defeasible Deontic Logic.  ... 
doi:10.1007/978-3-642-31570-1_4 fatcat:eixxckbqtngkxhqshc3gwkjewu

The Many Faces of Defeasibility in Defeasible Deontic Logic [chapter]

Leendert W. N. van der Torre, Yao-Hua Tan
1997 Defeasible Deontic Logic  
Moreover, we introduced several preference-based semantics for deontic logics to analyze the different types of defeasibility.  ...  To make our analysis as general as possible, we assume as little as possible about the deontic logic we use.  ... 
doi:10.1007/978-94-015-8851-5_5 fatcat:dnsx3wibjrfp3plfyaqplsmb6u

An Update Semantics for Defeasible Obligations [article]

Leendert van der Torre, Yao-Hua Tan
2013 arXiv   pre-print
The deontic logic DUS is a Deontic Update Semantics for prescriptive obligations based on the update semantics of Veltman.  ...  In this paper prescriptive defeasible obligations are formalized in update semantics and the diagnostic problem of defeasible deontic logic is discussed.  ...  In the defeasible deontic logic, we test whether the best most normal a A /3 worlds are bet ter than the best most normal ..,a A /3 worlds.  ... 
arXiv:1301.6743v1 fatcat:hz7x72luhjh5hksbbpwhjr5pue

Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic

Leendert W. N. van der Torre, Yao-Hua Tan
1995 International Joint Conference on Artificial Intelligence  
that this, distinction is essential for an adequate analysis of notorious 'paradoxes of deontic logic such as the Chisholm and For rester Paradoxes  ...  are closely related to non monotonic logics, theories of diagnosis and dc cision theories In particular, we argue that two types of defeasibihty must be distinguished in a defeasible deontic logic overridden  ...  Acknowledgement We thank Patrick van der laag for several discussions on the issues raised in this paper and Henery Prakken for his critical comments  ... 
dblp:conf/ijcai/TorreT95 fatcat:hqekl5nwpndxjjxsdwu6wdjd7a

Page 1422 of Mathematical Reviews Vol. , Issue 97C [page]

1997 Mathematical Reviews  
; London) Multi-dimensional semantics for modal logics.  ...  The paper’s stated aim is to contrast two strategies for formalizing defeasible deontic reasoning: one such strategy is to design a spe- cial nonmonotonic logic for that purpose, the other is to combine  ... 

The RatioLog Project: Rational Extensions of Logical Reasoning

Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
2015 Künstliche Intelligenz  
In this context, we work toward the application of techniques from human reasoning: We employ defeasible reasoning to compare the answers w.r.t. specificity, deontic logic, normative reasoning, and model  ...  Moreover, we use integrated case-based reasoning and machine learning techniques on the basis of the semantic structure of the questions and answer candidates to learn giving the right answers.  ...  Within the RatioLog project both defeasible logic and deontic logic are used. There are similarities between defeasible logic and deontic logic.  ... 
doi:10.1007/s13218-015-0377-9 fatcat:w6mqqrmhmnerzjircnw4ktodwa

A Preference-Based Approach to Defeasible Deontic Inference

James Delgrande
2020 Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning  
In this paper we present an approach to defeasible deontic inference.  ...  The approach yields desirable and intuitive results, including for the various "paradoxes" of deontic reasoning.  ...  for their pertinent comments.  ... 
doi:10.24963/kr.2020/33 dblp:conf/kr/Delgrande20 fatcat:3p3ewuhgwzfkfbl4wldtnc6zda

Page 3133 of Mathematical Reviews Vol. , Issue 2000e [page]

2000 Mathematical Reviews  
Formulas are paired with labels which represent possible worlds. {For the entire collection see MR 99m:03006.}  ...  A semantics for obligations and conditional obligations is developed using the Horty-Belnap dstit (delibera- tively seeing to it that) semantics together with a preference order- ing on the possibilities  ... 

Contextual Deontic Logic [chapter]

Leendert W. N. van der Torre, Yao-Hua Tan
1999 Lecture Notes in Computer Science  
We show how contextual obligations can be used to solve certain aspects of contrary-to-duty paradoxes of dyadic deontic logic.  ...  In this article we propose contextual deontic logic (CDL). Contextual obligations are written as , and are to be read as ' should be the case if is the case, unless is the case'.  ...  In future research, we will investigate whether contextual deontic logic proposed here can be applied to model qualitative decision theory, and which extensions are needed (see [TvdT96] for possible  ... 
doi:10.1007/3-540-46581-2_16 fatcat:5zyj7kene5b3jdff4d7y2dx5x4

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou
2011 International Journal on Semantic Web and Information Systems (IJSWIS)  
Defeasible and modal logics, in general, and, particularly, deontic logic can assist by providing means for modeling agent communities, where each agent is characterized by its own cognitive profile and  ...  Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, while modal logic deals with the concepts of necessity and possibility.  ...  Modal and Deontic Logic Modal logic deals with the notions of possibility ("it is possible that") and necessity ("it is necessary that").  ... 
doi:10.4018/jswis.2011010102 fatcat:ec7a23vkqvfq5mlh4hiranmi2e

On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic [chapter]

Marc Allaire, Guido Governatori
2014 Lecture Notes in Computer Science  
In this paper we formally prove that compliance results derived from temporal defeasible logic are equivalent to the ones obtained in the standard defeasible deontic logic.  ...  Being able to add time to standard deontic logic will allow for a better and more elegant representation of obligations and improvement in computational efficiency.  ...  The use of Temporal Defeasible Deontic Logic allows us to use the same logic to model norms, semantic annotations and to check whether a process is compliant.  ... 
doi:10.1007/978-3-319-13191-7_7 fatcat:nyt7ghsc5vd7zjekoqaij7mlwi

How deontic logic contributes to the analysis of legal systems

Jan Woleński
2016 Revus  
Today, due to possible world semantics, it is clear that Ross's paradox is apparent and the authors share this view.  ...  The Language of Logic and the Possibility of Deontic Logic; 2. Paradoxes and Shortcomings of Logic; 3. Norm-propositions, Conditional Norms, and Defeasibility, and Part II the following: 4.  ... 
doi:10.4000/revus.3518 fatcat:v6gzzl5corb5xmipebnpd5uqju

Towards a Computational Treatment of Deontic Defeasibility [chapter]

Alberto Artosi, Guido Governatori, Giovanni Sartor
1996 Workshops in Computing  
reasoning with a deontic logic of the Jones and Pörn-type.  ...  In this paper we describe an algorithmic framework for a multi-modal logic arising from the combination of the system of modal (epistemic) logic devised by Meyer and van der Hoek for dealing with nonmonotonic  ...  This means, intuitively, that we have a semantic setting working with several kinds of worlds, i.e. • possible worlds • preferred worldsdeontic worlds deontically ideal worlds deontically sub-ideal  ... 
doi:10.1007/978-1-4471-1488-8_2 dblp:conf/deon/ArtosiGS96 fatcat:3hed57m33jabnnmvjucekufbkm

Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain [chapter]

Thomas F. Gordon, Guido Governatori, Antonino Rotolo
2009 Lecture Notes in Computer Science  
In this survey paper we summarize the requirements for rule interchange languages for applications in the legal domain and use these requirements to evaluate RuleML, SBVR, SWRL and RIF.  ...  We also present the Legal Knowledge Interchange Format (LKIF), a new rule interchange format developed specifically for applications in the legal domain.  ...  Acknowledgements We would like to thank Harold Boley and Monica Palmirani for their valuable comments on earlier versions of this paper.  ... 
doi:10.1007/978-3-642-04985-9_26 fatcat:n27pazrxzbfpbp5bxy6g6wvaka

Contrary-to-duty obligations

Henry Prakken, Marek Sergot
1996 Studia Logica: An International Journal for Symbolic Logic  
A discussion of possible adjustments, including an alternative treatment in terms of a preference-based semantics, reveals difficulties that are reminiscent of problems in defeasible reasoning and intensional  ...  This framework is presented initially as an extension of Standard Deontic Logic (SDL), a normal modal logic of type KD, and is illustrated by application to a series of examples.  ...  The authors wish to thank Leon van der Torre for pointing out the problem identified in section 7 and Andrew Jones for many illuminating discussions and for suggesting the relevance of [Lewis 74].  ... 
doi:10.1007/bf00370671 fatcat:litnqebl3ne3fheoc4swwspwvq
« Previous Showing results 1 — 15 out of 744 results