Autonomous Cluedo agent using constraint satisfaction, fixed-point logical inference, information-driven decisions, and Dijkstra pathfinding.