Theoretical command
Probe command of description logics, answer set programming and differentiable reasoning: ask how they handle open world assumption, unification, or grounding blowup in Datalog and ASP solvers.
Evidence to listen for
- Explains the underlying theory at the level the role demands, and can go a layer deeper when pushed
- Knows which results are established and which are contested
- Distinguishes their own contribution from the field's
- Comfortable saying where the theory runs out
Five-point scoring guide
Recites terminology without understanding; cannot go one layer deeper.
Surface familiarity; conflates established results with speculation.
Solid grasp of the core theory; thin at the frontier.
Strong command; separates settled results from open questions.
Explains soundness, completeness and complexity trade-offs across Prolog, ASP and probabilistic logic without collapsing everything into prompt engineering.