A Deontic Logic of Knowingly Complying

C. Areces, V. Cassano, P. Castro, R. Fervari, and A. Saravia. A Deontic Logic of Knowingly Complying. In Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), pp. 364–372, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2023.

Download

[pdf] 

Abstract

We introduce a logic for representing the deontic notion of knowingly complying –associated to an agent’s conciousness of taking a normative course of action for achieving a certain goal. Our logic features an operator for describing normative courses of actions, and another operator for describing what each agent knowingly complies with. We provide a sound and complete axiom system for our logic, and study the computational complexity of its satisfiability problem. Finally, we extend our logic with an additional operator for capturing the general abilities of the agents. This operator enables us to distinguish ‘what agents can do’ and ‘what agents do according to norms’. For this extension, we also provide a sound and complete axiom system.

BibTeX

@InCollection{areces:deon22,
  author =       "C. Areces and V. Cassano and P. Castro and R. Fervari
                 and A. Saravia",
  publisher = {International Foundation for Autonomous Agents and
                  Multiagent Systems},
  address = {Richland, SC},
  title =        "A Deontic Logic of Knowingly Complying",
  booktitle =    "Proceedings of the 22nd International Conference on
                 Autonomous Agents and Multiagent Systems (AAMAS 2023)",
  pages = {364–372},
  numpages = {9},
  year =         "2023",
  isbn = {9781450394321},
  abstract =     "We introduce a logic for representing the deontic
                 notion of knowingly complying –associated to an
                 agent’s conciousness of taking a normative course of
                 action for achieving a certain goal. Our logic features
                 an operator for describing normative courses of
                 actions, and another operator for describing what each
                 agent knowingly complies with. We provide a sound and
                 complete axiom system for our logic, and study the
                 computational complexity of its satisfiability problem.
                 Finally, we extend our logic with an additional
                 operator for capturing the general abilities of the
                 agents. This operator enables us to distinguish ‘what
                 agents can do’ and ‘what agents do according to
                 norms’. For this extension, we also provide a sound
                 and complete axiom system.",
}