The chisholm paradox and the situation calculus

Authors:
Robert Demolombe;Pilar Pozos-Parra
Affiliations:
ONERA-Toulouse, Toulouse, France;Department of Computing, Macquarie University, Australia
Venue:
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Year:
2005

Citing 3
Cited 1

The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Theories of intentions in the framework of situation calculus

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

Argumentation schemes for collaborative planning

PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice

Quantified Score

Hi-index	0.00

Visualization

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.