模糊模态逻辑的深度有界模糊二拟合

IF 1.1 4区 计算机科学 Q3 COMPUTER SCIENCE, CYBERNETICS Cybernetics and Systems Pub Date : 2024-01-03 DOI:10.1080/01969722.2023.2296248
Linh Anh Nguyen, Ivana Micić, Ngoc-Thanh Nguyen, Stefan Stanimirović
{"title":"模糊模态逻辑的深度有界模糊二拟合","authors":"Linh Anh Nguyen, Ivana Micić, Ngoc-Thanh Nguyen, Stefan Stanimirović","doi":"10.1080/01969722.2023.2296248","DOIUrl":null,"url":null,"abstract":"We introduce depth-bounded fuzzy bisimulation between fuzzy Kripke models. Roughly speaking, a depth-bounded fuzzy bisimulation is a decreasing sequence of fuzzy binary relations whose infimum is a...","PeriodicalId":55188,"journal":{"name":"Cybernetics and Systems","volume":"11 1","pages":""},"PeriodicalIF":1.1000,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Depth-Bounded Fuzzy Bisimulation for Fuzzy Modal Logic\",\"authors\":\"Linh Anh Nguyen, Ivana Micić, Ngoc-Thanh Nguyen, Stefan Stanimirović\",\"doi\":\"10.1080/01969722.2023.2296248\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We introduce depth-bounded fuzzy bisimulation between fuzzy Kripke models. Roughly speaking, a depth-bounded fuzzy bisimulation is a decreasing sequence of fuzzy binary relations whose infimum is a...\",\"PeriodicalId\":55188,\"journal\":{\"name\":\"Cybernetics and Systems\",\"volume\":\"11 1\",\"pages\":\"\"},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2024-01-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Cybernetics and Systems\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1080/01969722.2023.2296248\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, CYBERNETICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Cybernetics and Systems","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1080/01969722.2023.2296248","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, CYBERNETICS","Score":null,"Total":0}
引用次数: 0

摘要

我们介绍了模糊克里普克模型之间的深度有界模糊二元对立。粗略地说,有深度约束的模糊二元模拟是一个模糊二元关系的递减序列,其下确值是一个模糊二元关系的...
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Depth-Bounded Fuzzy Bisimulation for Fuzzy Modal Logic
We introduce depth-bounded fuzzy bisimulation between fuzzy Kripke models. Roughly speaking, a depth-bounded fuzzy bisimulation is a decreasing sequence of fuzzy binary relations whose infimum is a...
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Cybernetics and Systems
Cybernetics and Systems 工程技术-计算机:控制论
CiteScore
4.30
自引率
5.90%
发文量
99
审稿时长
>12 weeks
期刊介绍: Cybernetics and Systems aims to share the latest developments in cybernetics and systems to a global audience of academics working or interested in these areas. We bring together scientists from diverse disciplines and update them in important cybernetic and systems methods, while drawing attention to novel useful applications of these methods to problems from all areas of research, in the humanities, in the sciences and the technical disciplines. Showing a direct or likely benefit of the result(s) of the paper to humankind is welcome but not a prerequisite. We welcome original research that: -Improves methods of cybernetics, systems theory and systems research- Improves methods in complexity research- Shows novel useful applications of cybernetics and/or systems methods to problems in one or more areas in the humanities- Shows novel useful applications of cybernetics and/or systems methods to problems in one or more scientific disciplines- Shows novel useful applications of cybernetics and/or systems methods to technical problems- Shows novel applications in the arts
期刊最新文献
Hybrid Optimized LMMSE-Based Channel Estimation with Low Power Trellis Coded Modulation Statement of Retraction: An Efficient Resource Management Mechanism Based on Developed Political Optimizer in Fog Computing Ensemble Technique of Deep Learning Model for Identifying Tomato Leaf Diseases Based on Choquet Fuzzy Integral Development of Modified ECC-Based Secured FoG-Assisted Healthcare Data Management System in IoT-Enabled WSN Transformation with Yolo Tiny Network Architecture for Multimodal Fusion in Lung Disease Classification
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1