Data and constraints can easily be changed to test theories.

• 信息库中的数据和限制条件可以轻易地改变以检验假设。