Scidown文献预览系统！
BG家族:事实，规则和约束( The BG Family: Facts, Rules and Constraints )
M Chein ML Mugnier
在这一章中，我们给出了一族推理模型，它推广了到目前为止看到的模型。演绎问题，用类属的方式表示，以一个知识库K和一个目标Q为输入，问Q是否可以由K演绎出来。根据知识库的组成，得到不同的模型。如果K仅由事实构成，我们得到了前几章研究的BG（或SG）模型。当加入规则时，我们得到了前一章所研究的模型。现在我们还将考虑图的正约束和负约束，这引入了另一个问题，即一致性（“知识库是否与约束一致？”）禁止从不一致的基数中扣除。取决于规则和约束如何组合，规则具有不同的语义，成为推理规则或进化规则。推理规则代表隐含知识，进化规则代表转换事实知识的可能动作（事实知识可能通过推理规则的应用而丰富）。
SciDown文献求助系统（解决99%问题） Public Download Springer ResearchGate
『Sci-Hub|Scidown』怎么用？来看看教程吧！

支持模式 1.支持DOI号 2.支持英文文献全名搜索 3.支持参考文献搜索 4.知网文献（暂时关闭）

安卓手机、电脑用户，您可以在QQ浏览器里输入 www.scidown.cn 打开scidown解析，就可以解析、下载了！（注意是文献的DOI号）

苹果手机用户，您需要先在App Store里搜索并下载 Documents by Readdle 这个APP，在APP首页，左划右下角的指南针图标打开APP内置浏览器，在浏览器里输入 www.scidown.cn 打开scidown解析，就可以解析、下载了！

如出现BUG？赶快加入【Scidown互助交流群】反馈吧：729083885【点击一键加群】
『Sci-Hub|Scidown』相关参考文献
scidown 朝向台风风危害的精确估计:参数化建模和上游地形效应- ScienceDirect下载
scidown 结缔组织生长因子增加在口腔黏膜下纤维化发病机制及其恶性转化中的作用——免疫组化研究下载
scidown 激光定向能沉积法制备大尺寸Al2O3/GdAlO3/ZrO2三元共晶陶瓷棒及其组织均匀化机理下载