HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

Lukasiewicz n 值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计

作者:张家录; 吴霞lukasiewiczn值逻辑系统真度不可靠度真值状态伪距离近似推理

摘要:在hflcasiewiczn值命题逻辑系统中引人命题公式的一般真度概念并讨论其性质,说明一般真度满足Kolmogomv公理.在形式推演中,引进公式的不可靠度和前提的必要度概念,证明在Lukasiewiczn值逻辑系统中,一个有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和.通过不可靠度在全体公式集上建立逻辑伪距离空间,证明逻辑伪距离空间中没有孤立点,利用逻辑伪距离在全体公式集F(s)中提出两种不同形式的近似推理模式.

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

电子学报

《电子学报》(CN:11-2087/TN)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。

杂志详情