一流百科
拖动LOGO到书签栏,立即收藏一流导航
  • 一流导航
  • 词条百科
  • 企业百科
  • 产品提交 文章投稿
  • 登录/注册
  • 词条百科
  • 企业百科

逆向推理

前项呱呱叫目标规则逆向推理

逆向推理

逆向推理逆向推理(或逆向推理)是一种推理方法,被俗称为从目标向后工作。它被用于自动定理证明器、推理引擎、证明助手和其他人工智能应用中。逆向连锁在逻...
词条百科
添加小工具
点此为“分类归档侧边栏”添加小工具
Copyright © 2025 一流百科 

扫码分享到朋友圈