Permissions and Obligations

McCarty, L. Thorne

Permissions and Obligations

Download BibTeX Cite

Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 287-293.

Abstract

This article describes a formal semantics for the deonti c concepts the concepts of per m i ssi on and obi igation -- which arises naturall y from the representations used in art ificial intelligence systems. Instead of treating deontic logic as a branc h of modal logic , with the standard possible wo r lds semantics. w e first develop a language for describing act i ons, and we define the concepts of permiss ion and obligation in te r ms of these action descriptions . Using our semantic defin itions, we then derive a number of intuitively plausible inferences . and we show generally that the paradoxes which are so frequently associated with deont ic logic do not arise in our system.

L. Thorne McCarty. 1983. Permissions and Obligations. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83. IJCAI, 287–293. https://ijcai.org/proceedings/1983/69

@inproceedings{ijcai1983p69,
  title     = {Permissions and Obligations},
  author    = {McCarty, L. Thorne},
  booktitle = {Proceedings of the Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI-83}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Alan Bundy},
  pages     = {287--293},
  year      = {1983},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1983/69},
}

TY  - CPAPER
TI  - Permissions and Obligations
AU  - McCarty, L. Thorne
T2  - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1983
SP  - 287
EP  - 293
UR  - https://ijcai.org/proceedings/1983/69
ER  -