The Chisholm paradox and the situation calculus

Pilar Pozos-Parra, Robert Demolombe

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

2 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationProceedings of the 15th International Symposium on Methodologies for Intelligent Systems, ISMIS 2005
EditorsMohand-Said Hacid, Zbigniew W. Ras, Shusaku Tsumoto, Neil V. Murray
Place of PublicationBerlin, Germany
PublisherSpringer, Springer Nature
Pages425-434
Number of pages10
ISBN (Print)3540258787
DOIs
Publication statusPublished - 2005
Event15th International Symposium on Methodologies for Intelligent Systems, ISMIS 2005 - Saratoga Springs, NY, United States
Duration: 25 May 200528 May 2005

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume3488

Other

Other15th International Symposium on Methodologies for Intelligent Systems, ISMIS 2005
CountryUnited States
CitySaratoga Springs, NY
Period25/05/0528/05/05

Fingerprint Dive into the research topics of 'The Chisholm paradox and the situation calculus'. Together they form a unique fingerprint.

  • Cite this

    Pozos-Parra, P., & Demolombe, R. (2005). The Chisholm paradox and the situation calculus. In M-S. Hacid, Z. W. Ras, S. Tsumoto, & N. V. Murray (Eds.), Proceedings of the 15th International Symposium on Methodologies for Intelligent Systems, ISMIS 2005 (pp. 425-434). (Lecture Notes in Computer Science; Vol. 3488). Berlin, Germany: Springer, Springer Nature. https://doi.org/10.1007/11425274_44