制约逻辑与知识表示(英文)

专家系统中知识表示的产生式规则的前后件之间存在着的启发式信息就是刻划清楚后的充分条件关系。而正统数理逻辑的纯真值函数关系蕴涵关系不是充分条件关系,形形色色的模态逻辑的模态算子实际上是特殊的一元真值函数关系,不是充分条件关系。制约逻辑的制约关系、必然关系是刻划清楚后的充分条件关系,是真正的逻辑的二元关系,可由之导出的“可能”、“偶然”、“彻底地偶然”关系也是真正的逻辑关系,满足启发式信息。制约逻辑克服了正统数理逻辑和形形色色的模态逻辑的诸多缺陷,在知识表示中不会产生语义畸变现象,表达能力强而且丰富。     

从《簪花仕女图》探看唐代仕女画的审美风格

《簪花仕女图》是唐代最具典型意义的仕女画，作为纯艺术欣赏的仕女画，其特点是“曲眉丰颊，衣裳劲简，彩色柔丽”。本试以《簪花仕女图》为出发点，探析它的艺术成就和特点，以此对唐代绘画的风格与同行探讨。     

向量——解决解析几何问题的有力武器

解析几何与向量是高中数学新课程方案中两个重要的分支学科，数形结合是这两个学科的共同特点．由于向量既能体现“形”的直观的位置特征，又具有“数”的良好的运算性质，因此，向量是数形结合和转换的桥梁．对于解析几何中图形的重要位置关系(如平行、垂直、椴、三点共线等)和数量关系(如距离、角等)，向量都能通过其坐标运算来进行刻划，这就为在解析几何解题中充分运用向量方法创造了条件．     

《九歌》“代拟”艺术研究

诗歌的“代拟”艺术萌芽于《诗经》,至屈原《九歌》而进入艺术表现的成熟阶段。《九歌》的结构,适应祭祀程式特点,有“叙赞式”、“对唱式”、“寻觅、纪行式”之拟写变化;《九歌》表现神鬼情状。拟写了情景交融的环境氛围,各具风神的衣饰扈从、维妙维肖的神态、心理;《九歌》“代拟”语言风格多样.切合所祭神灵的身份与特点,再现了奇幻的神灵世界。屈原对中国古代诗歌的“代拟”艺术作出了巨大的开拓和贡献。     

汉字寻根

人要寻根,字也要寻根。50年代,考古学者发掘出五千年前的西安半坡遗址,其中彩陶上有分散的几十个刻划符号。有人认为这或许是甲骨文的祖先。70年代,考古学者又发掘出六千年前的临潼姜寨遗址,其中彩陶上有分散的刻划符号102处之多。又有人认为这或许是甲骨文的祖先。     

基数理论对集合特性的刻划

从集合基数的角度 ,将集合划分为可数集与不可数集对其进行讨论 ;并对N、Q、R及任意不可数无限集A的势进行比较得出 :N-Q＜R≤A     

俗中见雅 浅中寓深：－浅谈俗语在《红楼梦》中的作用

《红楼梦》中民间俗语用运用的深度和广度是空前的，本文从“有助于深化主题”和“有助于人物刻划”两个方面论述了民间俗语在《红楼梦》中的作用，以期引起广大读者在这方面的注意和研究。     

重庆奉节兴隆洞及其象牙刻划的发现

本期“科普讲坛”主讲人：中国科学院古脊椎动物与古人类所研究员、重庆龙骨坡巫山古人类研究所所长黄万波     

用心灵感受 用心血刻划——典型人物采写谈

描写原武警鄂州支队政委吴明的长篇通讯《我以我血铸长城》打动了千万人的心,吴明精神已经超越了军营、跨越了省界,在全国范围内产生了重大反响,取得了较为理想的效果:中共湖北省委授予吴明“党和人民的忠诚卫士”荣誉称号,号召在全省广泛开展向吴明学习活动;中国人民武装警察部队总部为吴明追记一等功,司令员吴双战称赞他不愧为领导干部的楷模,并对本报报道给予充分肯定。长篇通讯见报后,省武警部队将当日报纸复印下发到每个战士,官兵含泪学吴明成为武警部队随处可见的感人场面。省武警总队总队长司久义、政委吴云峰两位将军眼噙热泪拉着本报记者的手说,“我们读了三遍,流了三次泪,感谢你们写好、写活了吴明！”