情景语义学对条件句的语义刻画

情景语义学用情景类之间的制约关系来表示自然语言语句的意义,为合理解释条件句的意义提供一个新思路。情景语义学认为条件句的意义就是其前件和后件所涉及的情景类之间的制约关系。情景语义学对条件句的语义刻画适用于不同种类的条件句,对自然语言语义学和逻辑学领域产生重要影响。     

基于信息流图的隐通道分析技术研究

为了减轻隐通道分析人员的负担,提出了一种基于信息流图的隐通道识别和分析方法.信息流图简单、直观地表现了信息从发送者经过特定的属性集合传播到接收者的过程.介绍了信息流图的构造方法和潜在隐通道的搜索方法.为实现隐通道的自动分析,提出了操作序列分析的6条基本规则并引入了等价操作序列的概念.开发了一个隐通道自动分析工具.实验结果表明该工具大大减轻了隐通道分析人员的工作量,同时能够产生所有真实的隐通道应用场景.     

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

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

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念.传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向.从形式语义学比较语言学的不足可以看到其未来发展的思路.     

论形式语义学

阐述了形式语义学关于“语法”、“句法和语义”,以及“语词和语句”等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。     

分段式话语表现理论

分段式话语表现理论（Segmented Discourse Representation Theory,简称SDRT）把动态语义学和人工智能关于话语解释的研究结合起来,并把修辞结构引入动态语义学。SDRT包含了两种逻辑：信息内容的逻辑和粘着逻辑。SDRT使用语义未具体化陈述的语言Lulf来描述话语的逻辑形式,表达关于语义未具体化陈述的信息,Lulf的推论关系抓住了未具体化逻辑形式和所有可能的解释之间的关系。通过粘着逻辑和最大化话语融贯性原则,话语更新定义了未具体化逻辑形式和语用上更可取的解释之间的关系。     

述补谓语句的形式语义分析

中文信息处理是当今众多学科关注的热门话题,而自然语言的形式分析是实现这一任务的必要环节.分析了述补谓语句中各类补语在语形、语义等各方面的特点,并利用转换生成语法、现代谓词逻辑、类型论、范畴论、广义量词理论、集合论和λ-转换等工具分别对各类述补谓语句的语义及句法生成等作了探讨,以期有助于中文信息处理的相关研究.     

工作场所安全行为国际研究50年——知识演化与未来展望

工作场所安全行为研究在过去50年已形成丰富的知识体系,分析该领域知识流动与演化过程,展望未来研究方向,对提升我国安全生产治理现代化水平具有重要指导意义。以Web of Science数据库收录的1 086篇SCI和SSCI期刊文献为样本,综合使用CiteSpace、Histcite以及Pajek等文献计量和大规模引文网络分析工具,明确1973—2021年间工作场所安全行为研究概貌特征,挖掘该领域研究热点及其关联性,以揭示知识扩散路径。研究发现：工作场所安全行为国际研究在2003,2013年经历2次快速发展,且形成以美国、中国和澳大利亚为核心的跨国合作研究网络;工作场所安全行为国际研究经历初始萌芽、初步发展和快速发展3个主要阶段,尽管安全氛围和安全领导力一直是该领域研究热点,但不同阶段的研究热点经历了从事故伤害到安全行为、从安全文化到安全氛围、从安全领导力到安全心理契约的多维转变,体现了时代特征和现实需求。最后,从研究场景、视角、范畴、内容、对象和方法等6个方面,提出工作场所安全行为领域未来研究方向。     

基于门级信息流分析的安全体系架构设计

现代处理器架构中的缓存器、分支预测器等部件通常都包含难以检测的隐通道,成为攻击者入侵系统的切入点。现有方法难以有效地检测硬件相关的隐通道,从而使得这些安全漏洞往往在攻击造成严重损失后才暴露出来。该文构建了一种基于执行租赁机制的安全体系架构,以严格控制不可信执行环境的影响边界,保证不同执行环境之间的严格隔离,并采用门级抽象层次上的信息流分析方法,建立硬件架构的信息流模型,实现对硬件中全部逻辑信息流的精确度量,通过捕捉有害信息流动来检测硬件架构中潜在的安全漏洞,进而通过指令集架构的信息流模型向上层提供信息流度量能力,以实现软硬件联合安全验证。     

基于符号学理论的产品交互界面设计研究

从符号学理论角度探讨产品交互界面的设计方法,分析影响产品交互界面的用户认知困境的原因,总结提高用户认知度和满意度的有效方法。认为可以通过符号语义学方法,即从信息-造型转换的形态语义、引导操作语义、激发情感的语义这3个方面来对产品界面信息进行符号编码。     

处于时间情景中的推理与形式化

现实的推理是在时空中进行的,推理本身需要花费时间。传统的逻辑理论忽视了这一点,从而导致逻辑全能。为此,给出了相关的案例,表明现实的推理处于时间情景之中 同时,介绍了几个涉及时间的形式化理论,指出它们研究的是关于时间的推理,而非处于时间之中的推理 最后,阐述了一个新的逻辑理论——步进逻辑,认为步进逻辑体现了推理的时间情景,有着良好的应用前景,进而提出了未来的研究设想。     

语言哲学视角下的罗素摹状词理论概述

罗素从研究意义指称论出发,对语句结构进行深入的逻辑分析,提出了著名的摹状词理论。这不仅成功地解决了哲学史上的语义学三大难题,而且对逻辑学和哲学都产生了巨大影响。本文仅就这一理论产生的理论渊源、三大语义学难题、理论内容及其对三大难题的解决进行概述,同时指出了该理论的重要意义。     

互模拟与非良基集合

描述两个系统的行为等价性,同态显得太弱,同构又显得太强,寻找一个介于同态与同构之间的概念就导致了互模拟的产生。互模拟有3个发源地,我们只从集合论这个角度来探究互模拟的起源。当人们把研究领域扩展到非良基集合时,通常的外延公理在判断非良基集合相等方面已显得无能为力,因此必须寻找新的更强的标准来断定集合的相等性,互模拟概念在集合论中应运而生。     

基于逻辑的行动理论综述

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

I-语义学对隐喻的诠释

乔姆斯基把语言分为外部语言（E-语言）和内在语言（I-语言）。语义学作为研究语言和世界之间关系的理论,相应地,也应有E-语义学和I-语义字之分。E-语义学研究语言与世界之间的关系。I-语义学研究语言使用者（大脑）中的语言知识。语义和认知关系密切。语义结构和概念结构是一致的。隐喻是现实世界中一种无所不在的语言现象。隐喻涉及到特殊认知领域,并具有许多心理语言学的特征。     

逻辑语义学中的组合原则

组合原则是逻辑语义学中的核心原则,对组合原则的恪守推动了逻辑语义学理论的不断改进。组合原则是实现语义可组合运算的基础,本文旨在澄清在贯彻组合原则的过程当中,需要加以注意的两组概念：复合表达式的组成部分及其意义;语义的函项运算。     

可拓学的重要科学问题及其关键点

提出可拓学中需要重点加强研究的科学问题并指出其关键点,主要包括：基于变换的动态集合论和表征它的函数论,使矛盾问题转化的逻辑,能克服数学模型局限性的形式化模型,事物拓展的规律与方法、全面认识事物的理论与方法和变换的理论与方法体系．对这些科学问题的深入研究,可以为应用研究提供强大的理论和方法支持,使矛盾问题的智能化处理取得突破．     

人工智能难题和程序语义学

句法机如何成为语义机是人工智能面临的难题,也是当代意向性理论研究的重点.程序语义学是试图解释这一问题的重要致思取向.它认为传统的人工智能、计算机科学等是以模态理论语义分析为基础的,其研究尚停留在符号的层面,而未涉及到真值、指称,即没有涉及到语言与世界的关联.在揭示语言与世界关联如何实现的问题上,程序语义学强调语义不是由对指称的计算所给予的,也不是由谓词逻辑的标准语义学所给予的,而是由程序给予的.程序语义学不但能够融合如福吉勒特等意义理论的局限,而且所提出的过程性分析和知识对于人工智能的研究、发展亦有启示性.     

可拓学的科学意义与未来发展

阐述可拓学研究的科学意义和发展前景：可拓学探索构建连接自然科学和社会科学的桥梁及解决矛盾问题的形式化方法体系;在4个方面对数学基础和逻辑作了较大的拓展,必将导致数学和逻辑产生较大的变革;与其他学科的交叉融合,产生了信息、控制、管理和思维科学等领域中的可拓工程理论与方法．矛盾问题的智能化处理,是一项重要的、探索性强的前沿基础研究,它将产生一批理论成果、应用成果和高水平的智能系统．     

动态认知逻辑的一个批评

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