Developed a system called ... which

Uses an iterative algorithm to deduce