逻辑语义

摘要： 一复句和单句一样都是语法、语义相统一的结构体。语法为表,是形式;语义为理,是内容。同一语法形式可以表达不同类型的逻辑语义,同类逻辑语义也可以用不同的语法形式实施表达。例如单句的主谓结构中,其语义关系就有"施事——受事""受事——施事""话题——评论"等的不同。复句也是如此。

摘要： 视频标题生成与描述是使用自然语言对视频进行总结与重新表达.由于视频与语言之间存在异构特性,其数据处理过程较为复杂.本文主要对基于“编码−解码”架构的模型做了详细阐述,以视频特征编码与使用方式为依据,将其分为基于视觉特征均值/最大值的方法、基于视频序列记忆建模的方法、基于三维卷积特征的方法及混合方法,并对各类模型进行了归纳与总结.最后,对当前存在的问题及可能趋势进行了总结与展望,指出需要生成融合情感、逻辑等信息的结构化语段,并在模型优化、数据集构建、评价指标等方面进行更为深入的研究.

摘要： 递进复句是复句中重要的类型,留学生在习得时容易发生偏误,但不同递进类型的习得偏误表现不同。本文结合逻辑语义学,将“不但……而且……”划分为四种递进类型并进行句式分析。在此基础上,结合语料库进行留学生习得偏误分析,采用统计对比等方法,将留学生常见的递进复句偏误类型进行分类,并提出教学建议。

摘要： 英语和汉语属于不同的语系,逻辑语义表达差异是两者反映在语言上的差异之一。Halliday认为,小句复合体是语篇的基本单位之一,在分析句子语法以及小句成分方面有着显著优势。本研究以Halliday提出的逻辑语义关系系统为依据,通过对朱自清笔下的《匆匆》语篇原文及其译文进行对比分析,探索英汉散文语篇各自的逻辑语义结构特征,归纳出英汉散文语篇逻辑语义表达的相似性与差异性。研究发现,在英汉语篇中,详述、延展、加强这三种扩展关系都有着不同频率的分布,延展关系所占比例最高,其次是增强关系,最少的是详述关系。此外,汉语语篇的语义逻辑联系更多地倾向于隐性表达,而英语语篇的语义联系更多地依赖显性逻辑连接词。

摘要： "不是所有X都叫Y"的语表形态较为丰富,句中X和Y在成分、音节等多个方面存在差异;二者的逻辑关系只能是包含或交叉关系,是交叉关系时可以相互易位而不影响句义.从逻辑上的等价形式来看,该句式的解读路径有两条:常规解读路径和潜藏解读路径.常规解读路径通向客观指异功能;被流行语激活的潜藏解读路径通向主观凸显功能.言者的主观视点是解读其句义的关键,视点变化会影响对解读路径的选择,进而导致语用功能的转移.

摘要： 图像标题生成与描述的任务是通过计算机将图像自动翻译成自然语言的形式重新表达出来,该研究在人类视觉辅助、智能人机环境开发等领域具有广阔的应用前景,同时也为图像检索、高层视觉语义推理和个性化描述等任务的研究提供支撑.图像数据具有高度非线性和繁杂性,而人类自然语言较为抽象且逻辑严谨,因此让计算机自动地对图像内容进行抽象和总结,具有很大的挑战性.本文对图像简单标题生成与描述任务进行了阐述,分析了基于手工特征的图像简单描述生成方法,并对包括基于全局视觉特征、视觉特征选择与优化以及面向优化策略等基于深度特征的图像简单描述生成方法进行了梳理与总结.针对图像的精细化描述任务,分析了当前主要的图像“密集描述”与结构化描述模型与方法.此外,本文还分析了融合情感信息与个性化表达的图像描述方法.在分析与总结的过程中,指出了当前各类图像标题生成与描述方法存在的不足,提出了下一步可能的研究趋势与解决思路.对该领域常用的MS COCO2014(Microsoft common objects in context)、Flickr30K等数据集进行了详细介绍,对图像简单描述、图像密集描述与段落描述和图像情感描述等代表性模型在数据集上的性能进行了对比分析.由于视觉数据的复杂性与自然语言的抽象性,尤其是融合情感与个性化表达的图像描述任务,在相关特征提取与表征、语义词汇的选择与嵌入、数据集构建及描述评价等方面尚存在大量问题亟待解决.

摘要： 叙事语篇中,“然后”在序列事件小句中的位置并不完全受语用的制约,语义节点和逻辑语义关系在其中也起着非常重要的作用,其中语义节点从正向的角度影响“然后”偏爱在什么位置出现,小句间的逻辑语义关系从负向的角度影响“然后”偏爱不在什么位置出现.很多情况下,这两股力量交织在一起,综合影响着“然后”在序列事件小句中的位置.

摘要： 现有的研究对汉语必要条件关系条件句的语义解释不够充分和系统,建立汉语必要条件关系范畴用以统摄以必要条件命题及相关推理为语义基础的汉语条件句集合.从底层的逻辑语义结构出发推求语言表达格式的语言化意义,结合言语行为类别归纳必要条件关系范畴的话语意义,如此可以使此范畴语义的解释更加系统与充分.汉语必要条件关系范畴的语义是对外汉语教学的重要内容,结合国家汉办的《国际汉语教学通用课程大纲》和刘珣主编的《新实用汉语课本》中有关条件句的设置,提出新的教学思路,最后依据条件句习得的研究现状给出相关的教学建议.

摘要： 逻辑语义视角分析语言与其他符号模态的互动,功能、层次、现象三种维度共同构成了三维语义空间框架,意义完整生成过程中政治漫画多元性、系统性及功能性被揭示,既为构建逻辑语义范畴视域下多模态符际关系奠定了理论基础,也为系统功能语言学者尝试实例分析多模态语篇提供了逻辑语义描写框架,从而加深对符号学的认识.

摘要： “都”的逻辑语义功能是近年来语法研究的热点，“都”字句的信息结构也有相关文章讨论。本文在分析“都”字句信息结构的基础上，探讨了“都”的逻辑语义功能与“都”字句信息结构之间的关系。文章认为：“都”字句信息结构的特点，在一定程度上是由“都”作为分配算子或全称量词的逻辑语义功能所决定的。

摘要： 模态是事物或认识的必然性和可能性等这类性质。模态在人们思维中的反映表现为一定的认识或观念，它也被称为模态概念。通常，模态分为主观的和客观的，客观模态又分为逻辑模态和非逻辑模态。长期以来，模态与认知、符号功能与逻辑语义等问题一直为哲学认知所关注，由此，探析逻辑模态与符号模态的关系以及它们的哲学意义，就显得尤为重要。

摘要： 扩展了现有的属性委托授权机制的二值信任为主观区间信任,提出了可信角色和信任约束概念的定义,建立了依据角色信任评估的角色委托控制策略,建立了依据实体信任评估的授权控制规则,给出了委托策略中实体信任度递减的计算方法,将这些策略和规则用逻辑的语法形式表示,并进一步对逻辑程序赋予计算推导的语义,在属性委托授权机制的逻辑语义基础上实现了委托和授权的主现信任控制.

摘要： “条件隐于加语”是吕叔湘先生在《中国文法要略》中提到过的现象。本文结合带有非限定性定语的定指中心语、无指中心语、类指中心语等多方面的内容，探讨了定中结构与整个主句谓语部分形成一种逻辑语义关系的句子，即吕先生所说的“条件隐于加语”的现象。

摘要： 本文主要探讨应用于语义分析的一种“扩充的逻辑语义分析法”，特别是这一语义分析法所包含的两条主要原则——类重设原则和逻辑谓词原则，并在此基础上进一步讨论了这一语义分析法的理论内涵和应用特点。

摘要： 硬件验证是逻辑设计自动化工作中的重要组成部分，目前在该领域缺乏有效的工具支持。

摘要： 本发明公开了一种语义逻辑处理方法及系统，方法包括获取待语义分析信息；识别待语义分析信息，将所述待语义分析信息转换为目标文本信息；对目标文本信息进行预处理，生成与目标文本信息中的实体词相对应的实体标签，并将实体标签添加至目标文本信息，生成第一文本信息；对第一文本信息进行切分，得到至少一个句子；对切分后得到的句子进行处理，得到每个句子的意图类别、意图逻辑关系以及语义槽值；基于所述意图类别、意图逻辑关系以及语义槽值分析所述待语义分析信息的语义。本发明能够提高语义理解和用户需求理解的精确度。

摘要： 本发明提供了一种调整语义逻辑混乱的语料的方法及系统，其方法包括：获取逻辑清晰、语义完整的语料样本，根据所述语料样本建立语音库、语义槽和正则表达式库；获取用户语音；将所述用户语音和所述语音库进行匹配，得到匹配分词，所述匹配分词为所述用户语音中匹配结果相符的分词；根据所述语义槽确定所述匹配分词对应的匹配分词词性；根据所述正则表达式库中的正则表达式和所述匹配分词词性调整所述用户语音中分词的位置，得到逻辑正确的文本数据；根据所述文本数据进行语义解析。本发明通过调整逻辑混乱的语料中分词之间的相对位置，从而智能识别真实的用户意图。

摘要： 一种对智能可编程控制器中的自动化系统数据进行情境化的方法包括智能可编程逻辑控制器搜集自动化系统数据并且创建自动化系统数据的结构化表示。智能可编程逻辑控制器基于与自动化系统数据的结构化表示的相关性，从多个可用语义情境模型选择语义情境模型，并且使用语义情境模型和自动化系统数据的结构化表示来创建语义情境化数据。通过智能可编程逻辑控制器将语义情境化数据存储在可操作地耦合到智能可编程逻辑控制器的非易失性计算机可读存储介质上。

摘要： 本发明涉及一种基于时态描述逻辑ALC‑μ的语义物联网服务验证方法和系统，方法包括：根据构建包含语义物联网服务的背景知识库K；构建待验证的语义物联网服务性质的公式；建模得到状态转移系统模型M；将待验证的语义物联网服务中的原子服务的语义进行断言；根据断言集合对在设定状态S下的状态转移系统模型M性质的正确性进行验证。发明将描述逻辑ALC的推理机制与μ演算模型检测算法结合起来，给出相应的时态描述逻辑ALC‑μ及其模型检测算法；一方面使用ALC‑μ公式对所期望的性质进行刻画，另一方面参照ALC‑μ的解释结构引入状态迁移系统，作为待检测的系统模型，弥补了传统验证方法没有考虑对命题描述不充分的局限性。

摘要： 本发明公开了一种基于文本逻辑特征的语义风险计算方法，包括：结构类型预定义，构成预定类型的语义逻辑组合；将待处理文本按段落切分成若干文本，并作切词处理；对待处理段落的词语组合，根据预定义的预定类型的语义逻辑组合进行匹配，遍历预定类型的语义逻辑组合，对命中所有定义语义结构的词语集合计算段落风险值；对所有段落，执行匹配计算处理；归类计算待处理文本所有段落匹配的风险集合，按照段落权重、段落风险值进行累加计算，规约计算后获得顺序化的风险及其分值。通过本发明能够实现高效准确的风险挖掘处理。

摘要： 本发明公开了一种基于公共谓词逻辑的语义固化和派生方法，其步骤包括：1)为自动机A选取或设计语义单元X，构成一语义单元集{X}及其对应的数据状态集{D}；2)对{X}中各语义单元进行数字特征获取并计算每一语义单元的索引值，得到一语义单元索引集{H_X}及数字特征集{Sign_X}；对{D}中各数据状态进行数字特征获取并计算每一数据状态的索引值，得到一数据状态索引集{H_D}及数字特征集{Sign_D}；3)分别以{H_X}、{H_D}作为输入进行计算模式得到自动机A的根Root_A；4)A’通过Root_A启动自动机A，获取自动机A的所有语义单元、数据状态进行驱动，从而获得对自动机A的需求。

摘要： 本发明公开了一种基于口语对话特征的语义逻辑表达和分析方法，通过对按照口语对话顺序输入的对话角色的对话文本，采用关键字词顺序规则的定义方式，结合and，or，not和括号组成的逻辑关系表达式，可以实现对多个语义表达的综合逻辑规则表达能力，进而对任意口语对话型文本进行信息特征提取和分析。本发明公开的基于口语对话特征的语义逻辑表达和分析方法，可以充分发掘具体业务对话场景下的上下文特征，采用更符合人思考的逻辑和方式，可以为特定业务场景和用途提供复杂的逻辑表达和分析工具，具有广泛应用前景。

摘要： 本发明涉及信息处理技术领域，具体的说是一种能够对问答数据进行量化分析、并输出包括正向语义和逆向语义的标准化结果，进而有效提高信息处理效率和准确度的基于语义逻辑唯一性判断的处理问答数据的方法及系统，其特征在于，首先判断当前语句pi是否为可求逻辑真值的陈述句，若不是，需先将当前语句转换为可求逻辑真值的陈述句；若当前语句pi是可求逻辑真值的陈述句，则对当前语句pi取非值，获得逆向逻辑语句并且判断且0为假，是否成立，若成立，则输出逆向逻辑语句否则判断当前语句不具有语义逻辑唯一性。

摘要： 一种图像语义分割方法、可编程逻辑电路、系统及电子设备。可编程逻辑电路包括卷积处理模块和反卷积处理模块。卷积处理模块接收图像后对其进行卷积运算处理，以生成图像的各个特征图块的特征数据；反卷积处理模块对各特征数据进行反卷积运算处理，以分别得到与各特征数据的特征图块同尺寸的图块区域；判断各特征数据与各预设语义类别的近似程度，并将各特征数据归为与其近似程度最高的预设语义类别中；其中，各预设语义类别关联有与其一一对应的各填充色彩；用各特征数据所在的预设语义类别所关联的色彩为对应的各图块区域进行色彩填充以实现对图像的语义分割。该方法通过硬件电路实现图像语义分割，极大程度上提高了数据处理速度。

摘要： 本发明提供了一种调整语义逻辑混乱的语料的方法及系统，其方法包括：获取逻辑清晰、语义完整的语料样本，根据所述语料样本建立语音库、语义槽和正则表达式库；获取用户语音；将所述用户语音和所述语音库进行匹配，得到匹配分词，所述匹配分词为所述用户语音中匹配结果相符的分词；根据所述语义槽确定所述匹配分词对应的匹配分词词性；根据所述正则表达式库中的正则表达式和所述匹配分词词性调整所述用户语音中分词的位置，得到逻辑正确的文本数据；根据所述文本数据进行语义解析。本发明通过调整逻辑混乱的语料中分词之间的相对位置，从而智能识别真实的用户意图。