非单调逻辑

摘要： 司法判决具有可废止性,因而是相对真实的.但作为一种单称的法律判断,司法判决同样具有客观性.与自然科学判断的绝对客观性不同,法律判断的客观性应该是建立在证据、理由与论证基础上的公共性,即一种“温和的客观性”.非单调逻辑是刻画可废止的法律推理关系的恰当工具.在非单调逻辑中,司法判决的可废止性特征完全符合温和的客观性标准.对于司法判决的可废止性的非单调逻辑刻画,既对理解法律判断的相对真实性与客观性之间的关系具有重要的理论价值,也对法官处理案件具有重要实践意义.

摘要： 在证成语境中,法律裁决是某种书面形式的法律文本；在发现语境中,法律裁决过程是一种特殊的心理活动,它是支持或反对实施某一行动的特定原因.演绎逻辑是一种完全证成的逻辑,非单调逻辑则是关于发现语境的.在法律推理中,演绎逻辑和非单调逻辑都有其局限性,而应用引入法律文化背景的佩策尼克法律转换理论进一步理解证成语境和发现语境的二分,提供了在法律文化背景下进行推理研究的新线索.

摘要： 缺省性和可取消性是一般会话含义的本质特征,又是缺省逻辑的本质属性.从缺省逻辑的视角探讨一般会话含义为自然语言的理解打开了新的思路,为含义推导注入了新的活力.

摘要： 基于不同的法理学观就有不同的法律逻辑观。在形式主义法理观下,司法论证具有多元的单调逻辑系统。在实用主义法理观下,司法论证的逻辑基础是非单调基础逻辑和非单调应用逻辑。因此,单调逻辑是司法论证的必要基础,尽管不够用,非单调逻辑是对单调逻辑的补充,而不是对单调逻辑的否定,司法论证的任务在于把握非单调推理和单调推理在实际司法推理中的作用机理。＂非单调应用逻辑＂可以作为评价司法论证实质向度和程序向度的推理有效性工具。这一研究领域正成为法律逻辑新的增长点。%In view of legal pragmatism,logical basis of Judicial Argument is non-monotonic logic.Therefore,the monotonic logic is a necessary foundation for the judicial argument,though not enough,non-monotonic logic is monotonic logic of the supplement,rather than the monotonic logic of negation,monotonic reasoning and non-monotonic reasoning have the joint work in the actual judicial reasoning.＂Non-monotony of applied logic＂ can be used tools of reasoning effectiveness as evaluating the real dimension and procedural dimension.The field of research is becoming a new growth point of legal logic.

摘要： 对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法.并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势.

摘要： 文章从逻辑和人工智能两个角度简要介绍了缺省逻辑的产生背景,并阐述了缺省逻辑的基本思想、优缺点及其发展前景.

摘要： 由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题.这些系统被称为非单调逻辑.它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法；而从20世纪80年代末90年代初开始,越来越多的逻辑学家开始尝试基于一种新的方法实现推理的非单调性,称为论辩理论.为此,探讨论辩系统以及其后基于论辩系统而提出的论辩框架是如何刻画非单调推理的,并分析它们相互之间的联系.

摘要： 为不同的逻辑规则提供相应的语义特征(即建立表示定理)是非单调逻辑研究中的重要内容之一。K.Britz，J.Heidema和W.Labuschagnez在经典的占优推理系统基础上引入了对偶占优推理的概念。本文给出了一种构造占优模型的方法，并利用该方法建立了对偶占优推理系统的表示定理。

摘要： 逻辑作为人工智能研究中描述和模拟思维的工具，并利用推理来重现人类智能。但是常规逻辑不适于处理不精确、不完全、不确定的信息，为此，人们提出了许多非常规逻辑。该文从知识工程的角度，介绍了用于处理不精确信息的模糊逻辑、处理不完全信息的非单调逻辑以及处理不确定信息的归纳逻辑和概率逻辑，并分析了这些逻辑在知识处理、知识发现中的应用，为设计充分利用这些逻辑优点的数据发掘／知识发现系统打下基础。

摘要： 本发明公开了基于非单调性动态认知逻辑的密码协议分析方法，涉及信息安全的密码协议形式化分析领域，解决了具有知识非单调性的密码协议不能用现有方法来分析的问题，现有的逻辑分析方法所建的模型不精确或推理复杂，导致分析不成功的问题。本发明中所述密码协议中包括多主体，主体包括主体的知识，各主体在协议运行过程中，主体的知识发生变化，该密码协议的整个执行过程采用LNC逻辑语言形式化，采用克里普克模型形式化各主体的知识以及知识的变化，所述LNC逻辑语言采用Forget行为扩展动态认知逻辑。本发明能够发现密码协议的潜在缺陷可以及时更正或更换协议。

摘要： 单调动态-静态伪NMOS逻辑电路包括：具有时钟输入以及具有输出的动态逻辑电路，其中，当向时钟输入提供低时钟信号时，配置所述的输出以便将该输出预先配置为高电平；以及，具有互补时钟输入以及具有输出的静态逻辑电路，其中当向互补时钟输入提供较高值的互补时钟信号时，配置所述的输出以便将该输出预先设置为低电平。逻辑门阵列包括连接在一起的多个垂直超薄晶体管。

摘要： 本发明提供驱动能够切换成从逻辑与(AND)、逻辑或(OR)、逻辑与非(NAND)、逻辑或非(NOR)或者逻辑异或(XOR)的任一种中选择出的1种逻辑非易失性逻辑电路的新方法。

摘要： 本发明提供驱动能够切换成从逻辑与(AND)、逻辑或(OR)、逻辑与非(NAND)、逻辑或非(NOR)或者逻辑异或(XOR)的任一种中选择出的1种逻辑非易失性逻辑电路的新方法。

摘要： 本发明名称为“描述逻辑与可废止逻辑整合的不一致本体非单调推理方法”，属于计算机应用技术领域。在语义Web环境中，本体往往是不一致的，但描述逻辑及描述逻辑推理机都无法对其进行非单调推理。本发明利用可废止逻辑非单调的知识表示和推理及线性的计算复杂性和易于实现等优点，将其与描述逻辑进行整合，从而有效解决上述问题。本发明首先使用这两种逻辑对领域问题进行混合建模，并将描述逻辑的TBox划分为最大一致公理集和最小不一致公理集，然后利用两个转换算法，将公理集映射为可废止逻辑相应的规则，并添加到可废止逻辑中，最后利用可废止逻辑原有的规则和新增的四个可废止推理规则进行非单调推理。本发明在语义Web中具有广阔的应用前景。

摘要： 本发明公开了一种非单调推理在逻辑动作语言系统刻画中的知识表示方法。该方法对多种经典逻辑动作语言进行抽象刻画与性质表示，在统一的特性空间下，给出这些语言的最小特征集。该方法包括逻辑动作语言在回答集逻辑程序语法下的系统化自动翻译、确定性语义特性约束集合构建、稳定模型语义映射与一致性验证三部分内容。逻辑动作语言利用本发明能够系统性地表示与分析逻辑动作语言，并提高针对不同逻辑动作语言系统的知识表示与推理的适用性和效率。

摘要： 本发明公开了基于非单调性动态认知逻辑的密码协议分析方法，涉及信息安全的密码协议形式化分析领域，解决了具有知识非单调性的密码协议不能用现有方法来分析的问题，现有的逻辑分析方法所建的模型不精确或推理复杂，导致分析不成功的问题。本发明中所述密码协议中包括多主体，主体包括主体的知识，各主体在协议运行过程中，主体的知识发生变化，该密码协议的整个执行过程采用LNC逻辑语言形式化，采用克里普克模型形式化各主体的知识以及知识的变化，所述LNC逻辑语言采用Forget行为扩展动态认知逻辑。本发明能够发现密码协议的潜在缺陷可以及时更正或更换协议。

摘要： 单调动态—静态伪NMOS逻辑电路包括：具有时钟输入以及具有输出的动态逻辑电路，其中，当向时钟输入提供低时钟信号时，配置所述的输出以便将该输出预先配置为高电平；以及，具有互补时钟输入以及具有输出的静态逻辑电路，其中当向互补时钟输入提供较高值的互补时钟信号时，配置所述的输出以便将该输出预先设置为低电平。逻辑门阵列包括连接在一起的多个垂直超薄晶体管。

摘要： 本发明公开了一种基于MEMS工艺的非易失性非可逆多逻辑复用的逻辑器件，该器件包括硅基底、逻辑层、绝缘层和控制开关组层，通过接通控制开关组层中不同的控制电极来断开导线层中的导线，实现其逻辑功能的变化。通过配置逻辑器件的端口可以实现与、或、非不同逻辑功能的输出。本发明涉及半导体器件领域，提高了芯片的逻辑度，降低了逻辑芯片的功耗，实现了一块芯片多种逻辑功能复用。

摘要： 本发明披露了一种低泄漏单调CMOS逻辑电路及其方法，用于设计这种电路的设计方法和系统。该电路包括：一个或多个逻辑级，至少一个逻辑级具有占主导的高输入状态或具有占主导的低输入状态；其中占主导地具有高输入状态的逻辑级包括一个或多个相对于参考PFET为薄栅电介质和高阈值电压的PFET，和一个或多个相对于参考NFET为厚栅电介质和低阈值电压的NFET；并且其中占主导地具有低输入状态的逻辑级包括一个或多个相对于参考PFET为厚栅电介质和低阈值电压的PFET，和一个或多个相对于参考NFET为薄栅电介质和高阈值电压的NFET。