...
首页> 外文期刊>人工知能学会論文誌 >日常語をベースとした順序ソート論理による知識表現法とその推論処理法
【24h】

日常語をベースとした順序ソート論理による知識表現法とその推論処理法

机译:知识表示方法及其推断处理顺序排序排序排序逻辑

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       

摘要

本論文では2章で研究の動機およびWPLの表現対象·構成·表現法について述べる3章では,WPLに対する推論法の基本的な考え方Beierleらの推論規則およびその拡張について述べる4章では,拡張した推論規則の適用において重要となる,構造を持ったソート間のサブソート関係の判定法とそれに基づくSLp節の生成法について述べる.また5章では本推論法の具体的な適用例を示し6章では従来の順序ソート論理に対する優位性,推論規則の健全性と完全性等について考察する.
机译:在本文中,我们描述了WPL的推理方法的基本概念以及本文的推理法的推理法则的推广规则,以及描述推理规则的四章及其对WPL的扩展。它描述了基于分类的分类与SLP部分的差差关系的确定方法,这在推理规则的应用中是重要的。 另外,在第5章中,第6章中示出了该估计方法的具体应用示例,并且讨论了传统订单排序逻辑的推理规则和完整性等的优点和完整性。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号