Abstract
Within a STIT framework, this paper presents a logical study of the interaction between 'ought-to-do', and an epistemic notion of 'knowingly doing'. We start out with some motivating examples concerning the interaction between action, obligation and knowledge. Then we present a complete temporal STIT logic including operators for action, obligation and knowledge. We use the logic to analyze the examples and discuss open problems. © 2008 Springer-Verlag.
Cite
CITATION STYLE
Broersen, J. (2008). A logical analysis of the interaction between “obligation-to-do” and “knowingly doing.” In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5076 LNAI, pp. 140–154). https://doi.org/10.1007/978-3-540-70525-3_12
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
