期刊文献+
共找到488篇文章
< 1 2 25 >
每页显示 20 50 100
REAIZATION OF THE NEIGHBORING LOGIC SYMMETRY FOR BOOLEAN ORDERED SET
1
作者 林柏钢 《Journal of Electronics(China)》 1990年第4期306-311,共6页
By means of Logic symmetric relation,the single neighboring Logic path for Ndimensions Boolean ordered set is solved.A new method of determining any logic neighboringsubset in limited dimension is proposed.Its results... By means of Logic symmetric relation,the single neighboring Logic path for Ndimensions Boolean ordered set is solved.A new method of determining any logic neighboringsubset in limited dimension is proposed.Its results are intuitional and realizable for computer. 展开更多
关键词 BOOLEAN orderED SET Single neighboring PATH logical SYMMETRY
下载PDF
基于多属性决策的一阶逻辑子句选择方法
2
作者 曾国艳 徐扬 +1 位作者 陈树伟 姜世攀 《西南交通大学学报》 北大核心 2025年第1期185-193,共9页
基于一阶逻辑的自动定理证明器(ATP)在知识表达和自动推理研究中占据重要地位,而启发式策略则是提升ATP性能的关键研究方向.主流的启发式策略通常通过描述子句属性来确定属性优先级,从而选择子句,但属性优先级受人为因素影响,且评估子... 基于一阶逻辑的自动定理证明器(ATP)在知识表达和自动推理研究中占据重要地位,而启发式策略则是提升ATP性能的关键研究方向.主流的启发式策略通常通过描述子句属性来确定属性优先级,从而选择子句,但属性优先级受人为因素影响,且评估子句耗时较长.为此,本文基于矛盾体分离(S-CS)规则,提出一种新的多属性决策(MCDM)子句评估方法.首先,利用熵权法对子句属性进行客观赋权;其次,结合偏好顺序结构评估法(PROMETHEEⅡ)对子句进行评估,得到子句的完全排序;最后,将提出的MCDM方法加入自动定理证明器CSE 1.5(contradiction separation extension 1.5)、Vampire 4.7和Eprover(E 2.6)中,分别形成新的证明器MCDM_CSE、MCDM_V和MCDM_E.对MCDM_CSE测试了国际定理证明器问题库TPTP(Thousands of Problems for Theorem Provers)中一阶逻辑格式的定理,并对MCDM_V和MCDM_E测试了2022年CADE(Conference on Automated Deduction)竞赛例(一阶逻辑组).实验表明:MCDM_CSE比CSE 1.5多证明了151个定理(来自TPTP),并且能够证明Vampire 4.7无法证明的5个定理、E 2.6无法证明的41个定理以及Prover9无法证明的293个定理;在更短的平均时间内,MCDM_V比Vampire 4.7多证明了6个定理(来自CADE 2022),MCDM_E比E 2.6多证明了8个定理. 展开更多
关键词 一阶逻辑 矛盾体分离规则 启发式策略 多属性决策 熵权法
下载PDF
An Adaptive Neuro-Fuzzy Inference System to Improve Fractional Order Controller Performance
3
作者 N.Kanagaraj 《Intelligent Automation & Soft Computing》 SCIE 2023年第3期3213-3226,共14页
The design and analysis of a fractional order proportional integral deri-vate(FOPID)controller integrated with an adaptive neuro-fuzzy inference system(ANFIS)is proposed in this study.Afirst order plus delay time plant... The design and analysis of a fractional order proportional integral deri-vate(FOPID)controller integrated with an adaptive neuro-fuzzy inference system(ANFIS)is proposed in this study.Afirst order plus delay time plant model has been used to validate the ANFIS combined FOPID control scheme.In the pro-posed adaptive control structure,the intelligent ANFIS was designed such that it will dynamically adjust the fractional order factors(λandµ)of the FOPID(also known as PIλDµ)controller to achieve better control performance.When the plant experiences uncertainties like external load disturbances or sudden changes in the input parameters,the stability and robustness of the system can be achieved effec-tively with the proposed control scheme.Also,a modified structure of the FOPID controller has been used in the present system to enhance the dynamic perfor-mance of the controller.An extensive MATLAB software simulation study was made to verify the usefulness of the proposed control scheme.The study has been carried out under different operating conditions such as external disturbances and sudden changes in input parameters.The results obtained using the ANFIS-FOPID control scheme are also compared to the classical fractional order PIλDµand conventional PID control schemes to validate the advantages of the control-lers.The simulation results confirm the effectiveness of the ANFIS combined FOPID controller for the chosen plant model.Also,the proposed control scheme outperformed traditional control methods in various performance metrics such as rise time,settling time and error criteria. 展开更多
关键词 Adaptive neuro-fuzzy inference system(ANFIS) fuzzy logic controller fractional order control PID controller first order time delay system
下载PDF
基于有限谓词追踪的民机系统需求一致性检查方法
4
作者 王鹏 岳舒婷 +1 位作者 张帆 董磊 《系统工程与电子技术》 EI CSCD 北大核心 2024年第1期205-218,共14页
针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法... 针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。 展开更多
关键词 需求一致性 定理证明 功能需求正确性 一阶逻辑 需求冲突
下载PDF
Discussion on the Logical Coordination between Legal Theory and Legal Practice——from the Perspective of the Legal Basis of NPC5s Discussion and Decisiomaking Power on Major Issues
5
作者 Yuan Liao 《Journal of Finance Research》 2019年第1期72-77,共6页
The decision of local people's congresses to discuss major issues is a basic right granted to local people's congresses by the Chinese Constitution and laws.However,in practice,the implementation of the power ... The decision of local people's congresses to discuss major issues is a basic right granted to local people's congresses by the Chinese Constitution and laws.However,in practice,the implementation of the power of deliberation of major issues by local people's congresses is worrying.By applying the theory of Chinese traditionalism and unity in the theory of law,the theory of"sovereignty in the people"in the social contract theory of Western natural law school,Austin's"legal command theory55 in Western positivist law and Hart's"recognition""Rules theory"to argue that the integrity of rights necessarily involves the dual factors of decision-making and execution.At the same time,the existence and operation of the law always reflects the development of the political system.The realistic political situation requires us to make more precise and meticulous refinement of the external form and specific technical links of the legal system,and to coordinate the rules to make up the legal theory and Conflicts and conflicts in legal practice help to reform social institutions. 展开更多
关键词 DECISION-MAKING power on major issues POLITICAL logic of law THEORY of people's SOVEREIGNTY LEGAL order THEORY Recognition rule THEORY
下载PDF
The Narratological Analysis on Ivanhoe
6
作者 Cheng Bao-le Wen Zhe 《科技信息》 2011年第31期319-321,共3页
沃尔特·司各特的小说《艾凡赫》中运用了许多叙事手法,他们在塑造人物性格、反映作者立场及推动情节发展上起到一定作用。本文从叙事聚焦、叙事时间和叙事逻辑三个方面对沃尔特.司各特的小说《艾凡赫》展开分析。通过分析可以看出... 沃尔特·司各特的小说《艾凡赫》中运用了许多叙事手法,他们在塑造人物性格、反映作者立场及推动情节发展上起到一定作用。本文从叙事聚焦、叙事时间和叙事逻辑三个方面对沃尔特.司各特的小说《艾凡赫》展开分析。通过分析可以看出作者作为政治保守派的立场,男女主人公的性格特征和故事情节的发展。 展开更多
关键词 叙事聚焦 叙事时间 叙事逻辑
下载PDF
一种基于子句稳定度的多元动态演绎算法及应用
7
作者 曹锋 王家帆 +1 位作者 易见兵 李俊 《广西师范大学学报(自然科学版)》 CAS 北大核心 2024年第6期164-176,共13页
一阶逻辑自动定理证明是人工智能领域的核心基础。启发式策略在提升一阶逻辑自动定理证明器方面备受关注,其中根据子句属性选择较优子句参与演绎为重要的研究内容。基于矛盾体分离规则,将子句中的文字分为构建标准矛盾体的文字和构建矛... 一阶逻辑自动定理证明是人工智能领域的核心基础。启发式策略在提升一阶逻辑自动定理证明器方面备受关注,其中根据子句属性选择较优子句参与演绎为重要的研究内容。基于矛盾体分离规则,将子句中的文字分为构建标准矛盾体的文字和构建矛盾体分离式的文字,通过分析变元项、函数项、基项之间的联系与差异,本文提出一种基于稳定度的子句评估方法,其核心思想是通过所含项的组成部分度量子句参与演绎的稳定程度;同时提出一种基于子句稳定度的多元动态演绎算法(clause stability algorithm,CFA),旨在搜索当前演绎过程中的较优路径;将提出的CFA算法应用于国际著名证明器Prover9(CFA_P证明器)和国际顶尖证明器Eprover2.6(CFA_E证明器),使用CFA_P和CFA_E对国际CASC-26 FOF组竞赛例进行测试,相比原始Prover9和原始Eprover2.6,CFA_P多证明119个定理、CFA_E多证明11个定理;在证明相同定理总数的情况下,CFA_P缩短了证明时间14.76 s、CFA_E则缩短了2.54 s;针对Eprover2.6未证明的94个定理进行单独测试,CFA_E能证明27个定理,占定理总数的28.7%。实验表明,CFA算法是有效的,其在优化演绎路径方面具有良好作用,能提高一阶逻辑自动定理证明器的性能。 展开更多
关键词 一阶逻辑 定理证明 人工智能 启发式策略 多元动态演绎
下载PDF
矛盾体分离单元结果演绎方法及应用
8
作者 曹锋 谢燏 +1 位作者 易见兵 李俊 《计算机工程与科学》 CSCD 北大核心 2024年第12期2252-2260,共9页
一阶逻辑自动定理证明是人工智能领域重要的研究内容。为提高单元结果归结演绎效率,提出了一种新的基于多元、动态、协同的单元结果演绎方法,称为矛盾体分离单元结果演绎方法,并详细地给出了其演绎定义、演绎方法、演绎的优势分析及算... 一阶逻辑自动定理证明是人工智能领域重要的研究内容。为提高单元结果归结演绎效率,提出了一种新的基于多元、动态、协同的单元结果演绎方法,称为矛盾体分离单元结果演绎方法,并详细地给出了其演绎定义、演绎方法、演绎的优势分析及算法实现;提出的演绎方法允许多个子句同时参与演绎,且允许多个非单元子句参与1次单元结果演绎,能较好地处理长子句;提出的演绎算法能使用策略选定较优的子句和动态设定变元合一的复杂度,并通过回溯机制优化搜索的演绎路径。以近2年国际一阶逻辑自动定理证明器竞赛例(分别为500个)和TPTP问题库中难度系数为1的问题作为测试对象,加入了矛盾体分离单元结果演绎算法的Eprover和原始Eprover相比分别多证明了10个定理,分别能证明Eprover无法证明的17个定理和13个定理,能证明出9个其他所有证明器都无法证明难度系数为1的定理。实验结果表明,提出的矛盾体分离单元结果演绎方法能有效提高一阶逻辑自动定理证明的效率。 展开更多
关键词 一阶逻辑 自动定理证明 人工智能 单元结果归结 矛盾体分离规则
下载PDF
基于概率逻辑推理的高阶互补云API推荐方法
9
作者 陈真 谢登辉 +3 位作者 王小龙 孙梦梦 刘啸威 申利民 《计算机学报》 EI CAS CSCD 北大核心 2024年第8期1922-1948,共27页
云时代,云API作为服务交付、数据交换和能力复制的最佳载体,已成长为当今面向服务软件开发和企业数字化转型不可或缺的核心要素.然而动态开放网络中持续增长的云API在给开发者提供了更多选择的同时,也将其淹没在海量的云API选择之中,设... 云时代,云API作为服务交付、数据交换和能力复制的最佳载体,已成长为当今面向服务软件开发和企业数字化转型不可或缺的核心要素.然而动态开放网络中持续增长的云API在给开发者提供了更多选择的同时,也将其淹没在海量的云API选择之中,设计有效的云API推荐方法就此成为API经济健康发展中迫切要解决的现实问题.但是,现有研究主要利用搜索关键词、服务质量和调用偏好进行建模,生成质量高功能单一的云API推荐列表,没有考虑服务化软件实际开发中开发者对多元化高阶互补云API的客观需要.高阶互补云API推荐旨在为多个查询云API生成多元互补云API列表,要求推荐结果与查询云API均互补,以满足开发者的联合需求.针对此问题,本文提出基于概率逻辑推理的高阶互补云API推荐方法(Probabilistic Logic Reasoning for High-order Complementary Cloud API Recom⁃mendation,PLR4HCCR).首先,通过云API生态真实数据分析论证云API互补推荐需求的必要性和互补关系建模中替补噪声的客观存在,为云API互补推荐问题研究提供动机和数据支持.其次,采用Beta概率嵌入对云API及其之间的关系约束进行编码,以刻画云API间互补关系的不确定性和支持互补逻辑推理.接着,设计由投影、取反和交并三个基本逻辑算子构建的互补关系逻辑推理网络,使查询集中的每个云API获得非对称互补关系感知和替补噪声消解约束下的互补云API表示.然后,引入注意力机制为查询云API的互补云API分配不同权重,增强高阶互补云API基向量的表征能力.在此基础上,采用KL散度度量高阶互补云API基向量与候选云API之间的距离,并根据KL散度排序生成高阶互补性可感知下的云API推荐结果.最后,我们利用两个真实云API数据集在不同阶互补推荐场景下进行实验,实验表明,与传统启发式推荐方法和深度学习推荐方法相比,PLR4HCCR在互补关系感知推理和替补噪声消解方面均具有较大的优势,继而使其在低阶、高阶和混合阶互补云API推荐中均展示出更优的推荐效果和更强的泛化能力.进一步,超参数敏感性实验、实例分析和用户调查验证了方法的有效性、实用性和可行性,这使结合高阶互补关系的云API推荐方法PLR4HCCR不仅更有可能生成开发者满意的结果,而且可有效提升云API服务提供者的收益. 展开更多
关键词 面向服务软件开发 云API推荐 高阶互补 逻辑推理 Beta概率嵌入
下载PDF
学校教学秩序重构的空间逻辑:动力与路向
10
作者 朱德全 熊晴 《贵州师范大学学报(社会科学版)》 CSSCI 2024年第3期53-62,共10页
作为素养时代教学变革的根本性问题,学校教学秩序重构内嵌于学校教学空间之中并以空间逻辑为基本遵循。教学秩序与空间逻辑之间具有合规律性、合目的性和合价值性三重联结向度,奠定了基于空间逻辑重构教学秩序的逻辑前提。学校教学秩序... 作为素养时代教学变革的根本性问题,学校教学秩序重构内嵌于学校教学空间之中并以空间逻辑为基本遵循。教学秩序与空间逻辑之间具有合规律性、合目的性和合价值性三重联结向度,奠定了基于空间逻辑重构教学秩序的逻辑前提。学校教学秩序重构由空间自上而下的三组动力推动,包括社会秩序宏观投射与教学领域深化改革的张力平衡、教学资源迭代升级与师生关系生命互摄的要素协调,以及固化观念悄然解构与教学价值自觉出场的矛盾对立。基于空间逻辑重构教学秩序要根据教学空间的教育性、技术性和社会性特点,以主体具身交互澄清教学秩序的价值指向,在技术与教学的深度融合中重构教学秩序,以教学空间正义构建师生的主体间性关系。 展开更多
关键词 学校教学 教学秩序 教学空间 空间逻辑
下载PDF
冷战结束以来俄罗斯对国际秩序的认知历程及其演变逻辑
11
作者 阮建平 何诗雨 《欧亚人文研究(中俄文)》 2024年第2期1-14,85,89,共16页
冷战结束以来俄罗斯对国际秩序的认知经历了一个曲折的发展历程:20世纪90年代中前期,俄罗斯全盘接受并极力融入美西方主导的自由国际秩序;20世纪90年代中后期开始到2007年,俄罗斯开始质疑和反思美西方自由国际秩序的制度标准和地缘安排... 冷战结束以来俄罗斯对国际秩序的认知经历了一个曲折的发展历程:20世纪90年代中前期,俄罗斯全盘接受并极力融入美西方主导的自由国际秩序;20世纪90年代中后期开始到2007年,俄罗斯开始质疑和反思美西方自由国际秩序的制度标准和地缘安排,但依然希望被接纳;2008年至今,俄罗斯逐渐放弃对美西方自由国际秩序的幻想,并开始反击其地缘安排。2022年乌克兰危机爆发意味着俄罗斯对美西方秩序的彻底反击,并提出和推进其多极世界秩序构想。俄罗斯对国际秩序的认知历程是其自我认知与对外部世界的认知不断调适的产物,其形成过程受到多种因素的共同作用,主要包括俄罗斯的大国梦想和历史文化传统、美西方对俄罗斯的态度,以及世界政治的客观形势。 展开更多
关键词 俄罗斯 自由国际秩序 多极世界秩序 认知历程 演变逻辑
下载PDF
走向课程秩序:高职教育科教融汇的具象逻辑 被引量:6
12
作者 沈家乐 朱德全 《中国高教研究》 CSSCI 北大核心 2024年第4期102-108,共7页
科教融汇是推动高职教育抓住时代先机、获得战略主动、实现质态跃迁的关键举措。科教融汇从理念走向具象必须以课程作为中转站,而课程发挥其重要作用在于能够调和科技与教育融汇过程中产生的多元冲突,综合表现为一种“课程秩序”。这些... 科教融汇是推动高职教育抓住时代先机、获得战略主动、实现质态跃迁的关键举措。科教融汇从理念走向具象必须以课程作为中转站,而课程发挥其重要作用在于能够调和科技与教育融汇过程中产生的多元冲突,综合表现为一种“课程秩序”。这些冲突的调和,要求高职教育科教融汇课程在价值秩序上能够形成“求用→求真→求善”的价值位阶、在结构秩序上构建“横向跨界-纵向自生”的结构体系、在主体秩序上确立“行政-市场-专业”的最佳生态位、在制度秩序上织就“历时连续-共时联通”的制度网络、在评价秩序上塑造“主体协同-方式互补”的评价格局。这五大秩序的生成是一个从抽象到具体再到抽象、从无形到有形再到无形、从自发到计划再到自发的过程,其又依赖于高职教育科教融汇课程组织、制度、资源、实践等方面的动态生成。 展开更多
关键词 高职教育 科教融汇 课程秩序 具象逻辑
下载PDF
一阶逻辑定理证明器中的无效子句删除策略 被引量:2
13
作者 姜世攀 陈树伟 曾国艳 《计算机应用》 CSCD 北大核心 2024年第3期677-682,共6页
在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的... 在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的精确率,在理论上,基于纯文字规则对子句进行再分类。第一类称为无效子句,该类子句不能通过等词替换与某个子句形成互补对,此类子句应完全删除;第二类为相对无效子句,该类子句无法与当前子句集中的子句形成互补对,但能进行等词替换,此类子句应在参与演绎后综合考虑是否删除。在算法实现中,考虑到子句的消去应是动态的过程,当前消去的子句会影响已判断的子句的无效性,提出一种用于判定子句无效性的递归遍历算法。将上述子句约简规则应用于证明器CSE1.5(Contradiction Separation Extension 1.5)中,以2019—2022的CADE(Conference on Automated DEduction)自动定理证明(ATP)系统竞赛中一阶逻辑问题组为测试对象。在300 s内,应用所提算法的CSE1.5_IC比原始CSE1.5总共多证明了27个问题。在两个版本证明器共同证明的所有FNE(FOF theorems without Equality)测试例中,CSE1.5_IC比CSE1.5平均每个问题多约简了28个子句,平均求解时间减少了7.07 s。实验结果表明,所提无效子句约简算法是一种有效的预处理方式,能够提高一阶逻辑子句集的约简精确率,同时能够提高自动定理证明器的证明能力和缩短证明时间。 展开更多
关键词 自动推理 一阶逻辑 子句删除 纯文字规则 无效子句
下载PDF
策略动态组合优化多元演绎算法及应用
14
作者 郭海林 曹锋 +2 位作者 易见兵 李俊 吴贯锋 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2024年第6期732-739,共8页
一阶逻辑自动定理证明是人工智能领域重要的研究分支,其中子句选择策略对于提升定理证明能力具有重要作用。多元矛盾体分离演绎具有许多良好的演绎特性。为更好地指导多元演绎中的子句选择,提出了一种策略动态组合优化多元演绎方法,通... 一阶逻辑自动定理证明是人工智能领域重要的研究分支,其中子句选择策略对于提升定理证明能力具有重要作用。多元矛盾体分离演绎具有许多良好的演绎特性。为更好地指导多元演绎中的子句选择,提出了一种策略动态组合优化多元演绎方法,通过将子句文字数大小和函数项深度进行动态组合并迭代优化,在充分发掘现有多元演绎启发式策略的同时,提升策略应对不同问题的自适应性,实现多元演绎中的子句高效选择。基于该方法给出了相应的算法实现,根据不同问题的演绎过程动态调整子句的选择策略,提升了多元演绎的定理证明能力。同时,将该算法应用于国际先进的证明器Eprover 2.6,形成了改进的证明器SDCO_E,进一步通过2组实验评估SDCO_E的性能。实验1用2021—2023年国际一阶逻辑自动定理证明器竞赛组的共1500个问题进行测试,结果表明,SDCO_E比Eprover 2.6多证明了35个问题,证明定理总数增加了3.06%;实验2用TPTP库中难度系数为1的问题进行测试,结果表明,SDCO_E能证明其他证明器无法证明的6个数论与集合论领域的问题。实验结果表明,策略动态组合优化多元演绎算法能有效应用于一阶逻辑自动定理证明。 展开更多
关键词 一阶逻辑 定理证明 人工智能 多元演绎 组合优化
下载PDF
面向前提选择的新型图约简表示与图神经网络模型
15
作者 兰咏琪 何星星 +1 位作者 李莹芳 李天瑞 《计算机科学》 CSCD 北大核心 2024年第5期193-199,共7页
自动定理证明器在证明问题时其搜索空间通常会呈现爆炸式增长,前提选择为该问题提供了新的解决思路。针对现有前提选择方法中逻辑公式图、图神经网络模型难以捕捉到公式图潜在信息的问题,提出了一种基于删除重复量词的简化逻辑公式图表... 自动定理证明器在证明问题时其搜索空间通常会呈现爆炸式增长,前提选择为该问题提供了新的解决思路。针对现有前提选择方法中逻辑公式图、图神经网络模型难以捕捉到公式图潜在信息的问题,提出了一种基于删除重复量词的简化逻辑公式图表示和具有注意力机制的项游走图神经网络模型,充分利用逻辑公式的语法和语义信息提高前提选择问题的分类精度。首先,将一阶逻辑猜想和前提公式转化为基于删除重复量词的简化一阶逻辑公式图;其次,利用消息传递图神经网络对节点和节点的项游走特征信息进行聚合和更新,随后使用注意力机制为图上的节点分配权重,进而调整图节点嵌入信息;最后,将前提图向量和猜想图向量拼接并输入二元分类器中实现前提分类。实验结果表明,所提方法在MPTP数据集和CNF数据集上的准确率分别达到了88.61%和84.74%,超越现有最优的前提选择方法。 展开更多
关键词 图神经网络 前提选择 注意力机制 一阶逻辑公式 图约简表示方法
下载PDF
一阶逻辑中基于treelet图神经网络的前提选择
16
作者 马雪 何星星 +1 位作者 兰咏琪 李莹芳 《计算机工程与科学》 CSCD 北大核心 2024年第2期374-380,共7页
前提选择是解决自动定理证明器面对大规模问题时性能降低的有效方法。当前面向一阶逻辑中前提选择的主流图神经网络忽略了逻辑公式图内部的节点顺序信息。针对此问题,将一种面向高阶逻辑公式的保序方法拓展到一阶逻辑中,并提出了一种基... 前提选择是解决自动定理证明器面对大规模问题时性能降低的有效方法。当前面向一阶逻辑中前提选择的主流图神经网络忽略了逻辑公式图内部的节点顺序信息。针对此问题,将一种面向高阶逻辑公式的保序方法拓展到一阶逻辑中,并提出了一种基于treelet的图神经网络模型。该模型在信息聚合时一部分聚合中心节点的父、子节点信息,另一部分聚合节点顺序信息。实验分析表明:基于treelet的图神经网络模型在前提选择任务中比最优的主流图神经网络模型的分类准确率提高了约2%。 展开更多
关键词 一阶逻辑公式 图神经网络 前提选择 二元分类
下载PDF
可满足性模理论综述
17
作者 唐傲 王晓峰 何飞 《计算机工程与科学》 CSCD 北大核心 2024年第3期400-415,共16页
可满足性模理论(SMT)是指判定一阶逻辑公式在特定背景理论下的可满足性问题。基于一阶逻辑的SMT相比SAT描述能力更强、抽象能力更高,能处理更加复杂的问题。SMT求解器在各个领域都有应用,已经成为重要的形式化验证引擎。目前,SMT已被广... 可满足性模理论(SMT)是指判定一阶逻辑公式在特定背景理论下的可满足性问题。基于一阶逻辑的SMT相比SAT描述能力更强、抽象能力更高,能处理更加复杂的问题。SMT求解器在各个领域都有应用,已经成为重要的形式化验证引擎。目前,SMT已被广泛应用在人工智能、硬件RTL验证、自动化推理和软件工程等领域。根据近些年SMT的发展,首先阐述SMT基本知识和常见的背景理论;然后分析总结Eager方法、Lazy方法和DPLL(T)方法的实现流程,并进一步介绍主流求解器Z3、CVC5和MathSAT5的实现过程;接着介绍SMT的扩展问题#SMT、SMT应用在深度神经网络的SMTlayer方法和量子SMT求解器;最后对SMT的发展进行展望,并讨论其面临的挑战。 展开更多
关键词 一阶逻辑 可满足性模理论 Lazy方法 DPLL(T) SMT求解器 #SMT
下载PDF
带死区的多智能体系统事件触发协同控制
18
作者 姜田 生宁 《复杂系统与复杂性科学》 CAS CSCD 北大核心 2024年第4期58-64,共7页
针对多智能体系统状态跟踪问题,研究具有输入死区的高阶非线性多智能体系统事件触发协同控制。首先,将死区模型转化为线性项和扰动项。然后,利用模糊逻辑系统对跟随者进行建模,以削弱对系统性能的影响;最后,采用事件触发控制节省带宽,... 针对多智能体系统状态跟踪问题,研究具有输入死区的高阶非线性多智能体系统事件触发协同控制。首先,将死区模型转化为线性项和扰动项。然后,利用模糊逻辑系统对跟随者进行建模,以削弱对系统性能的影响;最后,采用事件触发控制节省带宽,进一步减轻系统的通信负担。此外所提方法不仅能够保证领导者和跟随者的一致性,也能够证明提出的控制方案不受芝诺现象的影响。利用仿真结果验证该设计方案的跟随者所有状态与领导者的状态同步。 展开更多
关键词 事件触发控制 多智能体 协同控制 输入死区 模糊逻辑系统
下载PDF
父亲的缺位——论《阿卡迪亚》中的知识逻辑与性别秩序
19
作者 胡耀元 王岚 《广东外语外贸大学学报》 CSSCI 2024年第4期88-97,共10页
在当代英国剧作家汤姆·斯托帕德所著《阿卡迪亚》中,贵族家庭里父亲的缺席和学术场域中权威的消解具有某种相似性,不仅表明传统父权秩序走向了崩塌,更体现出以颠覆与重述为核心的知识逻辑。这种知识逻辑贯穿剧中人物对知识的追寻... 在当代英国剧作家汤姆·斯托帕德所著《阿卡迪亚》中,贵族家庭里父亲的缺席和学术场域中权威的消解具有某种相似性,不仅表明传统父权秩序走向了崩塌,更体现出以颠覆与重述为核心的知识逻辑。这种知识逻辑贯穿剧中人物对知识的追寻、认知与重构,其背后则是理性与感性以及人文与科学的结合。首先,生活在19世纪英国的贵族小姐托马西娜具有罕见的科学禀赋,亦怀揣热情与爱,拒绝接受传统性别角色。其次,以汉娜为代表的20世纪当代学者致力于挖掘尘封的历史,坚信在权威论断和主流观点之外,其实另有真相。最后,剧中的一众知识青年慢慢发觉,无论是盲目崇拜理性与逻辑,还是完全遵从自身激情与想象,都会导致对真实的扭曲和对学术事业的破坏,其经历揭示知识霸权的本质在于拒绝多元与差异,固守自封。随着情节发展,对立与冲突被化解,原有秩序下中心与边缘的二元对立消融。通过对比、再现发生在古今不同时空西德利庄园中的故事,斯托帕德构想了一个理性与感性有机结合、古典主义与浪漫主义交融碰撞的图景,指出在知识追寻与生产过程中,人们需要避免急功近利的学术浮夸,努力消除性别对立与学术霸权,以还原女性被父权话语遮蔽的才华,消解依仗传统权力话语关系的逻各斯中心话语体系。 展开更多
关键词 汤姆·斯托帕德 《阿卡迪亚》 知识逻辑 性别秩序 父权制
下载PDF
论全球政治的空间叙事与差异
20
作者 景璟 《云南师范大学学报(哲学社会科学版)》 CSSCI 北大核心 2024年第6期143-150,共8页
空间不仅是行为发生的场域情境和障碍制约,同时还是主体间关系的直接产物与形变要素。全球政治作为一项独特的空间存在,不仅具有“空间的政治性”意涵,同时还阐发出“政治的空间性”特质,融合了行为体对空间的主动建构和空间形塑对行为... 空间不仅是行为发生的场域情境和障碍制约,同时还是主体间关系的直接产物与形变要素。全球政治作为一项独特的空间存在,不仅具有“空间的政治性”意涵,同时还阐发出“政治的空间性”特质,融合了行为体对空间的主动建构和空间形塑对行为体的反向影响双重逻辑。全球政治空间一方面承载了全球联合的愿景和理想,另一方面却并未实现对既有空间边界的消融和无政府状态的超越,其深刻依赖于权力、理性和价值等传统政治要素围绕全球主义而发生的变形与跃升,体现为多重逻辑支撑下的空间集合。其中,以权力为注脚的地缘政治通过树立边界的空间构建向全球施与了排他性的空间想象,以资本为授意的全球化在空间压缩的表象背后暗含了对空间分离的本质要求,以价值为引领的全球治理在追寻共通愿景时仍面临着无政府的现实考验。面对不同空间维度的共时性叠加,未来全球秩序的发展需要在对空间逻辑价值的审视、空间层次动态属性的观察和空间融合差异性基础的强调进程中予以探寻。 展开更多
关键词 全球政治秩序 空间建构 政治空间叙事 多元逻辑
下载PDF
上一页 1 2 25 下一页 到第
使用帮助 返回顶部