期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
标记逻辑的TABLEAU判定过程
1
作者
程晓春
刘叙华
《软件学报》
EI
CSCD
北大核心
1996年第11期698-705,共8页
标记逻辑是一种重要的次协调逻辑，和｜≈是标记逻辑中的２种推理关系．二者都是次协调的，可以用统一的方法处理一致的知识与不一致的知识，是单调的，有基于归结的证明论，但不能保持经典逻辑中合理的推理，如三段论．｜≈是非单...
标记逻辑是一种重要的次协调逻辑，和｜≈是标记逻辑中的２种推理关系．二者都是次协调的，可以用统一的方法处理一致的知识与不一致的知识，是单调的，有基于归结的证明论，但不能保持经典逻辑中合理的推理，如三段论．｜≈是非单调的，在前提一致时等价于经典逻辑的推理关系，但缺少有效的证明论．
展开更多
关键词
标记逻辑
TABLEAU方法
次协调
逻辑
人工智能
在线阅读
下载PDF
职称材料
基于标记逻辑的非单调推理（I）
被引量：
2
2
作者
周生炳
戴汝为
《计算机学报》
EI
CSCD
北大核心
1995年第9期641-649,共9页
我们把标记逻辑定义在一个特殊双格上，通过比较标记选取结论，从而同时捕捉超协调（容错）推理和非单调推理，本文介绍标记逻辑程序的句法与语义构造，提出诱导序列及其极限的概念，给出极限存在的等价条件，并证明一个重要结果，诱导...
我们把标记逻辑定义在一个特殊双格上，通过比较标记选取结论，从而同时捕捉超协调（容错）推理和非单调推理，本文介绍标记逻辑程序的句法与语义构造，提出诱导序列及其极限的概念，给出极限存在的等价条件，并证明一个重要结果，诱导序列基本定理，它是后续讨论的基础。
展开更多
关键词
超协调推理
非单调推理
标记逻辑
在线阅读
下载PDF
职称材料
语体因素对联合关系逻辑结构标记的影响
被引量：
1
3
作者
汪欣欣
《新疆大学学报（哲学社会科学版）》
CSSCI
2017年第2期143-150,共8页
语言对语体有一定的适应性,文章以自然对话、自然独白和学术书面语三种材料中的联合关系逻辑结构标记为对象,并就对其有影响的语体因素进行分析,研究表明对联合关系标记产生影响的因素是呈动态变化的,任何一个微小因素的改变都会导致语...
语言对语体有一定的适应性,文章以自然对话、自然独白和学术书面语三种材料中的联合关系逻辑结构标记为对象,并就对其有影响的语体因素进行分析,研究表明对联合关系标记产生影响的因素是呈动态变化的,任何一个微小因素的改变都会导致语体面貌发生改变,尽管影响语体的因素纷繁复杂,但依旧可以从复杂系统原理的视角进行具体的分析。
展开更多
关键词
逻辑
结构
标记
联合关系
语体因素
复杂系统原理
在线阅读
下载PDF
职称材料
逻辑标记转换系统下预备模拟与稳定划分
4
作者
朱文涛
《计算机科学与探索》
CSCD
北大核心
2015年第7期877-886,共10页
Luttgen等人将进程代数与时序逻辑相结合,提出了逻辑标记转换系统(logic labeled transition system,LLTS)以及相应的精化关系——LLTS预备模拟。为给出判定LLTS预备模拟关系的具体方法,从划分对概念出发,给出了与LLTS预备模拟之间构成...
Luttgen等人将进程代数与时序逻辑相结合,提出了逻辑标记转换系统(logic labeled transition system,LLTS)以及相应的精化关系——LLTS预备模拟。为给出判定LLTS预备模拟关系的具体方法,从划分对概念出发,给出了与LLTS预备模拟之间构成同构的稳定划分对定义,并提出了与判定LLTS预备模拟商集对应的一般化关系最粗划分问题,证明了二者之间具有等价性。由此作为理论基础,给出了一个判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的算子ρ,并验证了该算子的正确性,并以实例演示了该算子的具体操作步骤。
展开更多
关键词
逻辑
标记
转换系统
预备模拟
划分对
划分精化问题
在线阅读
下载PDF
职称材料
不协调知识的表示和推理系统实现
5
作者
朱福喜
朱丽达
《计算机科学》
北大核心
2025年第S1期709-713,共5页
次协调逻辑作为一种非传统逻辑,能够合理地表示和处理不协调知识,但如何实现不协调知识的表示和推理,仍是一个亟待研究的课题。文中采用一种次协调逻辑系统——标记逻辑作为实现不协调知识的表示和推理的模型,以Python作为不协调知识的...
次协调逻辑作为一种非传统逻辑,能够合理地表示和处理不协调知识,但如何实现不协调知识的表示和推理,仍是一个亟待研究的课题。文中采用一种次协调逻辑系统——标记逻辑作为实现不协调知识的表示和推理的模型,以Python作为不协调知识的标记逻辑形式的表示工具,并在此基础上实现不协调知识下的推理。
展开更多
关键词
不协调知识
次协调
逻辑
标记逻辑
PYTHON语言
推理系统
在线阅读
下载PDF
职称材料
面向标记分布学习的标记增强
被引量：
12
6
作者
耿新
徐宁
邵瑞枫
《计算机研究与发展》
EI
CSCD
北大核心
2017年第6期1171-1184,共14页
多标记学习(multi-label learning,MLL)任务处理一个示例对应多个标记的情况,其目标是学习一个从示例到相关标记集合的映射.在MLL中,现有方法一般都是采用均匀标记分布假设,也就是各个相关标记(正标记)对于示例的重要程度都被当作是相等...
多标记学习(multi-label learning,MLL)任务处理一个示例对应多个标记的情况,其目标是学习一个从示例到相关标记集合的映射.在MLL中,现有方法一般都是采用均匀标记分布假设,也就是各个相关标记(正标记)对于示例的重要程度都被当作是相等的.然而,对于许多真实世界中的学习问题,不同相关标记的重要程度往往是不同的.为此,标记分布学习将不同标记的重要程度用标记分布来刻画,已经取得很好的效果.但是很多数据中却仅包含简单的逻辑标记而非标记分布.为解决这一问题,可以通过挖掘训练样本中蕴含的标记重要性差异信息,将逻辑标记转化为标记分布,进而通过标记分布学习有效地提升预测精度.上述将原始逻辑标记提升为标记分布的过程,定义为面向标记分布学习的标记增强.首次提出了标记增强这一概念,给出了标记增强的形式化定义,总结了现有的可以用于标记增强的算法,并进行了对比实验.实验结果表明:使用标记增强能够挖掘出数据中隐含的标记重要性差异信息,并有效地提升MLL的效果.
展开更多
关键词
多
标记
学习
标记
分布学习
标记
增强
逻辑
标记
标记
分布
在线阅读
下载PDF
职称材料
逻辑LTS预备模拟关系的判定算法
7
作者
朱文涛
《计算机工程与应用》
CSCD
北大核心
2016年第17期41-48,共8页
进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来,Gerald Luttgen等人将二者进行结合,提出了逻辑标记转换系统以及相应的精化关系——LLTS预备模拟。提出了一种LLTS预备模拟关系的等价描述方式——泛化预备模拟,并从...
进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来,Gerald Luttgen等人将二者进行结合,提出了逻辑标记转换系统以及相应的精化关系——LLTS预备模拟。提出了一种LLTS预备模拟关系的等价描述方式——泛化预备模拟,并从划分对的角度出发,给出与该描述等价的稳定划分对概念。基于这一概念给出一种判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的理论算法,并证明其正确性。
展开更多
关键词
逻辑
标记
转换系统
预备模拟
划分对
稳定性
判定算法
在线阅读
下载PDF
职称材料
多值知识编译
被引量：
1
8
作者
谷文祥
郭鸿鹤
+2 位作者
殷明浩
王金艳
刘日仙
《东北师大学报（自然科学版）》
CAS
CSCD
北大核心
2011年第4期44-48,共5页
定义了一类新的易处理理论:s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译方法不同的是,它可以对多值知识库进行编译.经过多值编译后,任意查询都可以在多项式时间内得到应答.
关键词
多值
逻辑
知识编译
标记逻辑
EPCCL
在线阅读
下载PDF
职称材料
表达式的覆盖、分解与划分
被引量：
2
9
作者
周生炳
戴汝为
《软件学报》
EI
CSCD
北大核心
1996年第4期223-232,共10页
本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念，得到２个表达式之间覆盖关系的判别准则．对多个表达式，作者提出表达式的分解概念及相应的分解算法，在此基础...
本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念，得到２个表达式之间覆盖关系的判别准则．对多个表达式，作者提出表达式的分解概念及相应的分解算法，在此基础上，本文给出卫个表达式覆盖多个表达式的等价条件．根据集合的划分公式，得到划分表达式的方法．最后定义１个变换把合取式转换为简单表达式，从而方便地把简单表达式的结果推广到合取式．本文是作者提出的一种标记逻辑程序的过程语义的理论基础．
展开更多
关键词
标记逻辑
程序
表达式
覆盖
分解
划分
在线阅读
下载PDF
职称材料
并行与并发程序监测中的时钟系统设计
10
作者
秦怀阳
赵立勇
+1 位作者
吴百锋
彭澄廉
《计算机工程》
CAS
CSCD
北大核心
1997年第S1期8-10,32,共4页
该文讨论了几种逻辑时钟系统和并行及分布式监测系统MS-1中的物理时钟,并比较了它们的优缺点。
关键词
逻辑
时钟
逻辑
时间
标记
物理时钟
事件
事件驱动监测
在线阅读
下载PDF
职称材料
题名
标记逻辑的TABLEAU判定过程
1
作者
程晓春
刘叙华
机构
吉林大学计算机系
吉林大学符号计算与知识工程开放实验室
出处
《软件学报》
EI
CSCD
北大核心
1996年第11期698-705,共8页
基金
国家自然科学基金
国家863高科技项目基金
文摘
标记逻辑是一种重要的次协调逻辑，和｜≈是标记逻辑中的２种推理关系．二者都是次协调的，可以用统一的方法处理一致的知识与不一致的知识，是单调的，有基于归结的证明论，但不能保持经典逻辑中合理的推理，如三段论．｜≈是非单调的，在前提一致时等价于经典逻辑的推理关系，但缺少有效的证明论．
关键词
标记逻辑
TABLEAU方法
次协调
逻辑
人工智能
Keywords
Annotated logic, tableaux, preferential entailment, paraconsistent logic.
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于标记逻辑的非单调推理（I）
被引量：
2
2
作者
周生炳
戴汝为
出处
《计算机学报》
EI
CSCD
北大核心
1995年第9期641-649,共9页
文摘
我们把标记逻辑定义在一个特殊双格上，通过比较标记选取结论，从而同时捕捉超协调（容错）推理和非单调推理，本文介绍标记逻辑程序的句法与语义构造，提出诱导序列及其极限的概念，给出极限存在的等价条件，并证明一个重要结果，诱导序列基本定理，它是后续讨论的基础。
关键词
超协调推理
非单调推理
标记逻辑
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
语体因素对联合关系逻辑结构标记的影响
被引量：
1
3
作者
汪欣欣
机构
南京大学文学院
出处
《新疆大学学报（哲学社会科学版）》
CSSCI
2017年第2期143-150,共8页
基金
国家社科基金项目"现代汉语句子复杂化问题的研究"(11BYY084)
江苏省普通高校学术学位研究生科研创新计划项目"语体因素对逻辑结构标记化的影响"(KYLX16_0015)
南京大学研究生科研创新基金项目"汉语逻辑结构标记化的可视化研究"(2015CW03)
文摘
语言对语体有一定的适应性,文章以自然对话、自然独白和学术书面语三种材料中的联合关系逻辑结构标记为对象,并就对其有影响的语体因素进行分析,研究表明对联合关系标记产生影响的因素是呈动态变化的,任何一个微小因素的改变都会导致语体面貌发生改变,尽管影响语体的因素纷繁复杂,但依旧可以从复杂系统原理的视角进行具体的分析。
关键词
逻辑
结构
标记
联合关系
语体因素
复杂系统原理
Keywords
Register Variables, Logical Structure Markers, Conjunctive, Register Behavior
分类号
H146 [语言文字—汉语]
在线阅读
下载PDF
职称材料
题名
逻辑标记转换系统下预备模拟与稳定划分
4
作者
朱文涛
机构
南京航空航天大学计算机科学与技术学院
出处
《计算机科学与探索》
CSCD
北大核心
2015年第7期877-886,共10页
基金
国家自然科学基金~~
文摘
Luttgen等人将进程代数与时序逻辑相结合,提出了逻辑标记转换系统(logic labeled transition system,LLTS)以及相应的精化关系——LLTS预备模拟。为给出判定LLTS预备模拟关系的具体方法,从划分对概念出发,给出了与LLTS预备模拟之间构成同构的稳定划分对定义,并提出了与判定LLTS预备模拟商集对应的一般化关系最粗划分问题,证明了二者之间具有等价性。由此作为理论基础,给出了一个判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的算子ρ,并验证了该算子的正确性,并以实例演示了该算子的具体操作步骤。
关键词
逻辑
标记
转换系统
预备模拟
划分对
划分精化问题
Keywords
logic labeled transition system
ready simulation
partition pair
partition refinement problems
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
不协调知识的表示和推理系统实现
5
作者
朱福喜
朱丽达
机构
武汉学院人工智能应用研究中心
华中农业大学信息学院
出处
《计算机科学》
北大核心
2025年第S1期709-713,共5页
基金
湖北省教育厅哲学社会科学研究项目(20G102)。
文摘
次协调逻辑作为一种非传统逻辑,能够合理地表示和处理不协调知识,但如何实现不协调知识的表示和推理,仍是一个亟待研究的课题。文中采用一种次协调逻辑系统——标记逻辑作为实现不协调知识的表示和推理的模型,以Python作为不协调知识的标记逻辑形式的表示工具,并在此基础上实现不协调知识下的推理。
关键词
不协调知识
次协调
逻辑
标记逻辑
PYTHON语言
推理系统
Keywords
Inconsistent knowledge
Paraconsistent logic
Annotated logic
Python language
Reasoning system
分类号
G645 [文化科学—高等教育学]
在线阅读
下载PDF
职称材料
题名
面向标记分布学习的标记增强
被引量：
12
6
作者
耿新
徐宁
邵瑞枫
机构
东南大学计算机科学与工程学院
计算机网络和信息集成教育部重点实验室(东南大学)
软件新技术与产业化协同创新中心(南京大学)
无线通信技术协同创新中心(东南大学)
出处
《计算机研究与发展》
EI
CSCD
北大核心
2017年第6期1171-1184,共14页
基金
国家自然科学基金优秀青年科学基金项目(61622203)
江苏省自然科学基金杰出青年基金项目(BK20140022)~~
文摘
多标记学习(multi-label learning,MLL)任务处理一个示例对应多个标记的情况,其目标是学习一个从示例到相关标记集合的映射.在MLL中,现有方法一般都是采用均匀标记分布假设,也就是各个相关标记(正标记)对于示例的重要程度都被当作是相等的.然而,对于许多真实世界中的学习问题,不同相关标记的重要程度往往是不同的.为此,标记分布学习将不同标记的重要程度用标记分布来刻画,已经取得很好的效果.但是很多数据中却仅包含简单的逻辑标记而非标记分布.为解决这一问题,可以通过挖掘训练样本中蕴含的标记重要性差异信息,将逻辑标记转化为标记分布,进而通过标记分布学习有效地提升预测精度.上述将原始逻辑标记提升为标记分布的过程,定义为面向标记分布学习的标记增强.首次提出了标记增强这一概念,给出了标记增强的形式化定义,总结了现有的可以用于标记增强的算法,并进行了对比实验.实验结果表明:使用标记增强能够挖掘出数据中隐含的标记重要性差异信息,并有效地提升MLL的效果.
关键词
多
标记
学习
标记
分布学习
标记
增强
逻辑
标记
标记
分布
Keywords
multi-label learning(MLL)
label distribution learning (LDL)
label enhancement
logical label
label distribution
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
逻辑LTS预备模拟关系的判定算法
7
作者
朱文涛
机构
南京航空航天大学计算机科学与技术学院
出处
《计算机工程与应用》
CSCD
北大核心
2016年第17期41-48,共8页
基金
国家自然科学基金(No.60973045)
文摘
进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来,Gerald Luttgen等人将二者进行结合,提出了逻辑标记转换系统以及相应的精化关系——LLTS预备模拟。提出了一种LLTS预备模拟关系的等价描述方式——泛化预备模拟,并从划分对的角度出发,给出与该描述等价的稳定划分对概念。基于这一概念给出一种判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的理论算法,并证明其正确性。
关键词
逻辑
标记
转换系统
预备模拟
划分对
稳定性
判定算法
Keywords
logic Labeled Transition System(LTS)
ready simulation
partition pair
stability
determining algorithm
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
多值知识编译
被引量：
1
8
作者
谷文祥
郭鸿鹤
殷明浩
王金艳
刘日仙
机构
东北师范大学计算机科学与信息技术学院
金华职业技术学院信息工程学院
出处
《东北师大学报（自然科学版）》
CAS
CSCD
北大核心
2011年第4期44-48,共5页
基金
国家自然科学基金资助项目(60803102
61070084
+1 种基金
60573067)
浙江省教育厅科研计划项目(Y200908315)
文摘
定义了一类新的易处理理论:s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译方法不同的是,它可以对多值知识库进行编译.经过多值编译后,任意查询都可以在多项式时间内得到应答.
关键词
多值
逻辑
知识编译
标记逻辑
EPCCL
Keywords
multiple-valued logic
knowledge compilation
signed logic
EPCCL
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
表达式的覆盖、分解与划分
被引量：
2
9
作者
周生炳
戴汝为
机构
中国科学院自动化研究所
出处
《软件学报》
EI
CSCD
北大核心
1996年第4期223-232,共10页
基金
国家攀登计划
国家863高科技项目
文摘
本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念，得到２个表达式之间覆盖关系的判别准则．对多个表达式，作者提出表达式的分解概念及相应的分解算法，在此基础上，本文给出卫个表达式覆盖多个表达式的等价条件．根据集合的划分公式，得到划分表达式的方法．最后定义１个变换把合取式转换为简单表达式，从而方便地把简单表达式的结果推广到合取式．本文是作者提出的一种标记逻辑程序的过程语义的理论基础．
关键词
标记逻辑
程序
表达式
覆盖
分解
划分
Keywords
Generated set,annotated logic program,covering,decomposition, and partition of expression,disagreement matrix.
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
并行与并发程序监测中的时钟系统设计
10
作者
秦怀阳
赵立勇
吴百锋
彭澄廉
机构
复旦大学计算机科学系
出处
《计算机工程》
CAS
CSCD
北大核心
1997年第S1期8-10,32,共4页
基金
科技预研基金资助
文摘
该文讨论了几种逻辑时钟系统和并行及分布式监测系统MS-1中的物理时钟,并比较了它们的优缺点。
关键词
逻辑
时钟
逻辑
时间
标记
物理时钟
事件
事件驱动监测
Keywords
Logical clock
Logical time stamp
Physical clock
Event
Event-driven monitor
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
标记逻辑的TABLEAU判定过程
程晓春
刘叙华
《软件学报》
EI
CSCD
北大核心
1996
0
在线阅读
下载PDF
职称材料
2
基于标记逻辑的非单调推理（I）
周生炳
戴汝为
《计算机学报》
EI
CSCD
北大核心
1995
2
在线阅读
下载PDF
职称材料
3
语体因素对联合关系逻辑结构标记的影响
汪欣欣
《新疆大学学报（哲学社会科学版）》
CSSCI
2017
1
在线阅读
下载PDF
职称材料
4
逻辑标记转换系统下预备模拟与稳定划分
朱文涛
《计算机科学与探索》
CSCD
北大核心
2015
0
在线阅读
下载PDF
职称材料
5
不协调知识的表示和推理系统实现
朱福喜
朱丽达
《计算机科学》
北大核心
2025
0
在线阅读
下载PDF
职称材料
6
面向标记分布学习的标记增强
耿新
徐宁
邵瑞枫
《计算机研究与发展》
EI
CSCD
北大核心
2017
12
在线阅读
下载PDF
职称材料
7
逻辑LTS预备模拟关系的判定算法
朱文涛
《计算机工程与应用》
CSCD
北大核心
2016
0
在线阅读
下载PDF
职称材料
8
多值知识编译
谷文祥
郭鸿鹤
殷明浩
王金艳
刘日仙
《东北师大学报（自然科学版）》
CAS
CSCD
北大核心
2011
1
在线阅读
下载PDF
职称材料
9
表达式的覆盖、分解与划分
周生炳
戴汝为
《软件学报》
EI
CSCD
北大核心
1996
2
在线阅读
下载PDF
职称材料
10
并行与并发程序监测中的时钟系统设计
秦怀阳
赵立勇
吴百锋
彭澄廉
《计算机工程》
CAS
CSCD
北大核心
1997
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
