我需要理解专家系统（人工智能）中后向推理的概念，且不使用形式逻辑。

回答：

如果有一条规则

it_rains -> street_is_wet

这意味着如果在下雨，街道就会湿。后向推理意味着如果你想知道街道是否湿了，你需要检查是否在下雨。因此，你需要逆向通过这条规则进行推理。