Back to Search Start Over

Acts of Commanding and Changing Obligations.

Authors :
Carbonell, Jaime G.
Siekmann, Jörg
Inoue, Katsumi
Satoh, Ken
Toni, Francesca
Yamada, Tomoyuki
Source :
Computational Logic in Multi-Agent Systems (9783540696186); 2007, p1-19, 19p
Publication Year :
2007

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. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISBNs :
9783540696186
Database :
Complementary Index
Journal :
Computational Logic in Multi-Agent Systems (9783540696186)
Publication Type :
Book
Accession number :
33110108
Full Text :
https://doi.org/10.1007/978-3-540-69619-3_1