首页> 中国专利> 不一致知识库中的BUT推理

不一致知识库中的BUT推理

摘要

本发明提供了一种利用不一致知识库进行“but推理”的方法。该方法不仅给出对布尔问题的回答,而且给出附加的并且指导性的信息。该方法首先寻找解释所述回答与不一致知识库之间的矛盾的桥陈述。然后,该方法选择导致与所述回答的矛盾的but陈述,并且构造并验证具有所述回答、所述but陈述和可选的所述桥陈述的but回答。

著录项

  • 公开/公告号CN103718173B

    专利类型发明专利

  • 公开/公告日2016-11-30

    原文格式PDF

  • 申请/专利权人 英派尔科技开发有限公司;

    申请/专利号CN201180072639.5

  • 发明设计人 方俊;

    申请日2011-07-29

  • 分类号

  • 代理机构北京三友知识产权代理有限公司;

  • 代理人吕俊刚

  • 地址 美国特拉华州

  • 入库时间 2022-08-23 09:49:11

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2020-07-17

    未缴年费专利权终止 IPC(主分类):G06F17/30 授权公告日:20161130 终止日期:20190729 申请日:20110729

    专利权的终止

  • 2016-11-30

    授权

    授权

  • 2016-11-30

    授权

    授权

  • 2014-05-07

    实质审查的生效 IPC(主分类):G06F17/30 申请日:20110729

    实质审查的生效

  • 2014-05-07

    实质审查的生效 IPC(主分类):G06F 17/30 申请日:20110729

    实质审查的生效

  • 2014-04-09

    公开

    公开

  • 2014-04-09

    公开

    公开

查看全部

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号