首页> 外文会议>情報処理学会全国大会;情報処理学会 >強相関論理に基づく前向き推論を用いた自動定理発見法の項書き換え処理による改善
【24h】

強相関論理に基づく前向き推論を用いた自動定理発見法の項書き換え処理による改善

机译:基于强相相关逻辑的阳性推断,改进自动重新排列自动重新排列方法

获取原文

摘要

自動定理発見問題は自動定理発見の一般的な方法を求めるという問題である[6].自動定理発見問題を解決するために強相関論理に基づく前向き推論を用いた自動定理発見法が提案された[2].
机译:自动定理发现问题是用于自动定理发现的概况 这是寻求方法的问题[6]。 集成来解决动态发现问题 基于的专有推断自动恢复 已经提出了一个看法[2]。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号