@inproceedings{c438bf6cc9904ac9905b20a69ab04d33,
title = "The Chisholm paradox and the situation calculus",
abstract = "Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers from certain paradoxes of which the so-called Chisholm paradox is one of the most notorious. We propose a formalisation of the Chisholm set in the framework of the situation calculus. We utilise this alternative to modal logic for formalising the obligations of the agent and avoiding the Chisholm paradox. This new approach makes use of the notion of obligation fluents together with their associated successor state axioms. Furthermore, some results about automated reasoning in the situation calculus can be applied in order to consider a tractable implementation.",
author = "Pilar Pozos-Parra and Robert Demolombe",
year = "2005",
doi = "10.1007/11425274_44",
language = "English",
isbn = "3540258787",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Springer Nature",
pages = "425--434",
editor = "Mohand-Said Hacid and Ras, {Zbigniew W.} and Shusaku Tsumoto and Murray, {Neil V.}",
booktitle = "Proceedings of the 15th International Symposium on Methodologies for Intelligent Systems, ISMIS 2005",
address = "United States",
note = "15th International Symposium on Methodologies for Intelligent Systems, ISMIS 2005 ; Conference date: 25-05-2005 Through 28-05-2005",
}