Algorithmic Soundness

A sound search contains only correct solutions!
An unsound search contains incorrect solutions

• Caused by unsound operators or goals checks

Dangers

• Find solutions to problems with no solutions
• Find a route to an unreachable destination
• Prove a theorem which is actually false
• Produce incorrect solution to problem