命题知识库演化中的新知识特征

1

作者 王以松 刘蕻 +3 位作者 张颖 张明义 李丹宁 杨佳佳 《贵州大学学报（自然科学版）》 2024年第1期1-19,共19页

逻辑差概念在表征基于逻辑的知识库中起到重要作用,这些知识库持续受到动态变化的影响,它们之间存在实质性差异。这一概念与遗忘密切相关,它在各种逻辑中得到了广泛探讨。针对命题理论的相关符号,提出了3种差概念——逻辑差异、子句差... 逻辑差概念在表征基于逻辑的知识库中起到重要作用,这些知识库持续受到动态变化的影响,它们之间存在实质性差异。这一概念与遗忘密切相关,它在各种逻辑中得到了广泛探讨。针对命题理论的相关符号,提出了3种差概念——逻辑差异、子句差异和素子句差异,以分别捕获逻辑推理、子句推理和素子句推理的差异;研究了它们的性质和计算复杂性。结果表明,涉及逻辑差的各种决策问题在多项式层次结构中比相应的可满足性问题高一个层次,除了2-CNF理论,其相关决策问题是易处理的。随机3-CNF、2-CNF和Horn理论的大量实验结果揭示了子句差和素子句差的一些有趣现象:在随机3-CNF理论和2-CNF理论中,子句和素子句差的子句数量都表现出与它们的可满足性类似的相变特征。然而,在随机Horn理论中,尽管子句差的子句数量表现出与其可满足性类似的相变,但素子句差的子句数量与子句差情形十分不同,这些结果揭示了随机命题知识库演化中其可满足性相变现象的新特征:在相变阈值附近的知识库演变会产生更多的差异。 展开更多

关键词 逻辑差 子句差 素子句差 计算复杂性 相变 知识管理

下载PDF 职称材料

说到头,无非符号——《老残游记》女性形象翠环浅析 被引量：3

2

作者 刘蕻 《明清小说研究》 CSSCI 1992年第1期157-164,234,共9页

从文学的角度来看《老残游记》,的确写得有些零乱,幸而有了一个现代神话人物式的老残,才把一个个铁环紧密或松垮地扣在一起,他自然是小说中最一等的重要人物了。但在每一个独立的环中,领尽风骚的却往往是一些女性,如脍炙人口的“明湖居... 从文学的角度来看《老残游记》,的确写得有些零乱,幸而有了一个现代神话人物式的老残,才把一个个铁环紧密或松垮地扣在一起,他自然是小说中最一等的重要人物了。但在每一个独立的环中,领尽风骚的却往往是一些女性,如脍炙人口的“明湖居听书”就在大鼓声中推出了遐迩闻名的王小玉,无论形象本身或对形象的塑造功夫,其艺术性都令人拍案叫绝; 展开更多

关键词 女性形象 老残游记 太谷学派 非符号 小说 现代神话 艺术性 儒家 作者 王小玉

下载PDF 职称材料

国之大事　在祀与戎─—读《诗经·商颂》 被引量：3

3

作者 刘蕻 《福建师范大学学报（哲学社会科学版）》 1997年第2期88-94,共7页

《诗经》堪称中国第一部大史诗。本文通过《商颂》部分诗歌的剖析，证明其时确实“国之大事，在祀与戎”。商之远民深好祭祀，以求神人之和，故而引发玄鸟生商的神话，以及诸王出师征战前后的宗庙祭祀，《商颂》即是保留讫今的祭祖诗，... 《诗经》堪称中国第一部大史诗。本文通过《商颂》部分诗歌的剖析，证明其时确实“国之大事，在祀与戎”。商之远民深好祭祀，以求神人之和，故而引发玄鸟生商的神话，以及诸王出师征战前后的宗庙祭祀，《商颂》即是保留讫今的祭祖诗，因此场面恢宏，充满歌舞伎乐的描写。《商颂》诗多战事描述，表明商时期战事频繁，此为祭祝以及祭诗的内容。这一切，在历史的考证中都能得到证明。本文应用人类学、考古资料和文献揭示隐藏于文字背后的史实。 展开更多

关键词 《商颂》 诗经 玄鸟 《史记·殷本纪》 二里头遗址 正考父 方玉润 郭沫若 甲骨文 河南省

下载PDF 职称材料

论《老残游记》、《二集》和《补篇》的哲学特质 被引量：3

4

作者 刘蕻 刘德威 《南京理工大学学报（社会科学版）》 1994年第5期5-8,共4页

《老残游记》历来都被当作清末四大谴责小说之一,对于它的种种诠解,人们是从文学意义上入手的.好比黑白二妞的绝唱,惊动了近百年的读者,那一段飞蛇绕山、钢丝抛天的描述,足以与白居易的”大珠小珠落玉盘”并称双绝.而所谓小说,尤其是近... 《老残游记》历来都被当作清末四大谴责小说之一,对于它的种种诠解,人们是从文学意义上入手的.好比黑白二妞的绝唱,惊动了近百年的读者,那一段飞蛇绕山、钢丝抛天的描述,足以与白居易的”大珠小珠落玉盘”并称双绝.而所谓小说,尤其是近代谴责小说,它们的题材都与政治、社会息息相关,比如《二十年目睹之怪现状》、《孽海花》可以说都是因感社会而发,《老残游记》被列入此类,正说明人们对它的一贯理解.其最显然地证明这一点的,一是小说的开头,以“害了一个奇病,浑身溃烂。 展开更多

关键词 《老残游记》 太谷学派 《游记》 哲学思想 哲学小说 谴责小说 文学意义 二十年目睹之怪现状 阿修罗 五十年

下载PDF 职称材料

随机图的哈密尔顿回路实验研究 被引量：1

5

作者 梅俊杰 刘蕻 +1 位作者 许欢 王以松 《贵州大学学报（自然科学版）》 2013年第3期77-81,共5页

哈密尔顿回路问题是图论的经典NP-难解问题之一,在计算机科学中被广泛用作测试用例以测试算法/系统的有效性,包括可满足性(SAT)、回答集程序设计(ASP)以及约束可满足问题(CSP)等。在本文中,我们通过ASP实验研究了40到100个节点(步长为10... 哈密尔顿回路问题是图论的经典NP-难解问题之一,在计算机科学中被广泛用作测试用例以测试算法/系统的有效性,包括可满足性(SAT)、回答集程序设计(ASP)以及约束可满足问题(CSP)等。在本文中,我们通过ASP实验研究了40到100个节点(步长为10)随机图的哈密尔顿回路存在性、不存在性、以及难于计算等的分布情况,结果表明它们都具有一定的规律。这不仅对随机图的哈密尔顿回路本身是有益的探索,也为生成随机图哈密尔顿测试用例提供了有益的指导。 展开更多

关键词 哈密尔顿回路 随机图 回答集程序设计

下载PDF 职称材料

循象索义 体证圣道——谈《太谷学派遗书·第三辑》及其《易》学观 被引量：1

6

作者 刘蕻 李津 《南京理工大学学报（社会科学版）》 2004年第6期86-88,共3页

清末儒学潜流太谷学派所存遗的《易》学书稿为《太谷学派遗书》第三辑所收录。 其《易》学研究独辟蹊径,由观象入手,佐以文辞,参悟并解释卦序变化,同时由此利用《周易》即物、穷理、修身、养性。

关键词 清末 《太谷学派遗书》 《易》

下载PDF 职称材料

漫说禅、密的师道尊严─—禅宗与密宗比较研究 被引量：1

7

作者 刘蕻 《福建论坛（文史哲版）》 CSSCI 1999年第6期87-88,共2页

关键词 禅宗 密宗 《金刚经》 师道 六祖 缘起性空 宇宙 《景德传灯录》 民族出版 阿弥陀佛

下载PDF 职称材料

破邪显正乃当务之急

8

作者 刘蕻 《福建宗教》 2001年第4期23-25,共3页

“法轮功”一向用“佛”而诋佛，为了让更多的人明白‘法轮功”的实质，让更多的佛教居士了解佛教与“法轮功。的质的区别，真正地了解佛法的内涵，笔者在此作一个粗浅的辨析。

关键词 “法轮功” 邪教组织 佛教 禅宗 迷信 李洪志

原文传递

从汉语言的特质获得大学语文教学的新思路

9

作者 刘蕻 《才智》 2013年第1期124-125,共2页

汉语言具有和拼音语言完全不同的特点,如汉字包含大量的文化内蕴、四声八调的运用也促成了汉语言具有高情境、高信息量的特质等,而这些汉语言的特点都在我们的语文教学中被相对轻忽。本文由此展开讨论,认为可以由此入手,获得大学语文教... 汉语言具有和拼音语言完全不同的特点,如汉字包含大量的文化内蕴、四声八调的运用也促成了汉语言具有高情境、高信息量的特质等,而这些汉语言的特点都在我们的语文教学中被相对轻忽。本文由此展开讨论,认为可以由此入手,获得大学语文教学改革的新思路。 展开更多

关键词 六书 汉字的文化信息 四声 声韵之美 高情境 阅读量

原文传递

带函数析取逻辑程序的无基集及其应用

10

作者 梅俊杰 刘蕻 +1 位作者 原国伟 王以松 《计算机科学与探索》 CSCD 北大核心 2015年第6期747-755,共9页

基于回答集(也称稳定模型)语义的带函数析取逻辑程序是一种重要的知识表示和推理方法。由于判定一个析取逻辑程序是否有回答集是困难的(Σ2完全的),目前还没有有效的方法来计算带函数析取逻辑程序的回答集,主要原因之一是检查一个集合... 基于回答集(也称稳定模型)语义的带函数析取逻辑程序是一种重要的知识表示和推理方法。由于判定一个析取逻辑程序是否有回答集是困难的(Σ2完全的),目前还没有有效的方法来计算带函数析取逻辑程序的回答集,主要原因之一是检查一个集合是否是回答集是co NP完全的。提出了带函数析取逻辑程序无基集(unfounded sets)的概念,发现了空无基集(unfounded-free sets)与稳定模型之间的一一对应关系,在此基础上,证明了一个逻辑程序的模型是该程序的稳定模型当且仅当它们对应的一个命题公式是不可满足的,从而在理论上为计算带函数析取逻辑程序的回答集提供了一种有效的途径。 展开更多

关键词 析取逻辑程序 回答集 函数 无基集

下载PDF 职称材料

动态速度和代价约束的最短路径算法

11

作者 原国伟 梅俊杰 +1 位作者 刘蕻 王以松 《贵州大学学报（自然科学版）》 2015年第3期97-102,共6页

Dijkstra算法是计算有向图中一个节点到其余各个节点最短路径的著名多项式时间算法,在交通规划、地理信息系统等方面有重要的应用。本文改进Dijkstra算法用于计算带有动态速度和代价约束的有向图中节点之间的最短路径,即有向图的节点之... Dijkstra算法是计算有向图中一个节点到其余各个节点最短路径的著名多项式时间算法,在交通规划、地理信息系统等方面有重要的应用。本文改进Dijkstra算法用于计算带有动态速度和代价约束的有向图中节点之间的最短路径,即有向图的节点之间除了静态的距离外,还有动态的速度和代价,例如城市交通中的高峰与非高峰时段影响速度/时间,收费与非收费路段影响代价;时间和代价在最短路径中由一个比例因子控制,通过调节该比例因子可计算节点间的最短时间/距离和最少代价的路径。该改进的算法被证明是可靠的,实验结果也表明了该算法的有效性。 展开更多

关键词 最短路 动态 代价 DIJKSTRA算法

下载PDF 职称材料

近十年文艺心理学著作述评

12

作者 刘蕻 《文艺理论研究》 CSSCI 北大核心 1991年第4期92-95,共4页

文艺心理学直到十九世纪末才成为一门运用心理学的观点研究、阐释一切文艺现象的本质及其内部联系和内部规律的科学。建立之初,这一学科吸引了很多心理学行业的研究者,他们原来的研究方向为之提供了更为优厚的学科素质和专业技能,但也... 文艺心理学直到十九世纪末才成为一门运用心理学的观点研究、阐释一切文艺现象的本质及其内部联系和内部规律的科学。建立之初,这一学科吸引了很多心理学行业的研究者,他们原来的研究方向为之提供了更为优厚的学科素质和专业技能,但也注定了他们对文艺心理的探索总是显得苍白。三十年代初,美学大家朱光潜在为自己的《文艺心理学》一书作《自白》时说: 展开更多

关键词 艺术心理学 研究者 述评 文艺心理学 心理学研究 心理学观 思维方式 心理机制 表象运动 心理过程

下载PDF 职称材料

谢灵运入莲社辨

13

作者 刘蕻 《九江学院学报（社会科学版）》 2014年第1期16-20,共5页

山水诗奠基人谢灵运,一生钦服庐山慧远,但其究竟是否曾入莲社,自古常有异说。本文从慧远的高尚教格、弘法方便,谢灵运的家世渊源、与慧远的佛缘唱和,以及相关文献史料的年代辨析加以探究,证明谢灵运确实曾入莲社。抛砖引玉,就教于大方... 山水诗奠基人谢灵运,一生钦服庐山慧远,但其究竟是否曾入莲社,自古常有异说。本文从慧远的高尚教格、弘法方便,谢灵运的家世渊源、与慧远的佛缘唱和,以及相关文献史料的年代辨析加以探究,证明谢灵运确实曾入莲社。抛砖引玉,就教于大方之家。 展开更多

关键词 莲社 心杂 方便 情无取舍

下载PDF 职称材料

2-CNF理论的逻辑差

14

作者 刘蕻 原国伟 +1 位作者 梅俊杰 王以松 《计算机应用研究》 CSCD 北大核心 2015年第9期2578-2580,共3页

如何刻画知识库不同版本之间的区别是研究知识库动态更新中的一个重要问题。提出了命题逻辑知识库的逻辑结论差概念(称为逻辑差)。然而,一般知识库之间逻辑差的计算是不易处理的,而且不满足范畴性,即不能保证其结果仍然可以用同类型的... 如何刻画知识库不同版本之间的区别是研究知识库动态更新中的一个重要问题。提出了命题逻辑知识库的逻辑结论差概念(称为逻辑差)。然而,一般知识库之间逻辑差的计算是不易处理的,而且不满足范畴性,即不能保证其结果仍然可以用同类型的知识库来表达;由于2-CNF理论的可满足问题的易处理性,证明了2-CNF理论的逻辑差具有范畴性,并设计了一个多项式时间算法计算它们的逻辑差。 展开更多

关键词 知识工程 2-CNF理论 算法 逻辑差 归结

下载PDF 职称材料

哲学的特质——《老残游记》及其‘补篇’综论

15

作者 刘蕻 《明清小说研究》 CSSCI 1994年第2期76-80,共5页

对《老残游记》的种种诠解,历来是从文学意义上入手的。好比黑白二妞的绝唱,惊动了近百年的读者,那一段飞蛇绕山、钢丝抛天的描述,足以与白居易的“大殊小珠落玉盘”

关键词 《老残游记》 太谷学派 《游记》 综论 刘鹤 华云 哲学思想 特质 小说 入圣

下载PDF 职称材料

《老残游记》作者的名、字、笔名、室名 被引量：1

16

作者 刘蕻 《河南大学学报（社会科学版）》 1991年第2期64-66,共3页

《老残游记》的作者刘鹗一生中用过很多的名、字、笔名和室名,刘德隆、朱禧、刘德平编《刘鹗及《老残游记》资料》(四川人民出版社1985.7)第529页有一个“索引”,一共收集了28个。但是由于各种原因,还有一些疏漏的地方需要补充,其中一... 《老残游记》的作者刘鹗一生中用过很多的名、字、笔名和室名,刘德隆、朱禧、刘德平编《刘鹗及《老残游记》资料》(四川人民出版社1985.7)第529页有一个“索引”,一共收集了28个。但是由于各种原因,还有一些疏漏的地方需要补充,其中一些名字我们也可以根据多方资料略解其中的奥妙。 一、关于“梦鹏”和“孟鹏” 人们通常只知道刘鹗原名孟鹏。 展开更多

关键词 室名 《老残游记》 笔名 名字 刘铁云 太谷学派 小弟 淮安 年谱 周太谷

下载PDF 职称材料

人生理想的宣泄─—浅说白居易

17

作者 刘蕻 《福建论坛（文史哲版）》 CSSCI 1998年第4期66-67,共2页

关键词 人生理想 居易 诗歌创作 政治热情 法律语言 给予沉重的打击 佛教思想 《冷斋夜话》 《逍遥游》 《新乐府》

下载PDF 职称材料

“鬼车”辩

18

作者 刘蕻 《现代中文学刊》 1994年第7期19-20,共2页

鬼车,是传说中的九头鸟,"能入人屋,收魂气,为犬所噬,一首常下,血滴人家则凶。"(《荆楚岁时记》)关于这样一种神奇的动物,据说是孔子对子夏最早说出了它的有文可考的名字与特征,所以《北户录》中引《自泽图》说:"鬼车,昔... 鬼车,是传说中的九头鸟,"能入人屋,收魂气,为犬所噬,一首常下,血滴人家则凶。"(《荆楚岁时记》)关于这样一种神奇的动物,据说是孔子对子夏最早说出了它的有文可考的名字与特征,所以《北户录》中引《自泽图》说:"鬼车,昔孔子子夏所见,故歌之,其图九首。"可见有关九头鸟的说法是源于二圣。 展开更多

关键词 魂气 九首 北户 《荆楚岁时记》 急就篇 《广韵》 鬼鸟 韩诗 人屋 子夏

下载PDF 职称材料

学好数学 全面发展

19

作者 刘蕻 《数学教学通讯》 1981年第6期41-42,共2页

我荣幸地获得本届市数学竞赛一等奖,受到党和政府的表扬和奖励。我心情很激动,我感到,虽然现在取得了一点成绩,但这离党和人民的要求相差甚远。同时我之所以取得一点成绩,都是和党的关怀,人民的培养、老师的教诲、家长的督促、同学的帮... 我荣幸地获得本届市数学竞赛一等奖,受到党和政府的表扬和奖励。我心情很激动,我感到,虽然现在取得了一点成绩,但这离党和人民的要求相差甚远。同时我之所以取得一点成绩,都是和党的关怀,人民的培养、老师的教诲、家长的督促、同学的帮助密不可分的。特别是我的老师们,他们忘我劳动辛勒耕耘,不知在我身上花费了多少心血,所以,在这里我首先要向他们表示感谢。有不少同学都问我。 展开更多

关键词 分组分解法 解题能力 学习效率 因式分解法 竞赛试题 分解因式 单位根 期末考试 粉碎“四人帮” 参考资料

下载PDF 职称材料

《诗经》:中国第一部大史诗

20

作者 刘蕻 《福建论坛（文史哲版）》 CSSCI 1996年第2期5-8,共4页

关键词 《诗经》 “诗” 《春秋》 “志” 《诗》 甲骨文 《说文》 《荷马史诗》 史官 辩证唯物主义和历史唯物主义

下载PDF 职称材料