逆向推理-一流百科

逆向推理

逆向推理逆向推理（或逆向推理）是一种推理方法，被俗称为从目标向后工作。它被用于自动定理证明器、推理引擎、证明助手和其他人工智能应用中。逆向连锁在逻...