Filters








9 Hits in 1.2 sec

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

2000 Mathematical Reviews  
Summary: “In this paper we introduce prohairetic deontic logic (PDL), a preference-based dyadic deontic logic.  ...  (F-TOUL3-IR; Toulouse) ; Tan, Yao-Hua (NL-ROTT-EU; Rotterdam) Prohairetic deontic logic (PDL). (English summary) Logics in artificial intelligence (Dagstuhl, 1998), 77-91, Lecture Notes in Comput.  ... 

Page 5753 of Mathematical Reviews Vol. , Issue 2000h [page]

2000 Mathematical Reviews  
N. van der Torre and Yao-Hua Tan, Prohairetic deontic logic (PDL) (77-91); Leendert W.  ...  Dawson and Rajeev Goré, A mechanised proof system for relation algebra using display logic (264-278); Stephane Demri and Beata Konikowska, Relative similarity logics are decidable: reduction to FO?  ... 

Normative Reasoning and Consequence

Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. Van Der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber, Marc Herbstritt
2013 Dagstuhl Publications  
To emphasize this broadness, we typically refer to "deontic logic and normative systems" rather than deontic logic only.  ...  We cover the main issues in modern deontic logic, which is much broader than the traditional modal logic framework of deontic logic, with an emphasis to our intended audience.  ...  in modal logic [36] to represent DSDL3 and several other logics such as Prohairetic Deontic Logic.  ... 
doi:10.4230/dfu.vol4.12111.33 dblp:conf/dagstuhl/BroersenCEGGLPTTTS13 fatcat:nnmadfn5f5fizgskvjwly3cnce

Severity-Sensitive Robustness Analysis in Normative Systems [chapter]

Luca Gasparini, Timothy J. Norman, Martin J. Kollingbaum, Liang Chen
2015 Lecture Notes in Computer Science  
In traditional deontic logic frameworks, CTD obligations often lead to inconsistencies [2] .  ...  Properties can be specified using various temporal logic formalisms, such as Linear Temporal Logic (LTL) and Computation Tree Logic (CTL) (or its extension CTL * ).  ...  Our semantics is based on Prohairetic Deontic Logic (PDL) [12] , where dyadic (conditional) obligations are represented through a preference relation between worlds.  ... 
doi:10.1007/978-3-319-25420-3_5 fatcat:qmkbx6kdn5fwbl464ngswzumqu

Motivational Attitudes of Agents: On Desires, Obligations, and Norms [chapter]

Frank Dignum, David Kinny, Liz Sonenberg
2002 Lecture Notes in Computer Science  
Norms and obligations The formal semantics of obligations (and norms) is based on Prohairetic Deontic Logic (PDL) [18] .  ...  PDL is a logic of dyadic obligation defined axiomatically in terms of a monadic modal preference logic.  ... 
doi:10.1007/3-540-45941-3_9 fatcat:f3iobpyeprdfjfqyzkic2tonxu

Page 86 of Mathematical Reviews Vol. 32, Issue Index [page]

Mathematical Reviews  
(with Tan, Yao-Hua) Prohairetic deontic logic (PDL). (English summary) 2000j:03036 — (with Tan, Yao-Hua) An update semantics for deontic reasoning.  ...  Coalgebraic logic. (English summary) 2000h:03042a — Erratum to: “Coalgebraic logic”. 2000h:03042b Nakamura, Akira! Conflict logic with degrees.  ... 

Page 1869 of Mathematical Reviews Vol. 32, Issue Index [page]

Mathematical Reviews  
(with Tan, Yao-Hua) Prohairetic deontic logic (PDL).  ...  synthesis and transformation * Logic-based program synthesis and transformation. 2000e:68009 Logic program synthesis and transformation * Logic program synthesis and transformation. 2000¢:68008 Manchester  ... 

Page 1913 of Mathematical Reviews Vol. 32, Issue Index [page]

Mathematical Reviews  
(with Tan, Yao-Hua) Prohairetic deontic logic (PDL). (English summary) Logics in artificial intelligence (Dagstuhl, 1998), 77-91, Lecture Notes in Comput. Sci., 1489, Springer, Berlin, 1998.  ...  (see 2000h:68019) 68T20 (68T27) — (with Tan, Yao-Hua) An update semantics for deontic reasoning.  ... 

Severity-sensitive norm-governed multi-agent planning

Luca Gasparini, Timothy J. Norman, Martin J. Kollingbaum
2017 Autonomous Agents and Multi-Agent Systems  
Normative system semantics Our semantics is inspired by Prohairetic Deontic Logic (PDL) [29] , and other preferencebased deontic logics, such as that proposed by Prakken and Sergot [22] , where dyadic  ...  Transitivity is an intuitive property for a preference relation, including those used in other preference-based deontic logics.  ... 
doi:10.1007/s10458-017-9372-x fatcat:cynydelh3rhkxjbja7lsta6hxi