基于标准否定函数的WIC-IVIFOWA算子及其应用

首先,通过实例探究现存连续区间直觉模糊有序加权平均(C-IVIFOWA)算子的不足,引入标准否定函数(standard negation),构造对偶连续区间有序加权平均(DC-OWA)算子,进而提出改进的连续区间直觉模糊有序加权平均(IC-IVIFOWA)算子;然后,针对多个区间直觉模糊评价信息的集结问题,基于IC-IVIFOWA算子提出改进的加权连续区间直觉模糊有序加权平均(WIC-IVIFOWA)算子,证明了算子的相关性质;最后,运用WIC-IVIFOWA算子提出一种区间直觉模糊多属性决策方法,并通过实例表明所提出方法的有效性.

“A跟B一样(X)”句式的否定形式研究

比较句“A跟B—样(X)”的否定形式一直是国际汉语教学中的难点。通过对大量语料的统计分析,将“A跟B一样(X)”句式的否定形式分为常用的标准否定式“A跟B不一样(X)”和非常用的特殊否定式“A不跟B一样(X)”两种具体类型,并从句法、语义和语用三个方面对这两种否定形式特征的差异进行探讨,提出在实际的国际汉语教学中,不应简单地用推导方式来讲授这两种否定形式,而应以“实用”为出发点,从“感知”到“理解”进行分级教学,以提升教学效果。

基于ALCO~@的ABox知识更新的研究

以描述逻辑ALCO@为基础研究知识更新。首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算法给出从原知识库得到确定集和冲突集的推演算法。在更新算法执行过程中,首先在原知识库中删除冲突集中的断言,然后把需要添加的断言加入到知识库中,最后修改受更新操作影响的其它断言的约束条件,以使知识库满足开世界假设。

一阶逻辑公式自动推演前的预处理

讨论了一种方法用于在处理γ子式前先对δ子式进行处理,减少了后期执行的工作量,简化了自动推演程序,并对其在理论上进行了证明,同时也得到了对一阶逻辑公式进行范式转换的方法.

浅议单位犯罪司法解释中不具有可操作性的规定

刑法司法解释在弥补刑法立法的不足、保持刑法的相对稳定性、克服刑法规范的抽象性等方面具有不可替代的作用。在我国,随着单位犯罪司法解释的大量颁布,其中的弊端也呈现出来。

化解“按肯定与否定标准分类”的教学难点

“以物体的一个特征作肯定与否定标准分类”的方法是:在提供的一组物体中寻找某一个特征,把它们分成两组。对其中一组作肯定性判断,对另一组按同一特征作否定性判断。一般用“是”与“不是”、“有”与“没有”、“在”与“不在”等表述,如“是苹果”“不是苹果”“有柄的苹果”“没有柄的苹果”等。这种分类方法对促进幼儿初步的逻辑思维能力,培养思维的变通性、灵活性是十分有益的。

吴语绍兴方言否定词的词形特征和语义类别

文章主要讨论吴语绍兴方言否定词的词形特征和语义类别。文章首先指出,绍兴方言存在标准否定用"勿"和存在否定用"无(有)"的基本对立。然后考察了由"勿""无"构成的复杂否定词及其形态变化手段。最后考察了与否定词相关的两项重要语义类别:时间和程度。