Imperatives as obligatory and permitted actions

Authors:
Miguel Pérez-Ramírez;Chris Fox
Affiliations:
Computer Science Department, University of Essex, Colchester, United Kingdom;Computer Science Department, University of Essex, Colchester, United Kingdom
Venue:
CICLing'03 Proceedings of the 4th international conference on Computational linguistics and intelligent text processing
Year:
2003

Citing 6
Cited 0

A basic agent

Computational Intelligence
Modal and temporal logics

Handbook of logic in computer science (vol. 2)
Applications of deontic logic in computer science: a concise overview

Deontic logic in computer science
An axiomatic basis for computer programming

Communications of the ACM
First-Order Dynamic Logic

First-Order Dynamic Logic
Relating Imperatives to Action

CMC '98 Revised Papers from the Second International Conference on Cooperative Multimodal Communication

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a dynamic deontic model for the interpretation of imperative sentences in terms of Obligation (O) and Permission (P). Under the view that imperatives prescribe actions and unlike the so-called "standard solution" (Huntley [10]) these operators act over actions rather that over statements. By distinguishing obligatory from non-obligatory actions we tackle the paradox of Free Choice Permission (FCP).