Explains alethic and deontic modality of rules
Definitional (alethic) rules cannot be violated; operative (deontic) rules can, and need enforcement.
Can AI do this?
AI does this well Most of the tested AI models master this. 9 of 10 models master it.
| Model | Tier | Probability of mastery | Status |
|---|---|---|---|
| gemini-4-argon | Flagship | 100% | Mastered |
| gemini-3.1-pro-preview | Flagship | 100% | Mastered |
| gpt-6-astra | Flagship | 100% | Mastered |
| claude-fable-5-1 | Flagship | 100% | Mastered |
| gemini-3.8-flash | Mid tier | 100% | Mastered |
| gpt-6.1-sol | Mid tier | 100% | Mastered |
| claude-sonnet-5-5 | Mid tier | 100% | Mastered |
| gemini-3.5-flash-lite | Low cost | 93% | Not shown |
| gpt-6-luna | Low cost | 100% | Mastered |
| claude-haiku-5-5 | Low cost | 100% | Mastered |
Mastered means a probability of at least 90% that the model has this knobit, estimated from its graded answers. “Not shown” means the answers do not settle it either way. How the models are tested.
What it looks like in practice
Expected result: Definitional (alethic) rules cannot be violated; operative (deontic) rules can, and need enforcement
How it is assessed: Classifies sample rules by modality using whether data could break them
Related knobits
Builds on
Needed for
- K-307 Recognises a fact type with clashing modalities
- K-319 Recognises a definitional rule filed as operative
- K-320 Recognises an operative rule filed as definitional
- K-709 Recognises a check unable to fail
All 28 knobits of Document data rules as SBVR fact types and rule statements.
Source: Data-management practice used by the stage 3 reference and review checklist