期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
8
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于十元格蕴涵代数的知识表示方法
被引量:
6
1
作者
郑宏亮
徐本强
邹丽
《计算机应用与软件》
CSCD
北大核心
2013年第1期37-39,66,共4页
不确定知识表示中常使用语言值来表达其真实程度和可信程度。为处理具有语言值可信度的不确定性知识表示问题,基于十元格蕴涵代数,建立一个十元语言值可信度因子知识表示模型,并实现了具有语言值可信度因子的知识推理。所提出的知识表...
不确定知识表示中常使用语言值来表达其真实程度和可信程度。为处理具有语言值可信度的不确定性知识表示问题,基于十元格蕴涵代数,建立一个十元语言值可信度因子知识表示模型,并实现了具有语言值可信度因子的知识推理。所提出的知识表示方法可以有效地表达具有可比性或不可比性的语言值不确定性信息。实例说明所提出的方法在表示知识时能够尽量模拟具有语言值信息的人类思维模式,有利于对不确定性知识的智能处理。
展开更多
关键词
知识表示
语言值可信度因子
格蕴涵代数
在线阅读
下载PDF
职称材料
程度化语言值链上的语言真值概念格及其应用
被引量:
3
2
作者
杨丽
王宇辉
徐扬
《计算机应用》
CSCD
北大核心
2012年第9期2523-2526,共4页
为了给自然语言的直接处理提供一个可靠的逻辑基础和运算模型,建立了程度化语言值链上的Lukasiewicz蕴涵代数和语言真值概念格。具体分析了实际问题中用于刻画确定性数量值的自然语言,将其等价地表示为程度化语言值集合,并定义了偏序关...
为了给自然语言的直接处理提供一个可靠的逻辑基础和运算模型,建立了程度化语言值链上的Lukasiewicz蕴涵代数和语言真值概念格。具体分析了实际问题中用于刻画确定性数量值的自然语言,将其等价地表示为程度化语言值集合,并定义了偏序关系及二元运算;其次建立了程度化语言值链与自然语言集合间的一一对应关系,并在自然语言集合所形成的链型格蕴涵代数上构造了具体的语言真值概念格;进而通过该语言真值概念格在车辆运输安全性能的语言信息分析系统中的应用,验证了该模型用于自然语言直接处理的可行性和结构图形的可读性。
展开更多
关键词
概念格
语言真值概念格
自然语言
程度化语言值链
格蕴涵代数
在线阅读
下载PDF
职称材料
基于十元格蕴涵代数的语言值评价方法
被引量:
4
3
作者
刘新
殷明娥
邹丽
《辽宁工程技术大学学报(自然科学版)》
CAS
北大核心
2010年第5期867-870,共4页
为了解决评价分析中同时具有可比性和不可比性的语言值问题,采用格蕴涵代数的方法去处理语言值。基于十元语言值格蕴涵代数,建立了一个新的语言值教学评价系统模型。该方法能够很好地表达和处理评价问题中的可比信息和不可比信息,且具...
为了解决评价分析中同时具有可比性和不可比性的语言值问题,采用格蕴涵代数的方法去处理语言值。基于十元语言值格蕴涵代数,建立了一个新的语言值教学评价系统模型。该方法能够很好地表达和处理评价问题中的可比信息和不可比信息,且具有丰富的适用于语言值推理的蕴涵运算。在评价分析过程中语言值直接参与推理和运算。研究结果表明所提出的方法在教学评价系统对处理语言值推理时更有效。该成果将有助于推动智能评价系统的实现。
展开更多
关键词
格蕴涵代数
语言值
教学评价
不可比语言值
在线阅读
下载PDF
职称材料
语言真值格值命题逻辑系统中广义文字的归结判定
被引量:
7
4
作者
许伟涛
徐扬
《计算机科学》
CSCD
北大核心
2013年第2期237-240,273,共5页
自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支。基于语言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的逻辑基础。给出了语言真值格...
自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支。基于语言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的逻辑基础。给出了语言真值格蕴涵代数LV(n×2)的一些性质,在基于十八元语言真值格蕴涵代数LV(9×2)的格值命题逻辑系统LV(9×2)P(X)框架下,刻画了1-IESF和2-IESF型对应广义文字的结构,给出了其广义文字的可归结性。这些工作将为基于语言真值格值逻辑系统的归结自动推理提供重要的研究基础。
展开更多
关键词
自动推理
格值逻辑系统
语言真值格蕴涵代数
广义文字
归结
在线阅读
下载PDF
职称材料
基于概念格的语言真值不确定性推理
被引量:
3
5
作者
杨丽
徐扬
《计算机应用研究》
CSCD
北大核心
2009年第2期553-554,576,共3页
利用概念格来实现不确定性推理的过程中,给出了一个具体的语言真值格蕴涵代数的完备结构;作为概念格的扩充理论,提出了用于处理不确定性信息的语言真值概念格,并基于语言真值概念格给出了内逼近不确定性推理规则和外逼近不确定性推理规...
利用概念格来实现不确定性推理的过程中,给出了一个具体的语言真值格蕴涵代数的完备结构;作为概念格的扩充理论,提出了用于处理不确定性信息的语言真值概念格,并基于语言真值概念格给出了内逼近不确定性推理规则和外逼近不确定性推理规则,进而验证了这两种规则的还原性。
展开更多
关键词
不确定性推理
概念格
格蕴涵代数
语言真值概念格
在线阅读
下载PDF
职称材料
语言真值格值命题逻辑中的α-语义归结方法
被引量:
1
6
作者
张家锋
徐扬
陈琴
《计算机科学》
CSCD
北大核心
2015年第11期123-129,共7页
语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推...
语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推理方法。首先给出了语言真值格值命题逻辑系统的α-语义归结与LnP(X)中相应归结水平的语义归结之间的等价性,并通过实例说明其有效性。接着,给出了语言真值格值命题逻辑系统的α-语义归结算法,并证明了该算法的可靠性和完备性。
展开更多
关键词
自动推理
语义归结
语言真值格蕴涵代数
格值逻辑
在线阅读
下载PDF
职称材料
一种基于语言值评价的试卷质量分析方法
被引量:
2
7
作者
顾长林
李晓楠
+2 位作者
潘畅
徐莹莹
邹丽
《济南大学学报(自然科学版)》
北大核心
2017年第3期188-193,共6页
为了能够处理试卷质量评价中既有可比性又有不可比性的模糊语言值信息,在语言值格蕴涵代数的基础上,提出语言值加权平均算子并讨论其相关性质,建立一套试卷质量评价的指标体系,构建一种基于语言值评价的试卷质量分析模型。在该模型中,...
为了能够处理试卷质量评价中既有可比性又有不可比性的模糊语言值信息,在语言值格蕴涵代数的基础上,提出语言值加权平均算子并讨论其相关性质,建立一套试卷质量评价的指标体系,构建一种基于语言值评价的试卷质量分析模型。在该模型中,直接利用语言值评价信息对试卷质量综合评价,并得到具有语言值程度的评价结果,使得试卷质量评价过程更加符合人类的自然语言习惯和思维推理过程;用实例说明了该方法的有效性和实用性。
展开更多
关键词
语言值评价
格蕴涵代数
加权平均算子
试卷质量评价
在线阅读
下载PDF
职称材料
语言真值格蕴涵代数的蕴涵不可约元
8
作者
赖家俊
徐扬
《电子学报》
EI
CAS
CSCD
北大核心
2014年第10期1998-2003,共6页
本文提出了语言真值格蕴涵代数的蕴涵不可约元、有限蕴涵分解元、有限蕴涵分解不可约元的定义,并研究了它们的结构特征,证明了语言真值格蕴涵代数中的部分元素可由蕴涵不可约元通过张量积运算生成.
关键词
语言真值格蕴涵代数
蕴涵不可约元
有限蕴涵分解元
有限蕴涵分解不可约元
在线阅读
下载PDF
职称材料
题名
一种基于十元格蕴涵代数的知识表示方法
被引量:
6
1
作者
郑宏亮
徐本强
邹丽
机构
辽宁师范大学计算机与信息技术学院
出处
《计算机应用与软件》
CSCD
北大核心
2013年第1期37-39,66,共4页
基金
国家自然科学基金项目(61105059
61175055
+2 种基金
61173100)
中国博士后科学基金项目(2012M510815)
辽宁省杰出青年学者计划项目(JQ2011116)
文摘
不确定知识表示中常使用语言值来表达其真实程度和可信程度。为处理具有语言值可信度的不确定性知识表示问题,基于十元格蕴涵代数,建立一个十元语言值可信度因子知识表示模型,并实现了具有语言值可信度因子的知识推理。所提出的知识表示方法可以有效地表达具有可比性或不可比性的语言值不确定性信息。实例说明所提出的方法在表示知识时能够尽量模拟具有语言值信息的人类思维模式,有利于对不确定性知识的智能处理。
关键词
知识表示
语言值可信度因子
格蕴涵代数
Keywords
Knowledge representation
linguistic
value credibility factor
lattice
implication
algebra
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
程度化语言值链上的语言真值概念格及其应用
被引量:
3
2
作者
杨丽
王宇辉
徐扬
机构
华北水利水电学院数学与信息科学学院
西南交通大学交通运输与物流学院
西南交通大学智能控制开发中心
出处
《计算机应用》
CSCD
北大核心
2012年第9期2523-2526,共4页
基金
国家自然科学基金资助项目(71101049
61175055)
+1 种基金
四川省科技厅应用基础研究项目(08JC0068)
四川省科技支撑计划项目(2011FZ0051)
文摘
为了给自然语言的直接处理提供一个可靠的逻辑基础和运算模型,建立了程度化语言值链上的Lukasiewicz蕴涵代数和语言真值概念格。具体分析了实际问题中用于刻画确定性数量值的自然语言,将其等价地表示为程度化语言值集合,并定义了偏序关系及二元运算;其次建立了程度化语言值链与自然语言集合间的一一对应关系,并在自然语言集合所形成的链型格蕴涵代数上构造了具体的语言真值概念格;进而通过该语言真值概念格在车辆运输安全性能的语言信息分析系统中的应用,验证了该模型用于自然语言直接处理的可行性和结构图形的可读性。
关键词
概念格
语言真值概念格
自然语言
程度化语言值链
格蕴涵代数
Keywords
concept
lattice
linguistic
truth-valued
concept
lattice
natural language
graded
linguistic
values chain
lattice
implication
algebra
分类号
O159 [理学—基础数学]
TP182 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于十元格蕴涵代数的语言值评价方法
被引量:
4
3
作者
刘新
殷明娥
邹丽
机构
辽宁师范大学数学学院
辽宁师范大学计算机与信息技术学院
出处
《辽宁工程技术大学学报(自然科学版)》
CAS
北大核心
2010年第5期867-870,共4页
基金
国家自然科学基金资助项目(60875034
60873042)
文摘
为了解决评价分析中同时具有可比性和不可比性的语言值问题,采用格蕴涵代数的方法去处理语言值。基于十元语言值格蕴涵代数,建立了一个新的语言值教学评价系统模型。该方法能够很好地表达和处理评价问题中的可比信息和不可比信息,且具有丰富的适用于语言值推理的蕴涵运算。在评价分析过程中语言值直接参与推理和运算。研究结果表明所提出的方法在教学评价系统对处理语言值推理时更有效。该成果将有助于推动智能评价系统的实现。
关键词
格蕴涵代数
语言值
教学评价
不可比语言值
Keywords
10-element
lattice
implication
algebra
linguistic
value
teaching evaluation
incomparable
linguistic
value
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
语言真值格值命题逻辑系统中广义文字的归结判定
被引量:
7
4
作者
许伟涛
徐扬
机构
河南工业大学信息科学与工程学院
西南交通大学数学学院
出处
《计算机科学》
CSCD
北大核心
2013年第2期237-240,273,共5页
基金
国家自然科学基金(61175055)
国家自然科学青年基金项目(61100046)
河南工业大学高层次人才基金项目(2012BS012)资助
文摘
自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支。基于语言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的逻辑基础。给出了语言真值格蕴涵代数LV(n×2)的一些性质,在基于十八元语言真值格蕴涵代数LV(9×2)的格值命题逻辑系统LV(9×2)P(X)框架下,刻画了1-IESF和2-IESF型对应广义文字的结构,给出了其广义文字的可归结性。这些工作将为基于语言真值格值逻辑系统的归结自动推理提供重要的研究基础。
关键词
自动推理
格值逻辑系统
语言真值格蕴涵代数
广义文字
归结
Keywords
Automated reasoning,
lattice
-valued logic system,
linguistic truth-valued lattice implication algebra
, Genera-lized literal, Resolution
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于概念格的语言真值不确定性推理
被引量:
3
5
作者
杨丽
徐扬
机构
西南交通大学智能控制开发中心
出处
《计算机应用研究》
CSCD
北大核心
2009年第2期553-554,576,共3页
基金
国家自然科学基金资助项目(60474022
60875034)
高等学校博士学科点专项科研基金资助项目(20060613007)
文摘
利用概念格来实现不确定性推理的过程中,给出了一个具体的语言真值格蕴涵代数的完备结构;作为概念格的扩充理论,提出了用于处理不确定性信息的语言真值概念格,并基于语言真值概念格给出了内逼近不确定性推理规则和外逼近不确定性推理规则,进而验证了这两种规则的还原性。
关键词
不确定性推理
概念格
格蕴涵代数
语言真值概念格
Keywords
uncertainty reasoning
concept
lattice
lattice
implication
algebra
linguistic
truth-valued
concept
lattice
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
语言真值格值命题逻辑中的α-语义归结方法
被引量:
1
6
作者
张家锋
徐扬
陈琴
机构
贵州民族大学理学院
西南交通大学智能控制开发中心
贵州财经大学信息学院
出处
《计算机科学》
CSCD
北大核心
2015年第11期123-129,共7页
基金
国家自然科学基金项目(61175055
61305074)
+1 种基金
贵州省科学技术基金项目(黔科合J字LKB[2012]02号
黔科合J字[2010]2097号)资助
文摘
语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推理方法。首先给出了语言真值格值命题逻辑系统的α-语义归结与LnP(X)中相应归结水平的语义归结之间的等价性,并通过实例说明其有效性。接着,给出了语言真值格值命题逻辑系统的α-语义归结算法,并证明了该算法的可靠性和完备性。
关键词
自动推理
语义归结
语言真值格蕴涵代数
格值逻辑
Keywords
Automated reasoning,Semantic resolution,
linguistic truth-valued lattice implication algebra
,
lattice
-valued logic
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
一种基于语言值评价的试卷质量分析方法
被引量:
2
7
作者
顾长林
李晓楠
潘畅
徐莹莹
邹丽
机构
辽宁师范大学计算机与信息技术学院
出处
《济南大学学报(自然科学版)》
北大核心
2017年第3期188-193,共6页
基金
辽宁省自然科学基金项目(2015020059)
文摘
为了能够处理试卷质量评价中既有可比性又有不可比性的模糊语言值信息,在语言值格蕴涵代数的基础上,提出语言值加权平均算子并讨论其相关性质,建立一套试卷质量评价的指标体系,构建一种基于语言值评价的试卷质量分析模型。在该模型中,直接利用语言值评价信息对试卷质量综合评价,并得到具有语言值程度的评价结果,使得试卷质量评价过程更加符合人类的自然语言习惯和思维推理过程;用实例说明了该方法的有效性和实用性。
关键词
语言值评价
格蕴涵代数
加权平均算子
试卷质量评价
Keywords
linguistic
valued evaluation
lattice
implication
algebra
weighted averaging operator
evaluation of examination paper quality
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
语言真值格蕴涵代数的蕴涵不可约元
8
作者
赖家俊
徐扬
机构
西南交通大学基础课部(峨眉校区)
西南交通大学智能控制开发中心(九里校区)
出处
《电子学报》
EI
CAS
CSCD
北大核心
2014年第10期1998-2003,共6页
基金
国家自然科学基金(No.60875034
No.61175055
+1 种基金
No.11171308)
四川省科技支撑计划(No.2011FZ0051)
文摘
本文提出了语言真值格蕴涵代数的蕴涵不可约元、有限蕴涵分解元、有限蕴涵分解不可约元的定义,并研究了它们的结构特征,证明了语言真值格蕴涵代数中的部分元素可由蕴涵不可约元通过张量积运算生成.
关键词
语言真值格蕴涵代数
蕴涵不可约元
有限蕴涵分解元
有限蕴涵分解不可约元
Keywords
linguistic truth-valued lattice implication algebra
implication
al irreducible element
finite
implication
al decomposable element
finite
implication
al decomposable irreducible element
分类号
O141.1 [理学—基础数学]
O153 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于十元格蕴涵代数的知识表示方法
郑宏亮
徐本强
邹丽
《计算机应用与软件》
CSCD
北大核心
2013
6
在线阅读
下载PDF
职称材料
2
程度化语言值链上的语言真值概念格及其应用
杨丽
王宇辉
徐扬
《计算机应用》
CSCD
北大核心
2012
3
在线阅读
下载PDF
职称材料
3
基于十元格蕴涵代数的语言值评价方法
刘新
殷明娥
邹丽
《辽宁工程技术大学学报(自然科学版)》
CAS
北大核心
2010
4
在线阅读
下载PDF
职称材料
4
语言真值格值命题逻辑系统中广义文字的归结判定
许伟涛
徐扬
《计算机科学》
CSCD
北大核心
2013
7
在线阅读
下载PDF
职称材料
5
基于概念格的语言真值不确定性推理
杨丽
徐扬
《计算机应用研究》
CSCD
北大核心
2009
3
在线阅读
下载PDF
职称材料
6
语言真值格值命题逻辑中的α-语义归结方法
张家锋
徐扬
陈琴
《计算机科学》
CSCD
北大核心
2015
1
在线阅读
下载PDF
职称材料
7
一种基于语言值评价的试卷质量分析方法
顾长林
李晓楠
潘畅
徐莹莹
邹丽
《济南大学学报(自然科学版)》
北大核心
2017
2
在线阅读
下载PDF
职称材料
8
语言真值格蕴涵代数的蕴涵不可约元
赖家俊
徐扬
《电子学报》
EI
CAS
CSCD
北大核心
2014
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部