代数语义

作品数：19被引量：32H指数：2
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：代飞左卫兵李勇坚于倩郁涌更多>>
相关机构：云南大学华北水利水电大学上海交通大学华东师范大学更多>>
相关期刊：《西北师范大学学报（自然科学版）》《科技资讯》《计算机工程与应用》《电子学报》更多>>
相关基金：国家自然科学基金河南省教育厅自然科学基金河南省教育厅人文社会科学研究项目河南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于BR0代数语义的模糊命题逻辑系统的随机发散度与近似推理
《西北师范大学学报(自然科学版)》2025年第2期85-90,共6页何银 惠小静 彭晨雪 
国家自然科学基金资助项目(12261090,12301456)。
基于BR0代数语义,在赋值域为[0,1]的模糊命题逻辑系统中提出了公式的p-随机真度,同时引入公式间的p-随机相似度和p-随机伪距离的概念,建立了p-随机逻辑度量空间(F(S),d_(p)).在p-随机逻辑度量空间(F(S),d_(p))中提出了理论的p-随机发散...
关键词：模糊逻辑 p-随机真度 p-随机逻辑度量空间 p-随机发散度 近似推理 
一元子结构谓词逻辑中相似的代数语义
《电子学报》2023年第4期956-964,共9页王军涛 王梅 折延宏 
国家自然科学基金(No.12001423,No.61976244,No.12171294);陕西省自然科学基础研究计划(No.2020JQ-762,No.2021JQ-580);陕西省教育厅自然科学研究专项计划(No.20JK0626)。
借助一元模糊谓词逻辑与S5型模糊模态逻辑的等价性,建立了一元子结构谓词逻辑中相似联结词的代数语义,引入了相似一元剩余格,并研究了其基本的代数性质.其次,研究了相似一元剩余格上的相似滤子,刻画了可表示的相似一元剩余格.最后,引入...
关键词：一元子结构谓词逻辑 相似一元剩余格 相似滤子 完备性 半线性扩张 
可换逻辑的代数语义综述
《纯粹数学与应用数学》2022年第1期59-71,共13页杨小飞 辛小龙 
国家自然科学基金(11971384).
主要介绍九种可换逻辑的语义系统,它们是布尔代数,MV-代数,BL-代数,MTL-代数,剩余格,Hoops,半Hoops,EQ-代数和相等代数,并给出相应的例子.进而结合作者的工作介绍了这些代数系统在概率、格序群和拓扑中的研究进展,同时给出如下看法:布...
关键词：逻辑 语义系统 剩余结构 拓扑 格序群 
相干逻辑的三种语义解释
《逻辑学研究》2018年第3期44-57,共14页贾青 
国家社科基金重大项目(12&ZD119)
基本正系统B_+是若干相干逻辑正系统的基础,通过添加新的公理模式就能在B_+的基础上得到一系列不同的相干逻辑正系统。Meyer和Routley(1972)以及Routley和Meyer(1972)分别给出了B_+及其一系列扩充的代数语义和关系语义,Meyer和Routley(1...
关键词：相干逻辑 推理语义 代数语义 关系语义 
一种基于代数语义的软件体系结构求精方法
《计算机科学》2017年第7期141-146,共6页林雷蕾 周华 代飞 何臻力 沈勇 康洪炜 
国家自然科学基金项目(61462095);云南省高新技术产业发展项目(云发改高技[2012]1956号);云南省中青年学术和技术带头人后备人才培养(C6143002);云南省应用基础研究计划项目:过程编排定义和可实现性研究(2016FB102);云南省教育厅科学研究基金研究生项目(2017YJS107);云南省软件工程重点实验室专项研究项目(2016SE202)资助
软件体系结构是引导需求到实现的桥梁,目前在软件体系结构建模方法中主要分为形式化和非形式化两种。针对大型分布式系统的体系结构采用Petri网进行建模,兼顾了可视化操作和形式化的准确性,同时利用细化求精操作建立体系结构的层次模型...
关键词：体系结构 进程代数 构件重用 ACP PETRI网 
MTL代数语义上逻辑公式的概率真度被引量：8
《电子学报》2015年第2期293-298,共6页左卫兵 
国家自然科学基金(No.11201145);河南省教育厅自然科学基金(No.13A110719);河南省教育厅人文社会科学研究项目(No.2013-QN-295)
基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计...
关键词：MTL代数 L-赋值 概率真度 概率逻辑度量空间 程度化推理 
基于MV代数语义的格值逻辑的程度化方法被引量：4
《电子学报》2013年第10期2035-2040,共6页左卫兵 
河南省自然科学基金(No.112300410040);河南省教育厅自然科学基金(No.2011A110012;No.13A110719);河南省高等学校青年骨干教师资助计划(No.2011GGJS-097)
基于MV代数(Many-Valued algebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理....
关键词：MV代数 格值逻辑 概率真度 概率逻辑度量空间 近似推理 
自然语言语义形式化二维视角
《福建电脑》2012年第5期54-56,72,共4页尹兰 王家玮 
本文从语言学和代数语义学两个角度综述了其形式化特点,探讨了自然语言的形式化问题,探讨了自然语言形式化的障碍和局限性,对自然语言形式语义框架下的对语义范畴提出了一些研究策略。
关键词：语义结构 代数语义 范畴 
一种软件演化过程模型的代数语义被引量：13
《软件学报》2012年第4期846-863,共18页代飞 李彤 谢仲文 于倩 卢萍 郁涌 赵娜 
国家自然科学基金(60963007);云南省软件工程重点实验室开放基金(2010KS01;2011SE04)
随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代...
关键词：软件演化过程 过程验证 代数语义 PETRI网 ACP(algebra of COMMUNICATING processes) 
一种AOP方面的代数语义
《计算机科学与探索》2011年第10期932-941,共10页古思山 蔡树彬 李师贤 
广东省自然科学基金No.10351806001000000;广东省高校优秀青年创新人才培养计划项目No.LYM09121;深港创新圈项目No.ZYB200907060012A;深圳市科技计划项目No.JC201005280434A~~
面向方面程序设计可以模块化横切关注点,因此受到工业界及学术界的广泛关注。目前模块化横切关注点几乎成为面向方面程序设计的代名词,而且有不少人士狭隘地将面向方面程序设计认为是面向对象程序设计的延续、扩展或补充。回顾了面向方...
关键词：面向方面程序设计(AOP) 方面 语义 精化 同构 等价替换 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部