非逻辑的

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

At the early 1980s, is an effective mathematic tool to deal with the uncertain or fuzzy knowledge. Rough rule theory has been widely used in information retrieval, digital library, software engineering and knowledge discovery. Its main idea includes acquisition of rough decision rules by reduction of data under the condition of keeping an invariability of classification capacity. And it basically represents a concept by a pair of approximation sets according to the partition on the given data based on the indiscernibility relation. Rough sets theory is well suited to deal with inconsistency of the rough approximations. So it is a new mathematical tool dealing with vagueness and uncertainty, and has found its applications in many areas such as AI, KDD, pattern recognition and classification and fault diagnosis.

主要完成了以下几个方面的工作：(1)对于高速移动机器人车道线跟踪问题中的规则知识获取，首先阐述了模糊逻辑系统的基本特点、工作原理和基本作法，分析了模糊规则知识获取过于依赖专家经验知识、对于每一个细节几乎都需要人工主观经验的参与、难以处理大数据集样本等方面的不足，进而阐述了粗糙集合理论的基本特点、基于粗糙集合理论的规则获取的关键技术和工作原理，为后续章节中经典粗糙集合模型的扩展及粗糙决策规则集的性能分析做好基础；(2)在经典粗糙集理论及其一般扩展的可变精度粗糙集VPRS的基础上，提出了非均匀可变精度粗糙集模型k-VPRS。

At the moment, however, I want to focus on perception and make three points. The first is a point about the intimacy of the connection between perception and action. It involves an argument designed to show that, contrary to what we might suppose, there is no logical or conceptual gap between our conscious perceptual awareness and our corresponding agential capacities. Needless to say, the argument is designed to make the agential approach to direct perception less unintuitive. The second point is made with the same aim, but proceeds from the opposite side. That is, I argue briefly for the inadequacy of the sense-datum conception of visual perception (the source of virtually everyone's "pre-theoretical" intuitions, regardless of their theoretical commitments). And I do so on phenomenological grounds.

此刻，无论如何，我需要集中在感知上，指出三点。1、关于感知和行为之间的密切关联，这包含一个被设计的论证，以指明在'我们有意识地感知'和'我们有意识地agential能力'之间不存在逻辑或概念上地gap，而无需说，这个被设计的'直接感知的agential进路'的论证更少非直观。2、同样的目的，但起点反过来，即，我简单论证了视觉感知的感觉材料概念的不充足（事实上每个人的前理论直观的源头，无论有何种理论承诺），我做这个基于现象学基础。

As to some particular charges of Leo XIII (1884) challenged by Freemasons, eg, the atheistical character of Freemasonry, it must be remarked, that the pope considers the activity of Masonic and similar societies as a whole, applying to it the term which designates the most of these societies and among the Masonic groups those, which push the so-called "anti-clerical", in reality irreligious and revolutionary, principles of Freemasonry logically to their ultimate consequences and thus, in truth, are, as it were, the advanced outposts and standard-bearers of the whole immense anti-Catholic and anti-papal army in the world-wide spiritual warfare of our age.

至于一些特别的收费利奥十三（ 1884 ）的挑战，共济会，例如，无神论的性格，自由的，它必须说过，教宗认为，活动的共济会和类似的社会作为一个整体，运用它的任期，其中指定最多的，这些社团之间的共济会团体的那些，这推动了所谓的&反文书&，在现实非宗教和革命原则，自由的逻辑他们的最终后果，因此，在真相，是因为它被，先进的前哨基地和标准，承担了整个巨大的反天主教和反教皇的军队在世界各地的精神战，我们的年龄。

PixTwix is an image processing ActiveX control featuring: advanced selection routines including irregular and non-contiguous selection regions, local and global magic wand selection, unlimited file based undo capabilities, both loss-less and lossy rotation routines, color channel manipulation functions such as mixing, adding, and multiplying, red eye effect removal by color clamping, unlimited number of user defined 3x3 convolution filters, image encryption and decryption, file checksum calculator, color count and histogram functions, blurring, sharpening, softening, edge enhancement, drop shadow, border and frame effects, range of low pass and high pass filters, logical operations on pixels, clipboard support, masking, skewing, range of color replacement functions, reversing, flipping and reflecting, blending, colorizing, tinting, grayscale conversion with user defined channel weights, texture filling, adjustment of brightness, contrast, saturation, dithered black and white images with user defined bias, embossing in different directions, antialiasing, zooming, tile, spray, mosaic and many other special effects and filters.

pixtwix是一个图像处理ActiveX控制项主题：高级遴选例程，包括非正规和非连续选择地区，当地和全球的魔术棒选择，无限的文件为基础的复原能力，无论是亏损少耗和旋转例程，颜色频道操控功能，如混合，加入，再乘以，红眼效应去除颜色夹紧，无限数量的用户定义的3x3卷积过滤器，图像加密和解密，文件的校验和计算器，彩色计数和直方图功能，模糊，锐化，软化，边缘增强，下拉阴影，边界和框架的影响，一系列的低通和高通滤波器，逻辑运算对像素，剪贴板支持，掩蔽，拉动了，各种颜色的更换功能，扭转，翻转和反映，共混， colorizing ，调色，灰阶转换与用户定义的频道权重，纹理填充，调整亮度，对比度，饱和度，抖动黑白影像与用户定义的偏见，压花，在不同的方向，抗锯齿，缩放，瓷砖，喷雾，马赛克和其他许多特殊效果和过滤器。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。