3.2  Rules, Constraints, and Safety Specs

3.2.1 Outline

• Expressing operating rules as propositional/first-order constraints
• Safety interlocks: battery, geofences, human-in-loop requirements
• Consistency checking and simple inference (modus ponens, chaining) without heavy logic
• Encode warehouse safety rules; tie back to CSP vs rule-based enforcement
• Note on verification and traceability for certifiable systems