逻辑与策略探索