检索结果-维普期刊中文期刊服务平台

修正的Gdel逻辑系统中子代数的广义重言式理论被引量：15: 1; 作者李顺琴王国俊《计算机工程与应用》 CSCD 北大核心 2008年第36期58-60,72,共4页; 将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F(S)关于┐同余的一个分划.; 关键词修正的goedel逻辑系统广义重言式 α-矛盾式分划; 在线阅读下载PDF 职称材料

修正的RDP逻辑系统中的广义矛盾式被引量：2: 2; 作者李顺琴惠小静《计算机工程与应用》 CSCD 北大核心 2015年第11期50-54,共5页; 讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。; 关键词修正的RDP逻辑系统广义重言式广义矛盾式降级算法分划; 在线阅读下载PDF 职称材料

修正的RDP逻辑系统中子代数的广义重言式理论被引量：1: 3; 作者李顺琴惠小静《计算机工程与应用》 CSCD 北大核心 2015年第12期49-52,106,共5页; 讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F（S）关于~同余的一个分划。; 关键词修正的RDP逻辑系统广义重言式 α-矛盾式子代数分划; 在线阅读下载PDF 职称材料

修正的RDP逻辑系统中的广义重言式理论被引量：1: 4; 作者李顺琴惠小静《济南大学学报（自然科学版）》 CAS 北大核心 2015年第4期315-320,共6页; 提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。; 关键词修正的RDP逻辑系统广义重言式广义语义MP规则广义语义HS规则分划; 在线阅读下载PDF 职称材料

Gdel逻辑系统中F(S)的一个分划及其应用被引量：17: 5; 作者吴洪博阎满富《工程数学学报》 CSCD 北大核心 2001年第4期61-68,共8页; 将王国俊教授于 1997年以来在逻辑系统 W、W、Wk中引入的广义重言式理论加以扩充、推广 ,引入α 矛盾式等概念并应用于G¨odel逻辑系统 G、G、Gn中 ,得到了 (1)在逻辑系统 G、G 中 ,重言式不可能由对非重言式进行有限次升级算法... 展开更多; 关键词模糊逻辑语义广义重言式广义矛盾式升级算法分划降级算法 goedel逻辑系统; 在线阅读下载PDF 职称材料

Gdel逻辑系统中广义语义HS规划和广义语义MP规则被引量：8: 6; 作者吴洪博阎满富《工程数学学报》 CSCD 北大核心 2003年第3期56-62,共7页; 将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G¨odel逻辑系统中,讨论了G¨odel逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α]-HS)规则,语义([α+]-MP)规则,语义([α+]-HS)规则的性质,使得对G¨o... 展开更多; 关键词模糊逻辑 goedel逻辑系统广义重言式广义语义MP规则广义语义HS规则; 在线阅读下载PDF 职称材料

知识库维护的结构操作语义方法: 7; 作者苏开乐李未《软件学报》 EI CSCD 北大核心 2000年第6期758-766,共9页; 关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库 ,该文给出了一个维护和更新的形式转换系统 ,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中 .作为一种特殊情形 ,也得到了一个 R-重构的能行... 展开更多; 关键词知识库逻辑系统命题逻辑 R-重构信念修正; 在线阅读下载PDF 职称材料

题名修正的Gdel逻辑系统中子代数的广义重言式理论被引量：15: 1; 作者李顺琴王国俊; 机构延安大学数学与计算机科学学院陕西师范大学数学研究所; 出处《计算机工程与应用》 CSCD 北大核心 2008年第36期58-60,72,共4页; 基金国家自然科学基金(No.10331010) 延安大学基金(No.YDK2007-28)~~; 文摘将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F(S)关于┐同余的一个分划.; 关键词修正的goedel逻辑系统广义重言式 α-矛盾式分划; Keywords revised goedel logical system generalized tautology α-contradiction partition; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名修正的RDP逻辑系统中的广义矛盾式被引量：2: 2; 作者李顺琴惠小静; 机构延安大学数学与计算机科学学院; 出处《计算机工程与应用》 CSCD 北大核心 2015年第11期50-54,共5页; 基金陕西省自然科学基金(No.2014JM1020) 陕西省科技计划社发攻关项目(No.2014ks15-03-07) +1 种基金延安大学自然科学专项基金(No.YDQ2014-45); 文摘讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。; 关键词修正的RDP逻辑系统广义重言式广义矛盾式降级算法分划; Keywords revised RDP logic system generalized tautology generalized contradiction downgrade algorithm partition; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名修正的RDP逻辑系统中子代数的广义重言式理论被引量：1: 3; 作者李顺琴惠小静; 机构延安大学数学与计算机科学学院; 出处《计算机工程与应用》 CSCD 北大核心 2015年第12期49-52,106,共5页; 基金陕西省自然科学基金(No.2014JM1020) 陕西省科技计划社发攻关项目(No.2014ks15-03-07) +1 种基金延安大学自然科学专项基金(No.YDQ2014-45); 文摘讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F（S）关于~同余的一个分划。; 关键词修正的RDP逻辑系统广义重言式 α-矛盾式子代数分划; Keywords revised RDP logical system generalized tautology α - contradiction subalgebra partition; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名修正的RDP逻辑系统中的广义重言式理论被引量：1: 4; 作者李顺琴惠小静; 机构延安大学数学与计算机科学学院; 出处《济南大学学报（自然科学版）》 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 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名Gdel逻辑系统中F(S)的一个分划及其应用被引量：17: 5; 作者吴洪博阎满富; 机构唐山师范学院数学系; 出处《工程数学学报》 CSCD 北大核心 2001年第4期61-68,共8页; 文摘将王国俊教授于 1997年以来在逻辑系统 W、W、Wk中引入的广义重言式理论加以扩充、推广 ,引入α 矛盾式等概念并应用于G¨odel逻辑系统 G、G、Gn中 ,得到了 (1)在逻辑系统 G、G 中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;(2 )在逻辑系统Gn中 ,对任一公式最多进行n - 1次升级算法即可得到重言式 ;(3)在逻辑系统Gn 中 ,C(Gn) ,in- 1-C(Gn) ,in- 1-T(Gn) ,T(Gn) ｜i∈ { 1,2 ,… ,n- 2 }是F(S)的一个关于同余的分划 ;在逻辑系统 G中 ,C( G) ,(12 ) - -C( G) ,12 -C( G) ,[1- ]-C( G) ,[0 +]-T( G) ,12 -T( G) ,(12 ) +-T( G) ,T( G)是F(S)的一个关于同余的分划。 (4)在 [0 ]-T(R) (R ∈ { G ,G ,Gn} ); 关键词模糊逻辑语义广义重言式广义矛盾式升级算法分划降级算法 goedel逻辑系统; 分类号 B815.6 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名Gdel逻辑系统中广义语义HS规划和广义语义MP规则被引量：8: 6; 作者吴洪博阎满富; 机构陕西师范大学数学研究所中国农业大学经济管理学院; 出处《工程数学学报》 CSCD 北大核心 2003年第3期56-62,共7页; 文摘将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G¨odel逻辑系统中,讨论了G¨odel逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α]-HS)规则,语义([α+]-MP)规则,语义([α+]-HS)规则的性质,使得对G¨odel系统中的广义重言式有了更进一步的认识,为G¨odel逻辑系统的应用和研究提供一个有益的工具。; 关键词模糊逻辑 goedel逻辑系统广义重言式广义语义MP规则广义语义HS规则; Keywords fuzzy logic Gdel logic system generalized tautologies generalized semantic MP rule generalized semantic HS rule; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名知识库维护的结构操作语义方法: 7; 作者苏开乐李未; 机构中山大学计算机科学系北京航空航天大学计算机科学与工程系; 出处《软件学报》 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 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	修正的Gdel逻辑系统中子代数的广义重言式理论	李顺琴王国俊	《计算机工程与应用》 CSCD 北大核心	2008	15	在线阅读下载PDF 职称材料
2	修正的RDP逻辑系统中的广义矛盾式	李顺琴惠小静	《计算机工程与应用》 CSCD 北大核心	2015	2	在线阅读下载PDF 职称材料
3	修正的RDP逻辑系统中子代数的广义重言式理论	李顺琴惠小静	《计算机工程与应用》 CSCD 北大核心	2015	1	在线阅读下载PDF 职称材料
4	修正的RDP逻辑系统中的广义重言式理论	李顺琴惠小静	《济南大学学报（自然科学版）》 CAS 北大核心	2015	1	在线阅读下载PDF 职称材料
5	Gdel逻辑系统中F(S)的一个分划及其应用	吴洪博阎满富	《工程数学学报》 CSCD 北大核心	2001	17	在线阅读下载PDF 职称材料
6	Gdel逻辑系统中广义语义HS规划和广义语义MP规则	吴洪博阎满富	《工程数学学报》 CSCD 北大核心	2003	8	在线阅读下载PDF 职称材料
7	知识库维护的结构操作语义方法	苏开乐李未	《软件学报》 EI CSCD 北大核心	2000	0	在线阅读下载PDF 职称材料