Using modal logics to model societies of agents

We present a framework that shows how epistemic logic and deontic logic can be used to model a multiagent system consisting of humans and non-human agents. Modeling agents with epistemic and deontic logic also captures the interdependencies between human and non-human agents. Epistemic logic addresses belief; knowledge, notably common knowledge, and, in many applications in computer science, it specifically addresses knowledge acquired by communication. With deontic logic, we represent obligations prohibitions and permissions applying to agents. Kripke structures furnish semantic models in which propositions are evaluated to true or false. Our framework emphasizes the ability to maintain ongoing relationships among agents. Such a system is called reactive. We contrast a reactive system with a transformational system, which. given inputs, produces outputs upon program termination. In developing this framework, we address the concepts of a multi-agent/multi-human collaboration.