Permissions and Obligations

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.

[1]  John McCarthy,et al.  Programs with common sense , 1960 .

[2]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[3]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[4]  L. Thorne McCarty,et al.  The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations , 1981, IJCAI.

[5]  James F. Allen.  An Interval-Based Representation of Temporal Knowledge , 1981, IJCAI.

[6]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[7]  Layman E. Allen.  Formalizing Hohfeldian Analysis to Clarify the Multiple Senses of 'Legal Right': A Powerful Lens for the Electronic Age , 1974 .

[8]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[9]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[10]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[11]  N. Isaacs,et al.  Fundamental Legal Conceptions as Applied in Judicial Reasoning: And Other Legal Essays , 2010 .

[12]  Hector-Neri Castañeda,et al.  Thinking and Doing: The Philosophical Foundations of Institutions , 1975 .

[13]  Risto Hilpinen.  New studies in deontic logic : norms, actions, and the foundations of ethics , 1981 .

[14]  Stanley J. Rosenschein,et al.  Plan Synthesis: A Logical Perspective , 1981, IJCAI.

[15]  Saul A. Kripke,et al.  Semantical Analysis of Intuitionistic Logic I , 1965 .

[16]  Hector-Neri Castañeda,et al.  The Paradoxes of Deontic Logic: The Simplest Solution to all of them in one Fell Swoop , 1981 .

[17]  Nicholas Rescher.  The Logic Of Commands , 1966 .

[18]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[19]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[20]  Richard J. Lipton,et al.  Foundations of Secure Computation , 1978 .

[21]  Harry A. Bigelow,et al.  Book Review (reviewing Wesley Newcomb Hohfeld, Fundamental Legal Conceptions as Applied in Judicial Reasoning (1923)) , 2022 .