213 Hits in 2.4 sec

A Novel Approach For a Ceteris Paribus Deontic Logic

Andrea Loreggia, Emiliano Lorini, Giovanni Sartor
2020 International Conference Knowledge Engineering and Knowledge Management  
We present a formal semantics for deontic logic based on the concept of ceteris paribus preferences.  ...  We show how obligations and permissions can be represented compactly using existing preference frameworks from the artificial intelligence area.  ...  Conclusion and perspectives We have presented a new approach to deontic logic, based on ceteris paribus preferences, which provides a fresh foundation to the logical analysis of deontic concepts, named  ... 
dblp:conf/ekaw/LoreggiaLS20 fatcat:7peozwne55dphpzh54jloleblu

Modeling Contrary-to-Duty with CP-nets [article]

Roberta Calegari, Andrea Loreggia, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
2020 arXiv   pre-print
In a ceteris-paribus semantics for deontic logic, a state of affairs where a larger set of prescriptions is respected is preferable to a state of affairs where some of them are violated.  ...  This paper shows how deontic concepts can be captured through conditional preference models. A restricted deontic logic will be defined, and mapped into conditional preference nets.  ...  Mapping Preference Models with CP-nets In this section we shall provide a ceteris paribus semantics for the deontic language provided above.  ... 
arXiv:2003.10480v1 fatcat:cge6mjrltbfwhiit7dx46sdsxe

For Better or for Worse: Dynamic Logics of Preference [chapter]

Johan van Benthem
2009 Preference Change  
In the last few years, preference logic and in particular, the dynamic logic of preference change, has suddenly become a live topic in my Amsterdam and Stanford environments.  ...  There is no pretense at complete coverage of preference logic (for that, see Hanson 2001) or even of preference change (Hanson 1995).  ...  ceteris paribus preference logic (Section 7).  ... 
doi:10.1007/978-90-481-2593-7_3 fatcat:tpjjunnepzg7plp7y5ulkibq2a

Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences

Johan van Benthem, Patrick Girard, Olivier Roy
2008 Journal of Philosophical Logic  
This paper presents a new modal logic for ceteris paribus preferences understood in the sense of "all other things being equal".  ...  We show how it differs from ceteris paribus as "all other things being normal", which is used in contexts with preference defeaters. We provide a semantic analysis and several completeness theorems.  ...  We also wish to thank the participants of the Logics for Dynamics of Information and Preferences Working Sessions held at ILLC in the Fall and Winter semester of 2006-2007: which were too many to mention  ... 
doi:10.1007/s10992-008-9085-3 fatcat:ylyy6t7urva2fhuoi6pev34ksa

Page 6796 of Mathematical Reviews Vol. , Issue 2000j [page]

2000 Mathematical Reviews  
PDL shares the intuitive semantics of preference-based deontic logics without introducing additional semantic machinery such as bi-ordering semantics or ceteris paribus preferences.”  ...  Summary: “In this paper we introduce prohairetic deontic logic (PDL), a preference-based dyadic deontic logic.  ... 

Page 4683 of Mathematical Reviews Vol. , Issue 97H [page]

1997 Mathematical Reviews  
{For the entire collection see MR 97a:03004. } Marcus Kracht ( Berlin) 97h:03025 03B45 68T27 90A06 Hansson, Sven Ove (S-UPPS-Q; Uppsala) What is ceteris paribus preference? (English summary) J.  ...  better suited for translation methods for automated deduction.” 97h:03023 03B45 Goble, Lou Utilitarian deontic logic.  ... 

Deontic Logic and Changing Preferences [chapter]

Johan Van Benthem, Fenrong Liu
2018 Handbook of Philosophical Logic  
These logics are presented in two versions, one with a primitive 'betterness' relation between worlds, and one with criteria for preference given by explicit 'priority graphs'.  ...  Handbook on deontic logic and normative systems, 1-39.  ...  But there are also other natural senses of ceteris paribus.  ... 
doi:10.1007/978-3-319-97755-3_1 fatcat:gubyog6ztzf5ddby6oalrsvsfm

Ceteris Paribus Conditionals and Comparative Normalcy

Martin Smith
2006 Journal of Philosophical Logic  
By treating ceteris paribus conditionals as a species of variably strict conditional I hope to shed new light upon their content and their logic.  ...  I propose to extend this treatment to ceteris paribus conditionals -that is, conditionals that incorporate a ceteris paribus or 'other things being equal' clause.  ...  investigated as a possible deontic and doxastic logic.  ... 
doi:10.1007/s10992-006-9030-2 fatcat:wix3kefdhbcbhnn7ljwca4kklu

Design by Contract Deontic Design Language for Multiagent Systems [chapter]

Christophe Garion, Leendert van der Torre
2006 Lecture Notes in Computer Science  
To bridge this gap, we propose a software design language based on temporal deontic logic. Moreover, we show how preferences over the possible outcomes of a supplier can be added.  ...  For example, dealing with contract violations is realized by exception handlers, whereas it has been observed in the area of deontic logic in computer science that violations and exceptions are distinct  ...  We illustrate how the preferences can be used to specify the desired quality of a contract. We show how the preferences can be specified with ceteris paribus or CP nets.  ... 
doi:10.1007/11775331_12 fatcat:lkdla23kdbgjzkzmgbyfg46mni

Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms [chapter]

Souhila Kaci, Leendert van der Torre
2006 Lecture Notes in Computer Science  
In this paper we are interested in non-monotonic extensions of Bengt Hansson's standard dyadic deontic logic 3, known as DSDL3.  ...  We study specificity principles for DSDL3 with both controllable and uncontrollable propositions.  ...  The algorithm may be further extended with other kinds of obligations and permissions, for example with ceteris paribus obligations (p is obliged if each p world is preferred to each ¬p world, ceteris  ... 
doi:10.1007/11786849_14 fatcat:gxxgmdpr4zgevckvuuwsf52tta

Algorithmic Decision Theory Meets Logic [chapter]

Jérôme Lang
2015 Lecture Notes in Computer Science  
the worlds in W 1 are preferred to the worlds in W 2 , ceteris paribus (etc.)  ...  ¬toothache toothache || ∅: (bus, ¬beer , ¬toothache) (plane, beer , toothache) beer ¬beer || {bus, plane, toothache} shorthand: beer ¬beer || CP, where CP = ceteris paribus Preference logics Many  ...  Preference logics Classic preference logic (von Wright, 1963) formulas built up from preference statements α β α ∧ ¬β-worlds preferred to β ∧ ¬α-worlds, ceteris paribus here ceteris paribus means that  ... 
doi:10.1007/978-3-319-23264-5_2 fatcat:4wh5xtprazewnobjpthch4sl3q

A Non-monotonic Logic for Specifying and Querying Preferences

Guido Boella, Leendert W. N. van der Torre
2005 International Joint Conference on Artificial Intelligence  
For example, Bacchus and Grove [1996] criticize ceteris paribus preferences, because {p > ¬p, ¬p ∧ q > p ∧ q} should be consistent, and they criticize most existing logics of preference, because {p >  ...  New semantics for the logic of preference We introduce a logic of preference that distinguishes between specifying and querying, inspired by preference-based deontic logic [van der Torre and Tan, 2000  ... 
dblp:conf/ijcai/BoellaT05 fatcat:gn5qy6sbwjcupm55j7bub7xsmm

Hidden Uncertainty in the Logical Representation of Desires

Jérôme Lang, Leendert W. N. van der Torre, Emil Weydert
2003 International Joint Conference on Artificial Intelligence  
In this paper we introduce and study a logic of desires. The semantics of our logic is defined by means of two ordering relations representing preference and normality as in Boutilier's logic QDT.  ...  We study the formal properties of these desires, illustrate their expressive power on several classes of examples and position them with respect to previous work in qualitative decision theory.  ...  The combination of ceteris paribus and normality is an issue for further research.Thomason's framework [Thomason, 2000] builds on Reiter's default logic and deals with both normality and preference defaults  ... 
dblp:conf/ijcai/LangTW03 fatcat:n45tnwdb4jferenmu4jrwmcehu

A complete axiom set for Hansson's deontic logic DSDL2

X. Parent
2009 Logic Journal of the IGPL  
Reference is made to a deductive system put forth by Åqvist [2, 3]. language for dyadic deontic logic 1 The systems proposed by Hansson (he confidently calls them 'dyadic standard systems of deontic logic  ...  The counterpart of Q within conditional logic is the so-called circumstantial  ...  I have also greatly benefited from discussions with L. Goble, D. Makinson, and L. van der Torre.  ... 
doi:10.1093/jigpal/jzp050 fatcat:lca5ywzkpnfqdm5gmylmg5rkp4

A Note on Directions for Cumulativity

Philippe Besnard
2014 IfColog journal of logics and their applications (FLAP)  
This paper explores models for this setting in terms of dynamic logics for information-driven agency.  ...  Here the link with deontics is that moral reasoning may be viewed as involving preferences of the acting agent as well as moral authorities such as lawgivers, one's conscience, or yet others.  ...  Conclusion We have shown how dynamic logics of agency can deal with information, criteria, and preference change.  ... 
dblp:journals/flap/Besnard14 fatcat:nwod52qavjbgdhg755t5f276ze
« Previous Showing results 1 — 15 out of 213 results