First-Order Dynamic Logic
Foundations of Secure Computation
Foundations of Secure Computation
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
On the Challenge of Engineering Socio-technical Systems
Software-Intensive Systems and New Computing Paradigms
Specifying and monitoring economic environments using rights and obligations
Autonomous Agents and Multi-Agent Systems
Toward practical authorization-dependent user obligation systems
ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security
Towards metalogical systematisation of deontic action logics based on Boolean algebra
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Semantic models for policy deliberation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Specifying and monitoring market mechanisms using rights and obligations
AAMAS'04 Proceedings of the 6th AAMAS international conference on Agent-Mediated Electronic Commerce: theories for and Engineering of Distributed Mechanisms and Systems
Ensuring authorization privileges for cascading user obligations
Proceedings of the 17th ACM symposium on Access Control Models and Technologies
Fundamenta Informaticae
| Hi-index | 0.00 |
This article describes a formal semantics for the deontic concepts -- the concepts of permission and obligation -- which arises naturally from the representations used in artificial intelligence systems Instead of treating deontic logic as a branch of modal logic, with the standard possible worlds semantics, we first develop a language for describing actions, and we define the concepts of permission and obligation in terms of these action descriptions. Using our semantic definitions, we then derive a number of intuitively plausible inferences, and we show generally that the paradoxes which are so frequently associated with deontic logic do not arise in our system.