情景语义学的逻辑研究

情景语义学逻辑研究大致经历3个发展时期和与之相对应的3次理论重心的转移。1980年到1985年为理论成型期,研究主要集中在理论本身的建构和哲学解释方面;在逻辑工具的选用上经历了从以标准集合论为工具的合成研究向以公理论和非良基集合论为工具的分析研究的转变。1985年到1993年前后为理论成熟期,其理论影响涉及多个相关领域,理论重心转变的直接结果就是信息通道理论的产生和发展。1994年后为理论拓展期,信息通道理论和信息流逻辑研究成为新的研究方向和热点。情景语义学逻辑研究在情景语义学元理论逻辑研究、情景语义学的逻辑应用研究、情景逻辑系统的构建、情景语义学和其他形式语义理论的融合研究、信息通道理论和信息流逻辑研究等5个方面都取得了进展。前2个方面的研究比较成功,有一大批研究成果问世并在逻辑领域产生积极影响,但后3个方面的研究尚存不足。所以,以情景语义学和情景理论中的信息流思想和信息通道理论为基础,提出一个完整的信息流理论是情景语义学及其逻辑研究的当务之急。     

从逻辑观的演变看逻辑语义学的发展

逻辑观的进步是逻辑语义学发展的内在动力.古典逻辑观向现代数理逻辑观的转化促成了塔斯基逻辑语义学的产生,但对形式系统的过分注重使它局限于外延层面.随着逻辑观的进一步发展,对由自然语言所承载的日常推理的刻画成为逻辑研究的重心,这种趋势使语义学研究由外延意义向内涵意义的过渡成为可能,卡尔纳普的外延-内涵方法和蒙太古语法的建立是这种可能的现实实现.     

逻辑联结词在电灯开关设置中的应用

逻辑是探索、阐述和确立有效推理原则的学科,逻辑联结词把自然语言转化为数学符号,从而利用数学的相关理论解决实际生活的一些问题,比如解决了生活中的推理问题及生活中的选派方案等问题。文章利用逻辑联结词研究房间电灯开关设置的问题。     

用于描述和验证数字电路的一阶间隔时态逻辑

提出一种新的时态逻辑——一阶间隔时态逻辑（ＦＯＩＴＬ）,它是扩充了间隔时间算子的一阶时态逻辑。它能精确地描述数字电路的时间特性,支持连续和离散的时间结构并能对时间信息进行推理。本文给出了ＦＯＩＴＬ的基本框架,并对其进行了验证。     

基于逻辑的行动理论综述

行动理论是人工智能中重要的研究课题,是当前成为研究热点的智能主体和语义Web服务的理论基础.对行动理论的研究现状进行了总结.首先从采用的逻辑语言的角度将行动理论分为3类:基于谓词逻辑的行动理论、采用命题语言的行动理论、以及基于描述逻辑的行动理论;分别以情景演算、基于命题动态逻辑的行动理论和动态描述逻辑为例,对每种类型的行动理论进行了介绍,阐述了各类行动理论的特点.接下来对目前行动理论中存在的问题进行了分析,在此基础上提出了行动理论研究目前面临的若干挑战和机遇.     

CS逻辑的分析及改进

较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed--release公钥协议的逻辑,本文分析了原始CS逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed--release公钥协议的特性,并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析.     

CS逻辑的分析及改进

较之以往的形式化分析工具BAN及BAN类逻辑，CS逻辑是一种将时间与逻辑结构相结合的逻辑，是第一个用来分析与时间相关的Timed—release公钥协议的逻辑，本文分析了原始Cs逻辑的某些推理规则的缺陷，并对其作了改进及扩展，使其能够更好地反映Timed-release公钥协议的特性，并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析．     

逻辑定理在科技管理中的应用

讨论并举例介绍了几种常见的命题逻辑推理,包括假言推理（充分条件假言推理、必要条件假言推理、充分必要条件假言推理）、尽举选言推理（尽举相容选言推理、尽举反相容选言推理、尽举不相容选言推理）、非推导逻辑定理（不矛盾定理、排中定理）等在科技管理中的应用。在科技管理中应用逻辑定理理论会更有利于搞好科技管理工作。     

法律推理研究的新维度——法律推理研究之语用转向探析

在哲学的语用学转向和非形式逻辑对话与论辩理论等理论的影响下,法律推理研究历经了一个由语形和语义研究到语用研究的转向。在具有强烈对话或论辩色彩的法律实践特别是司法实践中,法律推理研究的这种语用转向,为司法实践中之法律推理提供了新的分析评价视角,也为理性司法提供了更为恰当的逻辑理性根基。     

法律逻辑分型论：信念区别与方法论的划分

单纯的逻辑学和有题材特征的方法论逻辑，是信念研究的两种不同形式抽象，后者对信念形式的研究要兼顾题材的特性。法律逻辑属于后一种方法论逻辑，它的理论结构是3种方法论（法律推理、案情论证、修辞论证）与两种信念（恰当性、合情性）的对应。     

模糊粗糙逻辑语义及其推理

主要从粗糙集、模糊集、逻辑学等三个方面来定义模糊粗糙逻辑的概念,给出了带逻辑符号＂┑,∧,∨,→,＂的模糊粗糙逻辑的真值区间的运算。并分别从＂→,┑,∧,∨＂四个逻辑运算符研究了模糊粗糙逻辑的语义推理。     

模糊空间描述逻辑及应用

提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法,并证明了其正确性和完备性。最后,基于FSDL定义了模糊RCC5关系。     

谓词逻辑在人工智能中的应用

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理,是人工智能产生和发展的最重要的理论基础。本文从具体事例出发,解析了谓词逻辑在人工智能领域中两个主要应用:知识表示和消解原理。并在结束语提出谓词逻辑的局限,希望有更多的学者参加逻辑学的研究。     

动态认知逻辑的一个批评

对于现代逻辑研究来说,理论计算机科学以及人工智能曾经并且正在为它提供的理论动机,在数量和范围上,已经远远超越了数学曾经和能够为它提供的理论动机.认知逻辑作为刻画关于知识和信念的推理的形式体系,可以被看作是逻辑研究应用到理论计算机科学和人工智能等领域的一个重要的形式工具.而动态认知逻辑更在认知逻辑的静态基础之上,扩展以表现各种认知动作及其相应认知变化的算子,得到一系列的形式体系.在此从探寻认知逻辑的理论动机出发,追问我们应该在什么地方应该停止对于"新"逻辑体系的创新,由此对于动态认知逻辑把认知动作纳入形式体系的做法提出了批评:从认知逻辑的应用来说,对认知行动的形式刻画是多余的.     

一种形式化逆推的逻辑方法

本文讨论逆绎推理的形式化问题，指出这一问题的认知基础，然后证明逆绎推理可通过建立必要性假设来完成；ＮＨ构成了对已有知识订的扩充，必须构造必要性假设理论来捕捉逆绎推理的逻辑特征，本文选择缺席逻辑作为形式化ＮＬ的理论框架，并指出ＮＬ的基本性质。     

基于行动逻辑的智能主体行为表征研究

在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法.智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架.BDI主体结构在一些最为重要的多主体系统中得到了广泛应用.动态认知行动逻辑也可以对智能主体的行为进行表征.将BDI逻辑与动态认知行动逻辑融合起来,发展出能够更为有效地对主体不确定性行为进行表示和推理的逻辑是完全可能的.这些研究有助于智能主体不确定性行为的表示和推理,并为分布式人工智能提供形式支持.     

刑事侦查逻辑系统化的思考——宋慈初情论系统性小议

梳理了侦查逻辑讨论中诸多观点。讨论了侦查过程中，关于发散思维、猜想、侦查思维模糊性、回溯推理等侦查思维的问题。认为宋慈的“初情”论对侦查思维技巧有强大的理论统辖力。建议用“初情”将侦查逻辑系统化，更好地完成各个推理技巧的衔接，促成侦查逻辑理论系统的建立。     

逻辑的批判

逻辑批判就是考察思想内在的一致性、推理的必然性和论证的充分性,逻辑的要求是全部理性要求的底线,逻辑批判是一切理性批判的基础和前提,逻辑批判具有重要的理论意义和实践意义。     

逻辑新论

逻辑学就是研究人的理智思维活动的科学,也就是研究人在理智状态下生成与使用概念、命题、推理的实然方式与应然规则的学问,而逻辑就是总结、概括、创造出来的生成与使用概念、命题、推理的规则。概念是高度浓缩了的判断。命题是省略了过程的推理。所有命题通过转换都可以变为两个集合之间的交集是否存在的判断。简述了确认＂命题‘A是B’是真的＂的条件,认为逻辑规则是为了特定的目的而设计出来并约定俗成的思维单元的生成与使用应遵循的规范。目的不同,完成目的而遵循的逻辑规则也不同。逻辑规则不是逻辑规律,逻辑规则是人们对逻辑规律认识后将其运用于思维活动的方式。逻辑规律是一元的,而逻辑规则是多元的。     

逻辑新论

逻辑学就是研究人的理智思维活动的科学,也就是研究人在理智状态下生成与使用概念、命题、推理的实然方式与应然规则的学问,而逻辑就是总结、概括、创造出来的生成与使用概念、命题、推理的规则。概念是高度浓缩了的判断。命题是省略了过程的推理。所有命题通过转换都可以变为两个集合之间的交集是否存在的判断。简述了确认"命题‘A是B’是真的"的条件,认为逻辑规则是为了特定的目的而设计出来并约定俗成的思维单元的生成与使用应遵循的规范。目的不同,完成目的而遵循的逻辑规则也不同。逻辑规则不是逻辑规律,逻辑规则是人们对逻辑规律认识后将其运用于思维活动的方式。逻辑规律是一元的,而逻辑规则是多元的。