论文部分内容阅读
基于自然推理系统中推理证明的归谬法和附加前提法的结构特点,结合命题逻辑的等值演算对推理方法进行改进,得到结论后进否定引入和结论析取项否定引入两种新的推理证明的思路。
自然推理系统中推理证明的两种新思路
【摘 要】
：
基于自然推理系统中推理证明的归谬法和附加前提法的结构特点,结合命题逻辑的等值演算对推理方法进行改进,得到结论后进否定引入和结论析取项否定引入两种新的推理证明的思路
【机 构】
：
湖南科技学院理学院
【出 处】
：
现代计算机
【发表日期】
：
2020年13期
【基金项目】
：
湖南省普通高校教学改革研究项目(湘教通[2016]400号,编号:719),湖南科技学院应用特色学科建设项目
其他文献
定量分析一维FFT的分解基数选取、旋转因子计算、倒序排列等各个阶段在GPU上并行执行时的特征,并提出以蝶形算子访存跨度为依据的共享内存访问机制,解决共享内存访问效率过低的问题。在此基础上,提出批量列处理机制,解决二维FFT列变换时的全局内存访问不连续问题。实验结果表明,在图像尺寸从1024×1024到4096×4096像素的情况下,加速后的二维FFT程序的性能较CUFFT库函数提升5%-13%。
根据已发表的川乌头F3＇5＇H基因序列,通过RT-PCR方法从黄草乌（Aconitum vilmorinianum）花朵中克隆到了1个类黄酮3＇,5＇羟基化酶（F3’5’H）基因的c DNA序列,该序列长1563 bp,包含1个编码
骨质疏松脊柱压缩性骨折是老年人高发的骨折类型,骨质疏松是该病的主要病因,临床治疗难度较大。当前,老年性骨质疏松性脊柱压缩性骨折的临床治疗以手术为主,经皮椎体成形术和
【目的】研究丙炔氟草胺与二甲戊灵混配剂的除草作用及对棉花的安全性,为新疆棉田杂草防除系统提供新方案。【方法】以二甲戊灵为参比对照,通过田间药效试验方法测定丙炔氟草
茶树特色新品种——‘乌蒙早’是从乌蒙山野生大茶树群体品种中经变异单株系统选育而成,其品种性状突出,特色明显,与对照福鼎大白茶比较,具有发芽早,生长势强,产量高,发芽整
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
当前,在党和政府的高效领导和管控下,我国新冠肺炎疫情防控形势呈现稳步向好态势.值此之际,全省也即将迎来春耕生产的准备时期. "一年之计,惟在于春".此时,重要的工作不仅仅
【目的】在氮磷减施的条件下,研究钾锌互作与习惯施肥(以下简称习惯施肥)对棉花生物量、产量与养分吸收的差异,为棉花的经济效益和耕地可持续发展提供理论意义。【方法】设5
为了筛选出津巴布韦引进烤烟品种KRK26的最佳种植密度,在田间设置了5个植烟密度（固定行距为120 cm,株距分别为45、50、55、60和65 cm）处理的小区试验,比较分析了不同处理间烟株