Logic of Knowledge and Cognitive Ability

Jia Tao, Xinran Zhang

Abstract:

Along with the convenience brought by the increasing usage of
autonomous systems, unexpected accidents happened. These ac-
cidents emphasize the need for autonomous systems to possess
the ability to recognize potential hazards, effectively communi-
cate these hazards to human operators, and facilitate retrospective
analyses. This ability, including recognition, prejudgment, post-
analysis, and reasoning, falls within the realm of cognitive ability,
which is important in improving the safety and outcomes in the
decision-making process of such systems. In this paper, we present
a foundational step toward addressing the safety challenges involv-
ing the cognitive ability of artificial agents. We study the interplay
between knowledge and the cognitive ability of intelligent agents.
The main technical result is a sound and complete bimodal logical
system that describes the interplay between the knowledge and
cognitive ability modalities.