Acts of commanding and changing obligations

Authors:
Tomoyuki Yamada
Affiliations:
Graduate School of Letters, Hokkaido University, Sapporo, Hokkaido, Japan
Venue:
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Year:
2006

Citing 3
Cited 3

Reasoning about Information Change

Journal of Logic, Language and Information
A Reduction from DLP to PDL

Journal of Logic and Computation
Logical dynamics of commands and obligations

JSAI'06 Proceedings of the 20th annual conference on New frontiers in artificial intelligence

Logical dynamics of commands and obligations

JSAI'06 Proceedings of the 20th annual conference on New frontiers in artificial intelligence
Acts of promising in dynamified deontic logic

JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Update semantics for imperatives with priorities

LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction

Quantified Score

Hi-index	0.00

Visualization

Abstract

If we are to take the notion of speech act seriously, we must be able to treat speech acts as acts. In this paper, we will try to model changes brought about by various acts of commanding in terms of a variant of update logic. We will combine a multi-agent variant of the language of monadic deontic logic with a dynamic language to talk about the situations before and after the issuance of commands, and the commands that link those situations. Although the resulting logic inherits various inadequacies from monadic deontic logic, some interesting principles are captured and seen to be valid nonetheless. A complete axiomatization and some interesting valid principles together with concrete examples will be presented, and suggestions for further research will be made.