Granular Reasoning Using Zooming In & Out: Part 2. Aristotle's Categorical Syllogism

The concept of granular computing is applied to Aristotle's categorical syllogism. Such kind of reasoning is called granular reasoning in this paper. For the purpose, two operations called zooming in & out are introduced to reconstruct granules of possible worlds.     

基于模糊理论和三段论推理的电影情感分类

人类情感反应具有模糊属性,针对直接应用视频底层特征识别情感类型难以提高精确度的问题,本研究在情感关联底层特征的基础上引入了模糊隶属函数,采用最大隶属度模糊化原则对底层特征进行处理,最终得到一种蕴含情感信息的特征来描述视频片段,为随后采用三段论推理实现电影情感分类提供了合适的特征,这种特征能缩短情感鸿沟。三类基本情感的分类精确度都超过84％,与现有方法相比,分类精确度平均提高了9.33％。因此本研究所提出的算法能有效地提高电影情感分类的精确度。     

基于可能世界的网构软件之自动推理研究

为了实现网构软件的自动推理问题,在基于可能世界的网构软件模型上,给出了一种基于概念分析的自动推理系统。通过对三段论的分析得到了自动推理的一般原则,并运用这些原则解释了三段论中正确的24式。通过对形式概念的讨论得到了概念编码的方法,并给出了编码的三值运算规则。最后,通过一个具体例子的应用分析,给出了使用该编码进行自动推理的一般步骤,运算结果表明,自动推理方法在机械化与效率方面优于传统的归结原理。     

选言推理在侦查工作中的运用

侦查工作离不开选言推理的运用,这已为长期的侦查实践所证明。运用选言推理有助于判定案件的性质,缩小侦查的范围,证明侦查假设。运用时应当注意：选言命题要力争穷尽一切可能;小前提必须真实;大前提为相容选言命题时,不能用肯定否定式进行推论;其推理的结论只能作侦查办案的线索,不能作定案的依据。只有这样,才能在侦查工作中发挥出它应有的作用。     

Distinguishing logic from association in the solution of an invisible displacement task by children (Homo sapiens) and dogs (Canis familiaris): Using negation of disjunction.

Prior research on the ability to solve the Piagetian invisible displacement task has focused on prerequisite representational capacity. This study examines the additional prerequisite of deduction. As in other tasks (e.g., conservation and transitivity), it is difficult to distinguish between behavior that reflects logical inference from behavior that reflects associative generalization. Using the role of negation in logic whereby negative feedback about one belief increases the certainty of another (e.g., a disjunctive syllogism), task-naive dogs (Canis familiaris; n?=?19) and 4- to 6-year-old children (Homo sapiens; n?=?24) were given a task wherein a desirable object was shown to have disappeared from a container after it had passed behind 3 separate screens. As predicted, children (as per logic of negated disjunction) tended to increase their speed of checking the 3rd screen after failing to find the object behind the first 2 screens, whereas dogs (as per associative extinction) tended to significantly decrease their speed of checking the 3rd screen after failing to find the object behind the first 2 screens. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

基于若干直觉模糊关系的近似推理方法

通过定义一种直觉模糊加法算子,修正Ra的直觉化,研究直觉模糊三角模及其剩余蕴涵算子。将Mizumoto定义的系列模糊关系自然地扩展为直觉模糊关系,通过算例,从8个方面量化比较研究了9种基于不同直觉模糊关系的推理性能,对于直觉模糊假言推理和直觉模糊拒取式推理,Rs, Rg和Rgg都是性能比较好的直觉模糊关系,Rsg, Rm, Ra和Rgs次之,Rc, Rss性能最差。     

基于感性工学研究的热计量器设计

采用感性工学推论法对热计量器进行感性工学研究,确定0次感性概念为热计量器与居家装饰一体,以此类推,得到热计量器的设计细节。该设计改变了传统的设计理念,将设计分成几个细节,并将一些其他产品的现代元素引入到热计量器的设计中,再根据推论逐渐的展开,该设计对于国家热计量设备的改进具有一定的启发和指导意义。