Conocimiento · Lógica proposicional
Knights and Knaves
Aplica restricciones lógicas y observa cómo desaparecen los mundos incompatibles con las declaraciones.
Acertijo
Declaraciones
Base de conocimiento
—Restricciones aplicadas0 / 0
Origen
Proyecto de Harvard CS50 AI
Incluye los cuatro acertijos originales del ejercicio Knights y cuatro casos adicionales construidos con el mismo modelo lógico.