非经典逻辑

摘要： 近期,张江教授在《学术研究》上发表《阐释逻辑的正当意义》一文,向学者同仁发出了为解释学(阐释学)寻找恰当的逻辑基础的号召,引起了广泛的关注。作为科学哲学和逻辑学学者,我们愿意从自己的视角,考察“阐释逻辑”(解释的逻辑),以表示积极的响应。由于笔者在逻辑哲学上持非经典逻辑立场,因此是从非经典逻辑眼光来看待精神科学及其解释学方法的。在《非经典逻辑系统发生学研究》一书中,我们表明了“整体多元主义”的非经典逻辑的立场,这对允许不同的逻辑类型的存在。

摘要： 作为智能科学的数学基础之一,非经典逻辑(主要指非经典数理逻辑)及相关代数结构扮演着十分重要的角色.对源于非经典逻辑的代数结构进行全面系统总结,从蕴涵片段的视角梳理其中的内在联系,这些代数结构包括各种可换剩余格、非可换剩余格、非结合剩余格、剩余有序广群、BCK/BCI-代数、BCC/BZ-代数、伪BCK/BCI-代数等.同时介绍近年来非经典逻辑代数方向的最新研究进展,包括量子B-代数(quantum B-agebra)、EO-代数(extended-order algebra)及新近提出的基本蕴涵代数(basic implication algebra)等.

摘要： Beall与Restall提出了基于后承关系考虑的逻辑多元论.后承关系的一般模式含有参数x-情形.对x做不同解释,就获得不同的后承关系,也即不同的逻辑.这种观点基于"真"概念.如果对"真"概念的理解有分歧,那么,从"真"概念出发,将获得一种更为基本的逻辑观.由此区别出经典逻辑与直觉主义逻辑.这是第一层次的区分.这种区分源自对何为正确推理的解答不同.其差别是哲学观的不同.而对正确推理该如何采用当代逻辑研究范式去刻画,亦有不同理解.这造成第二层次的多元.其他众多非经典逻辑即属此层次.第二层次的多元是不争的事实,多元论与一元论的争论可以消解.真正争议是指第一层次上的,它是形而上学之争,难以消解甚至不可消解.

摘要： 数理逻辑已被越来越多的高校作为必修课和选修课.作为研究不确定性推理和非经典逻辑方向的必修课,搞好数理逻辑教学尤为重要,本文是在听取王国俊教授的讲课后结合同学的学习体会分别从选教材,阐明学习意义,课堂教学等环节论述了这门课程的教学.

摘要： 2018年的逻辑学研究以哲学逻辑为主要研究领域,在知识逻辑(epistemic logic)、偏好逻辑(preference logic)、社交网络(social networks)的刻画以及悖论等领域都取得了丰硕的成果;此外,逻辑基本问题、非经典逻辑以及中西逻辑史这三个方面的研究也取得了明显进展,特别是一些利用数理逻辑工具分析逻辑史中遗留问题的成果很有代表性,值得借鉴和推广。

摘要： 应用逻辑包括极其丰富的内容,综合可参考尼古拉斯·雷斯彻、亚科·欣迪卡和约瑟夫·玛丽亚·波亨斯基等学者的观点。从广义上理解,即纯逻辑之外的各种涉及推理问题的理论研究,包括逻辑符号学、推理评价、各种非经典逻辑研究、新兴学科领域的推理理论研究、逻辑应用研究(特别是逻辑与计算机科学理论、逻辑与人工智能的研究)以及其他相关的研究。

摘要： 阐释,作为理性及协商行为,逻辑上的一贯性与约束性,是其生成和展开的先决条件。作为理性行为,阐释的基本思维过程,必须符合普遍适用的逻辑公理化规定,并被其具体的范式与规则所制约,使主体自洽的理解与反思成为可能。作为协商行为,阐释将独立主体对现象的理解与认知,理性地呈现于他人,且被有限群体确证为真并广泛接受,不仅要遵守一般的逻辑规则,而且.要由符合协商要求的特殊逻辑所约束。由此,我们提出,构建区别于经典逻辑和现有非经典逻辑的“阐释逻辑”,为阐释学及一般精神科学的研究与成果呈现,提供可靠的逻辑公理与范式系统。

摘要： 根据逻辑哲学，量子逻辑可以定位于一种以“非分配性”为特征的非经典逻辑，它以量子力学家实际使用的科学推理为现实原型或经验基础；2普特南从量子逻辑的产生而得出“根据经验的理由，逻辑是整体可修正的”结论。但他同时又主张逻辑联词的“意义不变”，因此陷入二难困境。3根据量子力学几种不同解释来重新审视“经验理由”和“逻辑可修正性”论证，发现形而上学考量更不可忽视． 4对应原理具有消解“普特南二难”的方法论功效，量子逻辑对于经典逻辑的继承性与革新性同时可以得到合理解释。

摘要： 与经典逻辑相比，量子逻辑是一种全新的逻辑构造。通过疏理量子逻辑的内涵、数学基础、主要类型以及争议焦点，本文提出这种构造的独特之处主要体现在：一是数学基础的奇异性。量子逻辑是一种新的、非布尔型的非经典逻辑，在语义和句法上由一种独特的代数结构所确定，该结构的重要特征是非分配性和不对易性。数学中新发展起来的格论直接推动了量子逻辑基本结构模型的建立。二是形式的多样性。作为言说量子世界的语言逻辑，量子逻辑的联结词、命题及其演算，最终都是基于量子实体和量子世界的经验内容之上的。其中一个重要特征是非决定性。正是由于非决定性和模糊性，使得量子逻辑中也包含有量子模糊逻辑。三是技术应用价值的巨大性。例如，量子逻辑直接关系到量子计算和信息理论的实际应用。

摘要： 本发明旨在提供一种基于非经典感受野非线性两侧亚单元响应的轮廓检测方法，包括以下步骤：A、输入经灰度处理的待检测图像，获得各像素点的最优响应和最优方向；B、对于各个像素点计算归一化的高斯差分滤波响应；C、对于各个像素点，构建周边区域集合、中心‑周边区域集合、中心区域集合；划分半圆环周边区域Ⅰ集合、半圆环周边区域Ⅱ集合；D、对于各个像素点，构建周边区域聚类特征向量，进行聚类分析；E、对于各个像素点计算得到各个类别的左右侧差异值；F、预设抑制系数，计算各个像素点的抑制后响应；G、对各像素点的抑制后响应进行处理得到最终轮廓图。该方法克服现有技术缺陷，具有计算效率高、准确率高的特点。

摘要： 本发明旨在提供一种基于非经典感受野非线性亚单元响应的轮廓检测方法，包括以下步骤：A、输入经灰度处理的待检测图像，预设抑制系数，获得各像素点的最优响应和最优方向；B、对于各个像素点计算归一化的高斯差分滤波响应；C、对于各个像素点，构建周边区域集合、中心‑周边区域集合、中心区域集合；D、对于各个像素点，构建周边区域聚类特征向量，进行聚类分析；E、对于各个像素点计算得到各个类的中心‑周边差异值；计算各个像素点的抑制后响应；F、对各像素点的抑制后响应进行处理得到最终轮廓图。该方法克服现有技术缺陷，具有计算效率高、准确率高的特点。

摘要： 本发明公开了基于非经典感受野调制神经网络的轮廓检测方法及系统，包括：利用多尺度采样构造一组多分辨率图像金字塔；对每个尺度的图像集合利用稀疏自编码器无监督学习简单细胞感受野的特征表达，得到图像的不同低层特征映射；分别为不同的感受野细胞产生的特征映射构造一个与之匹配的调制环境；根据非经典感受野中的信息对感受野所产生的响应进行调制，并融合不同特征的调制结果成统一的特征表达；联合不同尺度的结果输入分类器计算轮廓概率。本发明利用非经典感受野中的信息对感受野中的响应产生抑制或易化的调制作用，大量地减少无意义的琐碎纹理边缘，并突出区域的边界，保存图像的显著性结构，提高图像的轮廓检测性能。

摘要： 本文描述了扩增非变异NKT细胞的非经典MHC‑纳米颗粒复合物。扩增非变异NKT细胞可用于治疗自身免疫性障碍或炎性障碍。

摘要： 本发明涉及用于免疫治疗方法的肽、蛋白质、核酸和细胞。特别是，本发明涉及癌症的免疫疗法。本发明还涉及单独使用或与其他肿瘤相关肽(刺激抗肿瘤免疫反应或体外刺激T细胞和转入患者的疫苗复合物的活性药物成分)联合使用的肿瘤相关T细胞(CTL)肽表位。与主要组织相容性复合体(MHC)分子结合的肽或与此同类的肽也可能是抗体、可溶性T细胞受体和其他结合分子的靶标。

摘要： 本发明涉及EGFR抑制剂用于治疗非常见或非经典突变的用途。本发明涉及如式(I)及式(II)所示结构化合物及其代谢产物作为EGFR抑制剂的应用。特别地，本发明涉及如式(I)及式(II)所示的化合物具有抑制EGFR L861Q、D761Y、L747S、S768I、G719C、G719D、G719S和外显子20插入等EGFR突变的活性，可以用来治疗单独或部分地由这些EGFR突变体活性介导疾病，在预防与治疗癌症尤其是非小细胞肺癌治疗中具有广泛应用。

摘要： 本发明属于目标探测与识别技术领域，提出了一种基于非经典态光场的量子雷达实验装置，包括发射机、接收机和收发同步系统组成；发射机包括光源单元、非经典光场调控单元、信号准直与发射单元组成；接收机包括信号收集单元、探测单元、数据甄别单元组成；收发同步系统实现发射机和接收机的时钟同步和实时通信。本发明可以有效克服现有量子雷达对于量子纠缠的高度依赖，提高量子雷达的易操作和易装备性，提高对暗弱小目标的探测能力，为未来量子雷达的大规模应用提供关键技术支撑。

摘要： 本发明公开了一种苯烯烃硝基类化合物作为群体感应抑制剂的非经典抗菌活性用途，所述苯烯烃硝基类化合物可应用作为紫色杆菌、铜绿假单胞菌和粘质沙雷氏菌的群体感应抑制剂，其中对甲基苯乙烯硝基化合物对粘质沙雷氏菌的被膜抑制率最高可达80%，进一步对粘质沙雷氏菌的被膜破坏率高达85%，对铜绿假单胞菌的被膜破坏高达60%，具有很好的群体感应非经典抗菌的潜在应用价值。

摘要： 本发明提供了一种非经典阻尼振动系统的动力响应计算方法，包括下列步骤：非经典阻尼振动系统振动方程解耦；解耦传递函数降维；Laplace域振动方程表征及外荷载极值‑留数分解；非经典阻尼振动系统动力响应求解。该方法避免了周期性假设缺陷，在保证瞬态响应求解精度的同时，不依赖于时间步长，提高了时域动力响应计算效率；且该方法精度更高，能够处理含非谐波成份的外荷载，因此能够实现快速、精确的动力响应计算。

摘要： 本发明涉及一种用于在微生物宿主细胞中产生目标重组多肽的方法，其包括(a)向微生物宿主细胞中引入编码所述目标多肽的多核苷酸，所述微生物宿主细胞已经被修饰，使得所述微生物宿主细胞中的选自酮醇酸还原异构酶(NADP(+))活性(EC 1.1.1.86)、乙酰羟酸合酶活性(EC 2.2.1.6)、天冬氨酸激酶活性(EC 2.7.2.4)、高丝氨酸脱氢酶活性(EC 1.1.1.3)和L‑苏氨酸脱水酶活性(EC 4.3.1.19)的酶活性与未经修饰的微生物宿主细胞中的所述酶活性相比被调节；以及(b)在所述微生物宿主细胞中表达所述目标多肽。此外，本发明涉及一种用于减少至少一种非经典支链氨基酸向微生物宿主细胞中表达的目标重组多肽中的错掺的方法。