Nonmonotonic Reasoning of Multiagent Cooperation and Dynamic Propositional Control

When specifying multiagent systems and mental states such as belief and goal of agents, temporal logics are often adopted as basic theoretical tools. Although there are work on nonmonotonic extension of linear temporal logic LTL and branching time temporal logic CTL, the nonmonotonic extension of the logic of cooperation and propositional control (CL-PC) and its dynamic version DCL-PC which are important kinds of multi-agent cooperation logics and temporal logics have not been discussed yet in literature. To solve this problem, this paper proposed nonmonotonic dynamic logic of cooperation and propositional control, namely N-DCL-PC to facilitate the nonmonotonic reasoning of multiagent systems and mental states of agents. As a result, strong and weak exceptions are introduced into multiagent cooperation logics research to realize nomonotonic reasoning of these important logics. Furthermore, the new logic we proposed is of stronger expressive power.