逻辑FP(Ł,\321»)和两种排序的等式状态

塞拉菲娜·拉彭塔、塞巴斯蒂亚诺·纳波利塔诺、卢卡·斯帕达
第十三届不精确概率国际研讨会论文集:理论与应用,电话:215:280-2872023。

摘要

逻辑{FP({{},Ł)}是由L.Godo和T.Flaminio引入的,作为带有模态的{{{}ukasiewicz逻辑的扩展,用于推理模糊事件的概率。我们证明了{FP({},{)}对于一类称为等式状态它们是格序群上著名状态理论的等式表示。

引用本文


BibTeX公司
@会议记录{pmlr-v215-lapenta23a,title={逻辑{FP}({Ł},{Ý{})和两种排序的等式状态},作者={拉彭塔、塞拉菲纳和纳波利塔诺、塞巴斯蒂亚诺和斯帕达、卢卡},booktitle={第十三届不精确概率国际研讨会论文集:理论与应用},页数={280--287},年份={2023},editor={米兰达、恩里克和蒙特斯、伊格纳西奥和奎盖贝尔、埃里克和万塔吉、芭芭拉},体积={215},series={机器学习研究论文集},月={7月11日至14日},publisher={PMLR},pdf={https://proceedings.mlr.press/v215/lapenta23a/lapenta23a.pdf},网址={https://proceedings.mlr.press/v215/lapenta23a.html},抽象={逻辑{FP(Ł{},Ł)}是由L.Godo和T.Flaminio引入的,作为具有模态的{Ł}ukasiewicz逻辑的扩展,用于推理模糊事件的概率。我们证明了{FP({},{)}对于一类称为等式状态它们是格序群上著名状态理论的等式表示。}}
尾注
%0会议论文%T逻辑FP(Ł,\321»)和两种排序的等式状态%塞拉菲娜·拉彭塔%塞巴斯蒂亚诺·纳波利塔诺%卢卡·斯帕达%第十三届不精确概率国际研讨会论文集:理论与应用%C机器学习研究进展%D 2023年%E恩里克·米兰达%伊格纳西奥·蒙特斯%E Erik Quaeghebeur公司%E芭芭拉·万塔吉%F pmlr-v215-lapenta23a型%我PMLR%电话280-287%单位https://proceedings.mlr.press/v215/lapenta23a.html%第215页%逻辑{FP({{},Ł)}是由L.Godo和T.Flaminio引入的,作为带有模态的{{}ukasiewicz逻辑的扩展,用于推理模糊事件的概率。我们证明了{FP({},{)}对于一类称为等式状态它们是格序群上著名状态理论的等式表示。
亚太地区
Lapenta,S.、Napolitano,S.&Spada,L.(2023)。逻辑FP(ಌ,Ł)和两种排序的等式状态。第十三届不精确概率国际研讨会论文集:理论与应用,英寸机器学习研究进展215:280-287可从https://proceedings.mlr.press/v215/lepenta23a.html。

相关材料