期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
基本Łukasiewicz m-值条件句逻辑
1
作者 霍书全 《逻辑学研究》 CSSCI 2024年第5期1-20,共20页
经典条件句逻辑被广泛地研究过,近几年,一些非经典的条件句逻辑也开始出现。多值逻辑承认命题可以取多个真值,具有容错能力,其蕴涵词和经典蕴涵词类似,同样可以刻画条件句,因此我们也应该有多值逻辑条件句逻辑。本文将基于Łukasiewicz m... 经典条件句逻辑被广泛地研究过,近几年,一些非经典的条件句逻辑也开始出现。多值逻辑承认命题可以取多个真值,具有容错能力,其蕴涵词和经典蕴涵词类似,同样可以刻画条件句,因此我们也应该有多值逻辑条件句逻辑。本文将基于Łukasiewicz m-值命题逻辑构建基本条件句逻辑系统ŁCK和ŁCK2,证明这些系统的可靠性、完全性和有穷模型性质。最后把ŁCK推广到无穷值情形。 展开更多
关键词 基本条件句逻辑 Łukasiewicz m-值逻辑 多值模态逻辑 Kripke语义
在线阅读 下载PDF
■ukasiewicz命题逻辑系统中有限命题集的约简理论 被引量:2
2
作者 李立峰 张建科 冯锋 《计算机工程与应用》 CSCD 北大核心 2009年第7期44-45,51,共3页
在n值■ukasiewicz命题逻辑中提出了命题集Γ的约简理论,引入由命题集Γ所诱导的形式背景的概念,从Γ及其子集的关系出发给出了n值命题逻辑中有限命题集Γ约简的判定定理以及求Γ约简的方法。说明了无穷值■ukasiewicz命题逻辑中命题集... 在n值■ukasiewicz命题逻辑中提出了命题集Γ的约简理论,引入由命题集Γ所诱导的形式背景的概念,从Γ及其子集的关系出发给出了n值命题逻辑中有限命题集Γ约简的判定定理以及求Γ约简的方法。说明了无穷值■ukasiewicz命题逻辑中命题集Γ的约简可转化为n值情形。 展开更多
关键词 ukasiewicz命题逻辑 完备性定理 Γ约简 形式背景
在线阅读 下载PDF
■ukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理 被引量:19
3
作者 周红军 《软件学报》 EI CSCD 北大核心 2012年第9期2235-2247,共13页
通过视赋值集为通常乘积拓扑空间,利用其上的Borel概率测度在n值及连续值■ukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念,讨论了它的基本性质,特别是给出了n值情形中概率真度函数的积分表示定理,并得到了其与连续情形概率真... 通过视赋值集为通常乘积拓扑空间,利用其上的Borel概率测度在n值及连续值■ukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念,讨论了它的基本性质,特别是给出了n值情形中概率真度函数的积分表示定理,并得到了其与连续情形概率真度函数之间关系的一个极限定理.结果表明,计量逻辑学中命题的真度概念只是所研究工作的一个特例,因而基于概率真度概念可以为不确定性推理建立一种更为宽泛的计量化模型. 展开更多
关键词 ukasiewicz命题逻辑 Borel概率测度 概率真度 极限定理
在线阅读 下载PDF
一阶Łukasiewicz演算系统中的相似度及伪距离
4
作者 马硕 惠小静 郝娇 《湖北大学学报(自然科学版)》 CAS 2023年第2期193-197,共5页
在Łukasiewicz谓词演算系统中引入公理化真度,在此基础上讨论公式之间相似度和伪距离的运算性质,并举例说明将相似度与伪距离转化为公式真度进行计算的方法.
关键词 Łukasiewicz谓词演算系统 真度 相似度 伪距离
在线阅读 下载PDF
Comparative Semantics of Fuzzy Argumentation under the Łukasiewicz t-Norm
5
作者 Shuangyan Zhao 《Engineering(科研)》 2022年第1期43-53,共11页
Dung’s theory of argumentation frameworks (AF) has been applied in many fields of artificial intelligence. The arguments and attack relation are generally partly believed due to the uncertainty in the process of mini... Dung’s theory of argumentation frameworks (AF) has been applied in many fields of artificial intelligence. The arguments and attack relation are generally partly believed due to the uncertainty in the process of mining them. Fuzzy AFs catch uncertainty in AFs by associating fuzzy degrees with the arguments or the attacks. Among the various semantics of fuzzy AFs, the comparative semantics develops and defines Dung’s extensions in the form of fuzzy sets. However, the comparative semantic system only puts forward some basic concepts, and has not been deeply studied in terms of algorithms and properties. This paper studies the comparative semantics of fuzzy AFs based on the Łukasiewicz t-norm in a more in-depth and comprehensive manner. This work is not only a supplement and improvement to comparative semantic in theory, but also beneficial to the calculation and fast identification of its various extensions (based on the Łukasiewicz t-norm). 展开更多
关键词 ARGUMENTATION Fuzzy Set Fuzzy Argumentation Framework Łukasiewicz t-Norm Comparative Semantics
在线阅读 下载PDF
基于n值关系语义的命题模态逻辑系统研究
6
作者 周张泉 杨成彪 刘军 《计算机技术与发展》 2024年第2期71-77,共7页
传统的多值模态逻辑系统将关系语义中的状态及状态间的关系进行了多值化处理。然而,实际应用中状态间的关系往往是确定的,无需多值化。针对这种情况,基于?ukasiewicz代数系统提出了一种新的命题模态逻辑n值关系语义。在所提出的n值关系... 传统的多值模态逻辑系统将关系语义中的状态及状态间的关系进行了多值化处理。然而,实际应用中状态间的关系往往是确定的,无需多值化。针对这种情况,基于?ukasiewicz代数系统提出了一种新的命题模态逻辑n值关系语义。在所提出的n值关系语义中,针对状态进行了多值化处理,同时保持了状态间关系的确定性。通过对逻辑公式的形式化定义以及可满足性和有效性的分析,证明了n值关系语义下经典命题模态逻辑系统K,T,S4和S5的正确性。进一步地,给出了极大一致集与典范模型在n值关系语义下的定义,并完成了上述经典命题模态逻辑系统的完备性证明。上述结论表明基于n值关系语义的命题模态逻辑系统能够涵盖并捕捉到经典逻辑系统中的所有有效命题。综上所述,所提出的基于?ukasiewicz代数系统的n值关系语义提供了一种在实际应用中处理多值状态及确定的状态间关系的方法。这种方法在扩展命题模态逻辑系统的形式化定义与关系语义是可行且有效的。 展开更多
关键词 模态逻辑 多值逻辑 关系语义 ?ukasiewicz系统 正确性和完备性
在线阅读 下载PDF
Secured Vehicle Life Cycle Tracking Using Blockchain and Smart Contract 被引量:1
7
作者 Srinivasan Ananthanarayanan Bragadeesh Arumugam Umamakeswari 《Computer Systems Science & Engineering》 SCIE EI 2022年第4期1-18,共18页
Life Cycle Tracking(LCT)involves continuous monitoring and analy-sis of various activities associated with a vehicle.The crucial factor in the LCT is to ensure the validity of gathered data as numerous supply chain ph... Life Cycle Tracking(LCT)involves continuous monitoring and analy-sis of various activities associated with a vehicle.The crucial factor in the LCT is to ensure the validity of gathered data as numerous supply chain phases are involved and the data is assessed by multiple stakeholders.Frauds and swindling activities can be prevented if the history of the vehicles is made available to the interested parties.Blockchain provides a way of enforcing trustworthiness to the supply chain participants and the data associated with the various actions per-formed.Machine learning techniques when combined decentralized nature of blockchains can be used to develop a robust Vehicle LCT model.In the proposed work,Harmonic Optimized Gradient Descent andŁukasiewicz Fuzzy(HOGD-LF)Vehicle Life Cycle Tracking in Cloud Environment is proposed and it involves three stages.First,the Progressive Harmonic Optimized User Registra-tion and Authentication model is designed for computationally efficient registra-tion and authentication.Next,for the authentic user,the Gradient Descent Blockchain-based SVM Data Encryption model is designed with minimum CPU utilization.Finally,Łukasiewicz Fuzzy Smart Contract Verification is per-formed with encrypted data to ensure accurate and precise fraudulent activity deduction.The experimental analysis shows that the proposed method achieves significant performance in terms of life cycle’s prediction time,overhead,and accuracy for a different number of users. 展开更多
关键词 Vehicle life cycle tracking progressive harmonic optimization blockchain gradient descent Łukasiewicz fuzzy smart contract
在线阅读 下载PDF
一阶逻辑中几类特殊公式的真度计算方法
8
作者 马硕 惠小静 郝娇 《延安大学学报(自然科学版)》 2022年第1期79-82,共4页
对一阶逻辑Łukasiewicz系统中的几类特殊公式的公理化真度展开研究。根据真度定义及真度的性质,给出了将复杂公式的真度转换成几个简单公式的真度进行计算的方法,从而将真度计算的方法进行了推广。
关键词 Łukasiewicz谓词逻辑系统 公理化真度 真度计算
在线阅读 下载PDF
Lukasiewicz系统中反向三Ⅰ算法的形式解
9
作者 刘东利 段樱桃 《内江师范学院学报》 2010年第4期5-8,共4页
通过一个F(S)上的预序,提出了反向MP问题,多重反向MP问题以及反向MT问题,多重反向MT问题.在Lukasiewicz命题逻辑系统中讨论并得到了以上问题的解,说明了在某种意义下,这些解和反向三Ⅰ算法的结果一致,从而在Lukasiewicz逻辑系统中实现... 通过一个F(S)上的预序,提出了反向MP问题,多重反向MP问题以及反向MT问题,多重反向MT问题.在Lukasiewicz命题逻辑系统中讨论并得到了以上问题的解,说明了在某种意义下,这些解和反向三Ⅰ算法的结果一致,从而在Lukasiewicz逻辑系统中实现了反向三Ⅰ算法的形式化推理机制. 展开更多
关键词 反向MP问题 反向MT问题 Lukasiewicz命题逻辑系统 形式解
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部