[发明专利]不一致知识库中的BUT推理有效
| 申请号： | 201180072639.5 | 申请日： | 2011-07-29 |
| 公开（公告）号： | CN103718173B | 公开（公告）日： | 2016-11-30 |
| 发明（设计）人： | 方俊 | 申请（专利权）人： | 英派尔科技开发有限公司 |
| 主分类号： | G06F17/30 | 分类号： | G06F17/30 |
| 代理公司： | 北京三友知识产权代理有限公司 11127 | 代理人： | 吕俊刚;刘久亮 |
| 地址： | 美国特*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种利用不一致知识库进行“but推理”的方法。该方法不仅给出对布尔问题的回答，而且给出附加的并且指导性的信息。该方法首先寻找解释所述回答与不一致知识库之间的矛盾的桥陈述。然后，该方法选择导致与所述回答的矛盾的but陈述，并且构造并验证具有所述回答、所述but陈述和可选的所述桥陈述的but回答。 | ||
| 搜索关键词： | 不一致 知识库 中的 but 推理 | ||
【主权项】：
一种用于处理器的使用but推理从不一致知识库确定对布尔查询的but回答的方法，该方法包括以下步骤：接收包括原始公式的布尔查询；确定所述不一致知识库是否非标准地蕴含所述原始公式；当所述不一致知识库非标准地蕴含所述原始公式时，选择桥公式，该桥公式由所述不一致知识库非标准地蕴含，能够与所述原始公式解析，并且不与所述原始公式矛盾；构造包括所述原始公式、but公式和所述桥公式的所述but回答，所述but公式是所述原始公式和所述桥公式的解析式的否定；验证所述but回答；以及发送或显示具有至少所述原始公式和所述but公式的所述but回答。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于英派尔科技开发有限公司，未经英派尔科技开发有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201180072639.5/，转载请声明来源钻瓜专利网。
