Back to Search
Start Over
Acts of Commanding and Changing Obligations.
- 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