Knowledge-Based Monitoring for Checking Law and Regulation Compliance

Obeying the law and other rules and regulations is important for all systems. Although all corresponding compliance checks can be carried out as part of the design phase for ordinary systems, this might not hold anymore when dealing with agents interacting in the real world, like mobile robots or autonomous vehicles. The reason is the huge space of potential interactions, which can hardly be considered for testing. Hence, there is a need for monitoring and compliance checking during operation. In this paper, we propose a logic-based monitoring system that allows us to check compliance with traffic rules and regulations. We demonstrate its applicability by considering several use cases. We implemented the use cases in a 3D simulation environment and attached our monitoring system, allowing us to derive traffic rule violations within a reasonable time after occurrence.