TY - GEN
T1 - Temporal deontic logic for the generalised chisholm set of contrary to duty obligations
AU - Gabbay, Dov
PY - 2012
Y1 - 2012
N2 - We consider a generalised Chisholm set of contrary to duty obligations (CTD) of the form and for i = 0,..., n we have the CTD is and the facts ±q j for some j J {0,1,..., n + 1}. Note that for the case of n = 1 and fact ¬q 0 we have the Chisholm paradox. We also allow for temporal sequencing of the q i in the form that q i + 1 may come temporally before or after q i . We offer a representation of this problem in a variation of standard deontic logic that we call TSDL, with the standard temporal operator , the deontic obligation operator O, and the past operator Y for "yesterday". This formalism is free of the above paradoxes. We provide an axiomatization and show it to be complete. The logic formalism enjoys the finite tree model property and hence is decidable.
AB - We consider a generalised Chisholm set of contrary to duty obligations (CTD) of the form and for i = 0,..., n we have the CTD is and the facts ±q j for some j J {0,1,..., n + 1}. Note that for the case of n = 1 and fact ¬q 0 we have the Chisholm paradox. We also allow for temporal sequencing of the q i in the form that q i + 1 may come temporally before or after q i . We offer a representation of this problem in a variation of standard deontic logic that we call TSDL, with the standard temporal operator , the deontic obligation operator O, and the past operator Y for "yesterday". This formalism is free of the above paradoxes. We provide an axiomatization and show it to be complete. The logic formalism enjoys the finite tree model property and hence is decidable.
UR - http://www.scopus.com/inward/record.url?scp=84864831438&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-31570-1_7
DO - 10.1007/978-3-642-31570-1_7
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84864831438
SN - 9783642315695
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 91
EP - 107
BT - Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings
T2 - 11th International Conference on Deontic Logic in Computer Science, DEON 2012
Y2 - 16 July 2012 through 18 July 2012
ER -