Obligation change in dependence logic and situation calculus - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Obligation change in dependence logic and situation calculus

Résumé

Obligation change raises the ”frame problem” which is to characterise what obligations remain unchanged after an action has been performed. Many general solutions have been proposed but even if they are attractive from a thoretical point of view they have practical drawbacks. In this paper simple solutions are proposed thanks to the restriction to obligations that take the form of modal literals. These solutions are presented in the framework of dependence logic and of situation calculus, and it is shown that they are based on the same intuitive idea. This idea is to express that we have a complete representation of actions and circumstances that can change an obligation.

Dates et versions

hal-03519773 , version 1 (10-01-2022)

Identifiants

Citer

Robert Demolombe, Andreas Herzig. Obligation change in dependence logic and situation calculus. 7th International Workshop on Deontic Logic in Computer Science (DEON 2004), May 2004, Madeira, Portugal. pp.57-73, ⟨10.1007/978-3-540-25927-5_6⟩. ⟨hal-03519773⟩
21 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More