Service Hotline:13825746432

您现在所在位置:首页 > 系统资料 > 公司资讯 >

公司资讯

智能快递柜系统清晰束缚的言语

来源:本站  发布时间:2018-04-26   点击量:

智能快递柜系统清晰束缚的言语

根据逻辑的表明言语有时非常丰富和灵敏,致使将它们使用到机器学习时,其计算杂乱度无法衡量。因而,一般的做法就是引进各种束缚,比如子句中有限数目的谓词及其参数,或扫除递财界说。

任一个子句中变量呈现有限次数意味着子们主体中的变量数日不容许超过预设的阈值。例如: 仅有呈现在子句头部中的那些交量能够呈现在子创上体中,反之,没有呈现在头部的一个变量万可呈现在主体中。还可给山相似的一些束缚
另一个束缚就是成谓词参数中扫除函数。这会成为很严重的束缚,由于一般一个参数不一定就是个简略变量,可能是一个计算式、杂乱算术或逻辑表达式,或n 元兩数。函数的呈现将会大大添加可能描绘的空间。
最终,一个重要的束缚能够扫除递归描绘(RecursiveDescriptio 选用阶逻辑表明时,递归描绘的能力常常通过先人(Ancestor) 界说来加以阐明:
ancestor(X. n) :-parent(X, Y.   ancestor(X,Y :-parent(X,Z),ancesto( Y.
上述描绘就是: 若X是Y的爸爸妈妈,或假如能够找到Z,使得X是Z的爸爸妈妈且Z是Y的先人,那么X就是Y的先人。

MORE+ 推荐产品

枪弹柜系统

钥匙柜系统

更衣柜系统

寄存柜系统

智能物流柜系统

智能物证柜控制系统



智能快递柜系统|智能物流柜系统|档案柜系统|信报箱系统|案卷柜系统|智能物证柜控制系统|东莞中立智能装备技术有限公司

微信扫一扫

微信扫一扫

东莞中立智能装备技术有限公司 版权所有