-
题名修正的RDP逻辑系统中的广义矛盾式
被引量：2
- 1
-
-
作者
李顺琴
惠小静
-
机构
延安大学数学与计算机科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2015年第11期50-54,共5页
-
基金
陕西省自然科学基金(No.2014JM1020)
陕西省科技计划社发攻关项目(No.2014ks15-03-07)
+1 种基金
延安市科技计划项目(No.2013ks-03)
延安大学自然科学专项基金(No.YDQ2014-45)
-
文摘
讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。
-
关键词
修正的rdp逻辑系统
广义重言式
广义矛盾式
降级算法
分划
-
Keywords
revised rdp logic system
generalized tautology
generalized contradiction
downgrade algorithm
partition
-
分类号
O141.1
[理学—基础数学]
-
-
题名修正的RDP逻辑系统中子代数的广义重言式理论
被引量：1
- 2
-
-
作者
李顺琴
惠小静
-
机构
延安大学数学与计算机科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2015年第12期49-52,106,共5页
-
基金
陕西省自然科学基金(No.2014JM1020)
陕西省科技计划社发攻关项目(No.2014ks15-03-07)
+1 种基金
延安市科技计划项目(No.2013ks-03)
延安大学自然科学专项基金(No.YDQ2014-45)
-
文摘
讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F（S）关于~同余的一个分划。
-
关键词
修正的rdp逻辑系统
广义重言式
α-矛盾式
子代数
分划
-
Keywords
revised rdp logical system
generalized tautology
α - contradiction
subalgebra
partition
-
分类号
O141.1
[理学—基础数学]
-
-
题名修正的RDP逻辑系统中的广义重言式理论
被引量：1
- 3
-
-
作者
李顺琴
惠小静
-
机构
延安大学数学与计算机科学学院
-
出处
《济南大学学报（自然科学版）》
CAS
北大核心
2015年第4期315-320,共6页
-
基金
国家自然科学基金(11471007)
陕西省自然科学基金(2014JM1020)
陕西省科技计划社发攻关项目(2014ks15-03-07)
-
文摘
提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。
-
关键词
修正的rdp逻辑系统
广义重言式
广义语义MP规则
广义语义HS规则
分划
-
Keywords
revised rdp logic system
generalized tautology
generalized semantic MP rules
generalized semantic HS rules
partition
-
分类号
O141.1
[理学—基础数学]
-
-
题名逻辑系统RDP中子代数的广义重言式理论
被引量：6
- 4
-
-
作者
于鸿丽
吴洪博
-
机构
西安文理学院数学系
陕西师范大学数学与信息科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2011年第32期47-48,64,共3页
-
基金
国家自然科学基金No.10871121
西安文理学院中青年科研基金(No.kyc201040)~~
-
文摘
将RDP逻辑系统中的广义重言式理论进行推广,给出RDP逻辑系统中子代数的广义重言式概念。
-
关键词
rdp逻辑系统
广义重言式
子代数
-
Keywords
rdp logical system
generalized tautology
subalgebra
-
分类号
O141.1
[理学—基础数学]
-
-
题名修正的Gdel逻辑系统中子代数的广义重言式理论
被引量：15
- 5
-
-
作者
李顺琴
王国俊
-
机构
延安大学数学与计算机科学学院
陕西师范大学数学研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2008年第36期58-60,72,共4页
-
基金
国家自然科学基金(No.10331010)
延安大学基金(No.YDK2007-28)~~
-
文摘
将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F(S)关于┐同余的一个分划.
-
关键词
修正的Goedel逻辑系统
广义重言式
α-矛盾式
分划
-
Keywords
revised Goedel logical system
generalized tautology
α-contradiction
partition
-
分类号
O141.1
[理学—基础数学]
-
-
题名知识库维护的结构操作语义方法
- 6
-
-
作者
苏开乐
李未
-
机构
中山大学计算机科学系
北京航空航天大学计算机科学与工程系
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第6期758-766,共9页
-
基金
国家 8 6 3高科技项目基金 !(No.86 3- 30 6 - ZT0 6 - 0 3- 1)
广东省自然科学基金 !(No.970 376 )
南京大学计算机软件新技术国家
-
文摘
关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库 ,该文给出了一个维护和更新的形式转换系统 ,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中 .作为一种特殊情形 ,也得到了一个 R-重构的能行产生机制 .该文给出的转换系统不仅具有可靠性 ,而且也具有完备性 .
-
关键词
知识库
逻辑系统
命题逻辑
R-重构
信念修正
-
Keywords
Knowledge base, logical system, proposition logic, R-reconstruction, belief revision.
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
