龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
摘要：本发明公开了一种为了支持非单调推理而组织知识库的方法和应用，属于逻辑推理技术领域。包括：在增加规则r时，获取r的直接前驱后继关联关系集preAndPostPairSet；判断|preAndPostPairSet|是否为0；若是，则直接在原生知识库中插入r；若否，则在原生知识库中插入r并分别对派生知识库和关联知识库进行更新；在删除r时，从关联知识库中获取r,preAndPostPairSet，判断返回值是否为空；若是，直接在原生知识库中删除r；若否，从原生知识库中删除r，更新派生知识库和关联知识库进行更新。本专利对推演格理论进行了完善，让推演格也支持非单调推理。实现了非单调推理的实际应用。
主权项：1.为了支持非单调推理而组织知识库的方法，其特征在于：所述方法包括：在增加规则r时，获取r的直接前驱后继关联关系集preAndPostPairSet；判断|preAndPostPairSet|是否为0；若是，则直接在原生知识库中插入r；若否，则在原生知识库中插入r并分别对派生知识库和关联知识库进行更新；在删除规则r时，从关联知识库中获取r,preAndPostPairSet，判断返回值是否为空；若是，直接在原生知识库中删除r；若否，从原生知识库中删除r，更新派生知识库，∀i∈{1,…,|preAndPostPairSet|},ripre,ripost∈preAndPostPairSet，并调用AdjustPreAndPostPairSetforDeletionripre，r，ripost对关联知识库进行更新。
全文数据：
权利要求：
百度查询： 胡煜州 为了支持非单调推理而组织知识库的方法和应用
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号