Alternating-time temporal logic
Journal of the ACM (JACM)
A Logic for Planning under Partial Observability
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
Hi-index | 0.00 |
It has been proposed that a good way of allocating tasks to agents is by ascribing them obligations, i.e., if we want agent i achieves &phis;, we can stipulate that 'it is obligatory for i that &phis;'. Here, we argue that this method is not adequate to guide agent's decisions. Then, using a multi-agent extension of propositional dynamic logic, with operators expressing agents' knowledge and abilities, we show that when agents' decisions are guided by responsibilities, as we define here, a successful performance is more likely to be obtained.