发明授权
- 专利标题： 不一致知识库中的BUT推理
-
申请号： CN201180072639.5申请日： 2011-07-29
-
公开(公告)号： CN103718173B公开(公告)日： 2016-11-30
- 发明人: 方俊
- 申请人： 英派尔科技开发有限公司
- 申请人地址： 美国特拉华州
- 专利权人： 英派尔科技开发有限公司
- 当前专利权人： 英派尔科技开发有限公司
- 当前专利权人地址： 美国特拉华州
- 代理机构： 北京三友知识产权代理有限公司
- 代理商 吕俊刚; 刘久亮
- 国际申请： PCT/CN2011/077784 2011.07.29
- 国际公布： WO2013/016854 EN 2013.02.07
- 进入国家日期： 2014-01-28
- 主分类号： G06F17/30
- IPC分类号： G06F17/30
摘要：
本发明提供了一种利用不一致知识库进行“but推理”的方法。该方法不仅给出对布尔问题的回答，而且给出附加的并且指导性的信息。该方法首先寻找解释所述回答与不一致知识库之间的矛盾的桥陈述。然后，该方法选择导致与所述回答的矛盾的but陈述，并且构造并验证具有所述回答、所述but陈述和可选的所述桥陈述的but回答。
公开/授权文献
- CN103718173A 不一致知识库中的BUT推理 公开/授权日：2014-04-09
