基于语义网络的方案设计过程表达与推理

从基于机械运动方案设计的表达方法必须能支持概念设计全过程的思想出发，提出计算机辅助概念设计系统必须能够表达设计方案、产生方案、产生多个方案和确定最优方案．根据方案表达方法应具备的基本功能要求，选用语义网络技术表达设计方案过程、工艺动作、机构及其相互间的关系，通过对设计方案中机构时间配合及其影响的表达和调整实现了方案设计运动循环图表达的计算机辅助化．利用基于语义网络表示的不确定性推理技术构造待求问题的语义网络片断，通过已有设计实例与设计要求的属性值与属性值、属性值与属性值域、属性值域与属性值域三者的匹配比较构造贴近度计算公式，并对工业平缝机中的挑线机构进行了机构选型．实例证明了击模型的正确、实用性．     

从差比句的比较看《醒世姻缘传》的作者

从语言学的角度对《醒世姻缘传》作者的身份进行考证。在比较《醒世姻缘传》、《聊斋俚曲集》、《续金瓶梅》三部作品的差比句的基础上,通过数据量化分析,并结合汉语发展史和山东方言的现状,认为在行文风格上这三部作品存在着较大差异,《醒世姻缘传》的作者应该是一位长期生活在鲁东或鲁中的山东人。     

基于粗糙集理论的模糊信息分类方法

介绍了属性约简的概念,并用模糊语义距离矩阵解决了含有模糊数据的相互依赖的数据库的信息分类问题。     

连续事件的语义数据模型

语义抽象概念aggregation和generalization不仅对不包含时间概念的复杂情况的数据模型的建立很有用，而且还可以成功地用于连续事件的建模。建立了两种情况并存的语义数据模型：or—dering(次序)和sequencing(先后顺序)，并且可以在任何程序环境下实现。     

英译汉中对隐性否定语境的处理

英语中隐性否定存在于各种不同的句式和结构中，诸如在特定语调下的某些疑问句、某些祈使句、感叹句、条件句和一些肯定的陈述句中都存在隐性否定语境。对含有隐性否定意义的各类典型例句加以分析，从而了解其独特奇妙的表达方式，准确地做出汉语翻译。     

机器翻译中基于语法、语义知识库的汉语词义消歧研究

词义消歧研究在自然语言处理的许多应用领域中具有重要的理论和实践意义，在机器翻译中更是如此，它直接关系到译文质量的提高，但目前已有的词义消歧系统基本上都面临着消歧知识获取的瓶颈问题，要真正有效地提高词义知识库的质量，需要在词类划分基础上，增加词义的误法功能分析和语义搭配限制，综合利用现有的语法，语义资源，提取多义词的每个意义在不同层次上的各种分布特征，以此为基础，给出了一个汉英机器翻译系统中基于语法，语义知识库的汉语词义消歧分析模型，初步的实验结果表明，该方法可以高质量地进行汉语名词，动词，形容词的词义消歧。     

《吕氏春秋》的反问句研究

在穷尽考察《吕氏春秋》疑问句的基础上，对其中的反问句从形式特征、语义模式和语用功能三个方面进行描写和阐释，着重揭示不同形式的反问句的语义蕴涵和语义模式。认为《吕氏春秋》中反映出来的反问句无论是在形式上还是在功能上都已经十分接近现代汉语的反问句状态。     

中西语义不尽同--漫谈翻译中的语义差异

翻译是一种艺术，是一种驾驭中西语言的艺术，是一种带有创造性的艺术。要搞好中西语言的翻译工作绝非易事。它要求译者要有扎实的中西语言的基本功，熟练地掌握所译语言，熟悉文字国(或民族)的地理、历史、文化和风俗习惯等因素，加强文化修养，掌握中西语言互译时的特点及不同的表现方法。本文就翻译中涉及到的一些问题进行了剖析和探讨。     

模态算子与全称量词－－蒙太古构造的一个模态逻辑公理系统

本介绍和评估了美国逻辑学家蒙太古构造的一个模态逻辑语言S。S是一阶语言加上符号N所构成。N可分别看作为逻辑必然、物理必然、伦理必须和全称量词。蒙太古最早作出这种在一综合框架下处理模态算子与全称量词的系统。对模态算子与量词的混用所造成的困难提供了一个解决方法。在蒙太古的模态语言S中，模态算子与量词的联合使用并不会造成美国逻辑学家蒯因所指出的那种困难。     

析取逻辑及析取逻辑程序的语义研究

在用不完全知识进行常识推理时，常用缺省方式推导结论，然而当缺省否定算子ｎｏｔ被定义成ｎｏｔ ｐｒｏｖｂｌｅ（不可证）时，析取逻辑程序（ａＶｂ，ｎｏｔ ａ，ｎｏｔ ｂ）应该是一致的，因为ａ不可证且ｂ不可证并不意味ａＶｂ不可证，虽然这是一个很重要的事实，但现有主要的析取逻辑程序语义理论却不能支持它。其主要原因是这些理论都基于传统的一阶谓词逻辑，其中否定ａ且否定ｂ将导致否定ａＶｂ，现提出一种支持上述事实