期刊文献+
共找到5,197篇文章
< 1 2 250 >
每页显示 20 50 100
一种基于改进Simplex噪声的虚拟地形生成方法
1
作者 沈博 张健钦 +1 位作者 马帅豹 文政 《系统仿真学报》 北大核心 2025年第10期2605-2612,共8页
针对传统虚拟地形生成方法存在的计算复杂度高、生成速度慢、真实感不足等问题,提出了一种基于改进Simplex噪声的虚拟地形生成方法。利用Simplex噪声计算效率高、硬件开销低、随机性更自然等优势,构建基础地形模板;引入分形算法,通过多... 针对传统虚拟地形生成方法存在的计算复杂度高、生成速度慢、真实感不足等问题,提出了一种基于改进Simplex噪声的虚拟地形生成方法。利用Simplex噪声计算效率高、硬件开销低、随机性更自然等优势,构建基础地形模板;引入分形算法,通过多频率、多振幅的噪声叠加增强地形细节层次;结合湍流算法,增加随机扰动和复杂性,从而进一步提高地形的自然感和多样性。仿真结果表明:该方法在地形生成效率、真实感,以及多样性方面均优于传统生成方法。 展开更多
关键词 虚拟地形 simplex噪声 分形算法 湍流算法 改进simplex
原文传递
Interleukin 1βreceptor and synaptic dysfunction in recurrent brain infection with Herpes simplex virus type-1
2
作者 Roberto Piacentini Claudio Grassi 《Neural Regeneration Research》 SCIE CAS 2025年第2期416-423,共8页
Several experimental evidence suggests a link between brain Herpes simplex virus type-1 infection and the occurrence of Alzheimer’s disease.However,the molecular mechanisms underlying this association are not complet... Several experimental evidence suggests a link between brain Herpes simplex virus type-1 infection and the occurrence of Alzheimer’s disease.However,the molecular mechanisms underlying this association are not completely understood.Among the molecular mediators of synaptic and cognitive dysfunction occurring after Herpes simplex virus type-1 infection and reactivation in the brain neuroinflammatory cytokines seem to occupy a central role.Here,we specifically reviewed literature reports dealing with the impact of neuroinflammation on synaptic dysfunction observed after recurrent Herpes simplex virus type-1 reactivation in the brain,highlighting the role of interleukins and,in particular,interleukin 1βas a possible target against Herpes simplex virus type-1-induced neuronal dysfunctions. 展开更多
关键词 herpes simplex virus type 1 interleukin MICROGLIA NEUROINFLAMMATION synaptic dysfunction
暂未订购
Herpes simplex virus 2-induced aseptic meningitis presenting with sudden deafness:A case report
3
作者 Yuan-Cheng Liu Shih-Hsuan Hsiao Peir-Rong Chen 《World Journal of Clinical Cases》 SCIE 2025年第8期22-25,共4页
BACKGROUND Aseptic meningitis is defined as meningeal inflammation caused by various etio-logies with negative cerebrospinal fluid(CSF)bacterial culture.The most common etiologies are viruses[enteroviruses,arboviruses... BACKGROUND Aseptic meningitis is defined as meningeal inflammation caused by various etio-logies with negative cerebrospinal fluid(CSF)bacterial culture.The most common etiologies are viruses[enteroviruses,arboviruses,and herpes simplex virus type 2(HSV-2)].Aseptic meningitis can have various presentations,including sensori-neural deafness.While sensorineural deafness from mumps meningoencephalitis has been reported,cases of HSV-2-induced hearing loss are rare.Herein,we re-port a case of HSV-2-induced meningitis that presented with sudden deafness.CASE SUMMARY A 68-year-old man experienced a profound sudden onset of left-sided hearing loss for one day.Pure-tone audiograms demonstrated sudden left-sided sensorineural hearing loss(thresholds 80-90 dB).After treatment with high-dose steroids for 1 week,he experienced an acute consciousness change with left hemiparesis.The laboratory data showed no significant abnormalities.Brain computed tomography without contrast and magnetic resonance imaging revealed no intracranial hemo-rrhage or obvious brain lesion.The CSF analysis and the Multiplex PCR panels showed HSV-2 positivity.Hence,under the diagnosis of herpes meningoenceph-alitis,acyclovir was prescribed and his symptoms gradually resolved.CONCLUSION This case report further demonstrates that a viral infection could be a cause of sudden sensorineural hearing loss. 展开更多
关键词 Aseptic meningitis Type 2 herpes simplex Sudden sensorineural hearing loss IMMUNOCOMPROMISED Cerebrospinal fluid Case report
暂未订购
基于Python+Tableau的人工智能人才需求可视化分析
4
作者 曾静 廖书真 李泽航 《长江信息通信》 2025年第5期110-113,共4页
网络求职是高校毕业生求职就业的主要方式之一。人工智能是时下热门职业,对人工智能岗位人才需求情况进行可视化分析,可以为人工智能岗位求职者提供参考,也能为高校制定人工智能人才培养方案提供参考。以BOSS直聘网站的人工智能岗位相... 网络求职是高校毕业生求职就业的主要方式之一。人工智能是时下热门职业,对人工智能岗位人才需求情况进行可视化分析,可以为人工智能岗位求职者提供参考,也能为高校制定人工智能人才培养方案提供参考。以BOSS直聘网站的人工智能岗位相关数据为分析对象,使用Python爬虫技术爬取数据信息,结合Tableau可视化工具,对岗位需求、薪资情况和福利水平等数据进行可视化分析,将分析结果以可视化图表的方式展现,使得求职者清晰地观测到各个岗位数据信息的变化,为求职者在求职过程中快速找准自身定位提供参考信息,以便及时调整求职的策略并做好准备。 展开更多
关键词 tableau 人工智能 人才需求 可视化分析
在线阅读 下载PDF
Quercetin inhibits herpes simplex virus 1 replication in corneal epithelium and suppresses keratitis progression
5
作者 Yubin Yu Sihao Liu +2 位作者 Qinghua Liu Xiuping Liu Kaili Wu 《Virologica Sinica》 2025年第4期647-657,共11页
Quercetin is a natural compound with potent antiviral effects;however,its role in the treatment of herpes simplex keratitis(HSK)remains underexplored.Here,we investigated the antiviral effects of quercetin against her... Quercetin is a natural compound with potent antiviral effects;however,its role in the treatment of herpes simplex keratitis(HSK)remains underexplored.Here,we investigated the antiviral effects of quercetin against herpes simplex virus 1(HSV-1).By examining different phases of viral infection in human corneal epithelial cells(HCECs),we found that 30μmol/L quercetin inhibits HSV-1 replication primarily by disrupting viral attachment.RNA-sequencing and subsequent analyses revealed that the nuclear factor E2-related factor 2(Nrf2)was upregulated by quercetin in a dose-dependent manner.Knocking down Nrf2 partially compromised quercetin's antiviral effect.Importantly,topical application of 100μmol/L quercetin alleviated HSK severity in mice,reduced viral titers in tears,and inhibited VP16 expression in the cornea and trigeminal ganglia.These findings demonstrate the antiviral effect of quercetin against HSV-1 and provide a foundation for mechanistic studies to elucidate its therapeutic potential in HSK. 展开更多
关键词 QUERCETIN Herpes simplex virus type 1(HSV-1) Herpes simplex keratitis(HSK) Nrf2 ANTIVIRAL
原文传递
单纯疱疹病毒相关突发性聋研究进展
6
作者 张蕾 张娇 王秋菊 《中华耳科学杂志》 北大核心 2026年第3期234-238,共5页
突发性聋是耳鼻咽喉科的常见急症,病毒感染是突发性聋的主要病因之一。单纯疱疹病毒(herpes simplex virus,HSV)被认为可能与该病相关。HSV感染所致的突发性耳聋患者中,成人以HSV-1感染为主,预后差异显著;新生儿以HSV-2感染为主,常伴随... 突发性聋是耳鼻咽喉科的常见急症,病毒感染是突发性聋的主要病因之一。单纯疱疹病毒(herpes simplex virus,HSV)被认为可能与该病相关。HSV感染所致的突发性耳聋患者中,成人以HSV-1感染为主,预后差异显著;新生儿以HSV-2感染为主,常伴随中枢神经系统损伤,导致重度听力丧失。在治疗方面,部分实验和临床研究表明,激素联合抗病毒治疗可能有效,但相关证据存在矛盾。本文从流行病学、临床证据、病理机制及治疗进展4个方面综述近年来单纯疱疹病毒相关突发性聋的研究进展,为突发性聋的病因学研究和临床分型提供参考。 展开更多
关键词 突发性聋 单纯疱疹病毒 治疗进展
暂未订购
基于NEWUOA的CRS叠加成像技术
7
作者 韩复兴 王源 +4 位作者 高正辉 常志邈 马飞 秦昊 尚浩 《吉林大学学报(地球科学版)》 北大核心 2026年第1期386-396,共11页
共反射面元(common reflection surface,CRS)叠加成像技术通过使用相邻共中心点道集信息提高地震数据信噪比,是处理低信噪比、低覆盖次数地震数据的关键技术。其三参数优化的搜索方法无论是经典的分步搜索还是同步的全局搜索,最终都需... 共反射面元(common reflection surface,CRS)叠加成像技术通过使用相邻共中心点道集信息提高地震数据信噪比,是处理低信噪比、低覆盖次数地震数据的关键技术。其三参数优化的搜索方法无论是经典的分步搜索还是同步的全局搜索,最终都需要局部优化算法提升精度,而传统的Nelder-Mead单纯形算法搜索方式简单,计算效率较低。本文采用一种无导数优化算法——新型无约束优化算法(new unconstrained optimization algorithm,NEWUOA)作为CRS叠加的精度提升算法。该算法通过动态构建二次插值模型,采用信赖域迭代策略,利用目标函数曲率信息提升计算效率。文中采用层状起伏模型和Marmousi2模型对该算法进行测试。结果显示,针对简单的层状起伏模型和复杂的Marmousi2模型,基于NEWUOA得到的相干值优化结果均普遍优于或等于基于Nelder-Mead单纯形算法得到的相干值优化结果,与Nelder-Mead单纯形算法相比,计算效率分别提升约48%和45%。这表明NEWUOA在保证CRS叠加优化精度的同时,能够显著提升计算效率,适合作为精度提升的计算工具。 展开更多
关键词 CRS叠加成像技术 三参数优化 NEWUOA 无导数优化 Nelder-Mead单纯形算法
在线阅读 下载PDF
动态描述逻辑的Tableau判定算法 被引量:40
8
作者 常亮 史忠植 +1 位作者 邱莉榕 林芬 《计算机学报》 EI CSCD 北大核心 2008年第6期896-909,共14页
动态描述逻辑在描述逻辑的基础上引入了动态维,用于描述和推理动态领域的知识,但目前缺少有效的判定算法作为支撑.文中以描述逻辑ALCO的动态扩展为例,构建出动态描述逻辑D-ALCO.以D-ALCO的构建过程为基础,将ALCO的Tableau算法、命题动... 动态描述逻辑在描述逻辑的基础上引入了动态维,用于描述和推理动态领域的知识,但目前缺少有效的判定算法作为支撑.文中以描述逻辑ALCO的动态扩展为例,构建出动态描述逻辑D-ALCO.以D-ALCO的构建过程为基础,将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来,给出了D-ALCO的Tableau判定算法,证明了算法的可终止性、可靠性和完备性.应用该算法,可以在采用开世界假设的情况下对D-ALCO中公式的可满足性进行判定.对于D-ALCQO、D-ALCQIO等具有更强描述能力的动态描述逻辑,可以对该算法扩展后得到相应的Tableau判定算法. 展开更多
关键词 动态描述逻辑 动作理论 可满足性问题 tableau算法 可判定性
在线阅读 下载PDF
基于Simplex算法的高压直流输电分段变速率VDCOL研究 被引量:9
9
作者 冯明 李兴源 +2 位作者 李妮 王超 洪潮 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2015年第4期162-167,共6页
为了改善高压直流系统的故障后的恢复性能,在研究低压限流单元(voltage dependent current order limiter,VDCOL)对直流系统无功功率消耗和电压稳定性影响的基础上,提出了一种分段变速率低压限流单元(piecewise-variable-rate VDCOL,PVR... 为了改善高压直流系统的故障后的恢复性能,在研究低压限流单元(voltage dependent current order limiter,VDCOL)对直流系统无功功率消耗和电压稳定性影响的基础上,提出了一种分段变速率低压限流单元(piecewise-variable-rate VDCOL,PVR-VDCOL)的控制方法,该方法通过将电压下降或恢复过程划分为几个不同的阶段,并在每个阶段根据电压水平的不同而设置不同的功率恢复速率。推导了控制器初值的计算公式,制定了利用Simplex算法优化控制器参数的流程,并重点分析了分段数目对控制器性能的影响及其确定方法。在PSCAD/EMTDC中对提出的PVR-VDCOL和传统线性VDCOL的控制效果进行了对比仿真,并对不同分段数目下的仿真结果进行了对比分析,仿真结果表明提出的PVR-VDCOL能够有效改善直流系统的恢复性能。 展开更多
关键词 高压直流输电 低压限流单元 电压稳定 simplex算法
在线阅读 下载PDF
从ALC到SHOQ(D):描述逻辑及其Tableau算法 被引量:34
10
作者 梅婧 林作铨 《计算机科学》 CSCD 北大核心 2005年第3期1-11,35,共12页
描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)的描述逻辑基础及其相应的Tableau算法。
关键词 ALC 描述逻辑 tableau算法 语义WEB 知识表示
在线阅读 下载PDF
甘肃窑街中侏罗世植物化石Coniopteris simplex的原位孢子特征研究 被引量:6
11
作者 辛存林 魏明 +2 位作者 陈世伟 孟健 都卫东 《地质科学》 CAS CSCD 北大核心 2012年第1期211-220,共10页
通过大量的实验分析,揭示了Coniopteris simplex的原位孢子特征,甘肃窑街盆地中侏罗世Coniopteris simplex原位孢子的基本特征可以概括为:孢子为四面体形,极面观为三角形至圆三角形,顶角钝圆,三边线内凹;体积小,极面观直径为25~38μm,... 通过大量的实验分析,揭示了Coniopteris simplex的原位孢子特征,甘肃窑街盆地中侏罗世Coniopteris simplex原位孢子的基本特征可以概括为:孢子为四面体形,极面观为三角形至圆三角形,顶角钝圆,三边线内凹;体积小,极面观直径为25~38μm,平均约30μm;三射线平直或微弯,其长度为半径的2/3~3/4,宽度较窄,具唇状边缘。外壁近于光滑,但具多条不规则的褶皱;无周壁;孢子的颜色以黄褐色为主。明确了Cyathidites minor可能是Coniopterissimplex孢子,后者为前者的母体植物。 展开更多
关键词 Coniopteris simplex 原位孢子 中侏罗世 甘肃窑街
在线阅读 下载PDF
时态描述逻辑ALC-LTL的Tableau判定算法 被引量:5
12
作者 常亮 王娟 +1 位作者 古天龙 董荣胜 《计算机科学》 CSCD 北大核心 2011年第8期150-154,共5页
时态描述逻辑ALC-LTL将描述逻辑ALC的描述能力与线性时态逻辑LTL的刻画能力结合起来,在具有较强描述能力的同时还使得可满足性问题保持在EXPTIME-完全这个级别。针对ALC-LTL缺少有效的判定算法的现状,将LTL的Tableau判定算法与描述逻辑... 时态描述逻辑ALC-LTL将描述逻辑ALC的描述能力与线性时态逻辑LTL的刻画能力结合起来,在具有较强描述能力的同时还使得可满足性问题保持在EXPTIME-完全这个级别。针对ALC-LTL缺少有效的判定算法的现状,将LTL的Tableau判定算法与描述逻辑ALC的推理机制有机地结合起来,给出了ALC-LTL的Tableau判定算法并证明了算法的可终止性、可靠性和完备性。该算法具有很好的可扩展性。当ALC-LTL中的描述逻辑从ALC改变为任何一个具有可判定性特征的描述逻辑X时,只需要对算法进行简单修改,就可以得到相应的时态描述逻辑X-LTL的Tableau判定算法。 展开更多
关键词 时态描述逻辑 线性时态逻辑 可满足性问题 tableau算法 复杂度
在线阅读 下载PDF
自由变量语义tableau中δ-规则的一种改进方法 被引量:7
13
作者 刘全 孙吉贵 于万钧 《计算机研究与发展》 EI CSCD 北大核心 2004年第7期1068-1073,共6页
自动推理一直是人工智能领域研究的重要内容 近几年来 ,由于tableau方法的通用性和直观性 ,引起人工智能界的广泛关注 对于自由变量语义tableau中的量词规则 ,由于γ 规则替换的任意性 ,可导致在同一tableau证明中γ 规则被多次使用 ,... 自动推理一直是人工智能领域研究的重要内容 近几年来 ,由于tableau方法的通用性和直观性 ,引起人工智能界的广泛关注 对于自由变量语义tableau中的量词规则 ,由于γ 规则替换的任意性 ,可导致在同一tableau证明中γ 规则被多次使用 ,使得tableau推理结构树中出现多个自由变量 针对tableau中多次出现自由变量 ,使tableau封闭延迟的问题 ,在δ+ 规则的基础上 ,提出对δ+ 规则改进的δ+ + 规则 ,并进行了正确性证明 将δ+ + 规则应用到TableauTAP系统中 ,结果表明 ,δ+ + 规则使tableau封闭提前 。 展开更多
关键词 δ^-规则 自由变量语义tableau δ^++-规则
在线阅读 下载PDF
提高一阶多值逻辑Tableau推理效率的布尔剪枝方法 被引量:10
14
作者 刘全 孙吉贵 《计算机学报》 EI CSCD 北大核心 2003年第9期1165-1170,共6页
含有量词的一阶多值Tableau方法具有统一的扩展规则 ,并由Zabel等人给出了可靠性和完备性的证明 .但由于扩展后的分枝随着真值数目的增加而呈指数的增加 ,因而影响了机器推理执行的效率 .该文提出了布尔剪枝方法 ,将带符号的公式与集合... 含有量词的一阶多值Tableau方法具有统一的扩展规则 ,并由Zabel等人给出了可靠性和完备性的证明 .但由于扩展后的分枝随着真值数目的增加而呈指数的增加 ,因而影响了机器推理执行的效率 .该文提出了布尔剪枝方法 ,将带符号的公式与集合的上集 /下集联系起来 ,使含量词的一阶多值逻辑公式的扩展规则大大简化 .进一步 ,通过对布尔剪枝方法的分析 ,建立了一类特殊一阶多值逻辑正则公式的更为简洁的Tableau推理方法 ,该方法使得含量词的一阶多值逻辑Tableau推理类同于经典逻辑Tableau方法 . 展开更多
关键词 人工智能 tableau推理效率 一阶多值tableau方法 布尔剪枝方法
在线阅读 下载PDF
基于Downhill-Simplex算法的观测数据与作物生长模型同化方法研究 被引量:6
15
作者 孙琳丽 景元书 +4 位作者 马玉平 俄有浩 邹艳东 邢开瑜 吴玮 《中国农业气象》 CSCD 北大核心 2012年第4期555-566,共12页
以夏玉米叶面积指数(LAI)、贮存器官干重(WSO)、地上总干重(TAGP)以及土壤水分含量(SM)为结合点,建立了基于Downhill-Simplex算法的作物生长模型WOFOST同化多种地面观测数据的一般方法或流程:开展观测数据与作物生长模型同化方法的正确... 以夏玉米叶面积指数(LAI)、贮存器官干重(WSO)、地上总干重(TAGP)以及土壤水分含量(SM)为结合点,建立了基于Downhill-Simplex算法的作物生长模型WOFOST同化多种地面观测数据的一般方法或流程:开展观测数据与作物生长模型同化方法的正确性验证→利用Downhill-Simplex算法进行WOFOST模型的敏感性分析→选择敏感参数组合→通过优化效果确定待优化参数→利用新的观测数据对待优化参数进行优化,从而实现了观测数据与作物生长模型的同化,提升了模型的模拟能力。同化过程中遴选出的WOFOST模型的待优化参数主要包括比叶面积、最大CO2同化速率、初始地上部总干物重、根深最大日增量和初始土壤有效水等。 展开更多
关键词 观测数据同化 作物生长模型 Downhill—simplex算法 敏感性分析
在线阅读 下载PDF
Tableau算法的优化及模型规约技术 被引量:4
16
作者 刘大有 赖永 王生生 《计算机学报》 EI CSCD 北大核心 2014年第8期1647-1657,共11页
为了近一步提高模态逻辑推理机的效率,提出了两种Tableau算法优化技术——冲突技术和矛盾学习技术,并结合这两种技术实现了针对模态逻辑S4的推理机S4P.在此基础上,为了从Tableau算法生成的模型图中构造一个规模较小的模型,又提出通用模... 为了近一步提高模态逻辑推理机的效率,提出了两种Tableau算法优化技术——冲突技术和矛盾学习技术,并结合这两种技术实现了针对模态逻辑S4的推理机S4P.在此基础上,为了从Tableau算法生成的模型图中构造一个规模较小的模型,又提出通用模型的概念,然后给出通用模型的规约技术并证明该技术对于任意依赖于公理D、T、B、4和5中部分或全部公理的正规模态逻辑的正确性.最后,使用逻辑工作台测试用例对S4P的效率进行测试,实验结果表明S4P的效率优于RACER和FACT++;同时,对S4P生成的测试用例中非有效公式的否定对应的通用模型进行规约,实验结果表明通过模型规约能明显地缩减模型的规模. 展开更多
关键词 模态逻辑 tableau算法 优化 模型规约
在线阅读 下载PDF
认识逻辑(3):基于语义tableau的证明理论 被引量:5
17
作者 刘瑞胜 孙吉贵 刘叙华 《计算机学报》 EI CSCD 北大核心 1998年第S1期1-8,共8页
本文定义了带有索引的认识逻辑ELI,讨论了ELI的语义tableau的证明过程,证明了模态tableau的相容性和完备性.由于ELI与认识逻辑EL是等价的,因而,本文讨论的tableau证明过程也可以作为EL的证明理论.
关键词 模态逻辑 认识逻辑 语义tableau 证明理论
在线阅读 下载PDF
基于布尔剪枝的多值广义量词Tableau推理规则简化方法 被引量:4
18
作者 刘全 孙吉贵 崔志明 《计算机学报》 EI CSCD 北大核心 2005年第9期1514-1518,共5页
Tableau作为自动推理的有效方法之一在许多领域中有重要的应用.该文作者在已提出的布尔剪枝方法基础上,对含广义量词(交和并)规则的简化方法进行研究,建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法.通过实例分析,对简... Tableau作为自动推理的有效方法之一在许多领域中有重要的应用.该文作者在已提出的布尔剪枝方法基础上,对含广义量词(交和并)规则的简化方法进行研究,建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法.通过实例分析,对简化前后结果对比表明,改进后的Tableau方法,在推理效率上有很大的提高. 展开更多
关键词 布尔剪枝 多值逻辑 广义量词 tableau 集合的上集/下集
在线阅读 下载PDF
基于tableau的自动推理技术综述 被引量:2
19
作者 刘全 孙吉贵 于万钧 《计算机科学》 CSCD 北大核心 2005年第11期1-4,15,共5页
tableau方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,成为目前最普及的自动推理方法之一。在提高系统效率方面,主要在相关技术和策略、理论和方法等方面进行了分析,并展望了未来的研究方向。
关键词 tableau 技术 策略 理论 方法 tableau方法 自动推理 技术综述 推理方法 计算机实现
在线阅读 下载PDF
非经典逻辑的语义tableau方法 被引量:10
20
作者 刘全 孙吉贵 《计算机科学》 CSCD 北大核心 2002年第5期72-75,共4页
1.引言 自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位.许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分枝将产生深远的影响,它所提出的推理方法也被应用于人工智能... 1.引言 自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位.许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分枝将产生深远的影响,它所提出的推理方法也被应用于人工智能的各个领域. 展开更多
关键词 人工智能 自动推理 自动定理证明 非经典逻辑 语义tableau方法
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部