【摘 要】
：
KBS／TH－1是分布式知识库系统DKBS／TH－1中的一个结点上的知识库系统， 该系统以一阶谓词逻辑为知识表示方式，支持对知识的自然语言查询、对问题的逻辑推理求解，还提供了调试和管理知识
论文部分内容阅读
KBS／TH－1是分布式知识库系统DKBS／TH－1中的一个结点上的知识库系统， 该系统以一阶谓词逻辑为知识表示方式，支持对知识的自然语言查询、对问题的逻辑推理求解，还提供了调试和管理知识库以及对推理过程的元级控制等功能，为开发和使用具体领域的应用知识库系统提供了很大的方便。该文讨论了KBS／TH－1的体系结构，介绍了其中知识库管理、知识查询、问题求解、知识获取等部分的实现技术。（本刊录）
其他文献
【坡度诗社】坡度诗社由贾小愚、麦浪、泥人、星落河、郑仁光、卓铁锋六人共同发起，于2013年3月21日世界诗人节在浙江温州正式成立，著名诗人叶坪为诗社顾问。诗社的现代诗美学
该文设想了一个建立在关系数据库之上的知识库，并在此基础上讨论了知识库的杳询优化问题。文章首先提出了一种新的计值图结构。这种计值图结构所需结点比通常AND/OR树少。但表
工程数据库系统EDBS是一种处理复杂数据的综合应用系统，它包括软件和硬件。经典的EDBS应该具有诸如一般数据，图形和伪模型的配置的功能和具有智能。结构上，EDBS应是多功能的，它由
俞律，1928年1月2日生于扬州，上海光华大学毕业。1952年定居南京。长期从事文学创怍，集百万余言。出版《湖边集》《浮生百记》《大书家萧娴》《萧娴书法艺术解析》《菊味轩诗钞外编》《诗海初渡》《菊味轩画钓》等小说、散文、传记文学、论文、诗词集和画册。现为江苏省文史研究馆馆员、江苏省诗词协会顾问、汪苏省作协书画室特聘画师。 过绩溪，时油菜花盛开 清秋黄菊最宜诗，春菜花黄诗更宜。 寄语春来陶靖节
随着人类要求计算机进行信息处理能力的不断提高，智能决策支持系统ＩＤＳＳ已成为ＤＳＳ进一步发展的方向。构造智能模型库系统ＩＭＢＳ将是其中的重点。而面向对象的程序设计方法ＯＯＰ已被广泛应用于ＡＩ领域
己丑春日作 一 晴光满目坐移时，草色痕生燕雀知。 人日梅花犹在户，开樽客又唤题诗。 二 游玄入俗共谐时，闲里深趋客少知o。 春色醉人非在酒，头风顿愈却因诗。 注：苏轼：闲里有深趋，常忧儿辈知。 三 河清海晏盼多时，庙略天心孰见知？ 不若元龙楼百尺，或容高卧或谈诗。 四十四年前双华中学之初中同学小聚 一 冊四年间何处逢？历经霰雪复春风。 漫言老虎神仙狗，都在深深一握中。
花生,是我县的主要经济作物,常年种植面积约10万亩左右,但由于多年重茬种植,土质瘠薄,病虫害严重,产量低而不稳,其面积逐年缩减,为了探索发展花生生产的路子,1990年以来,我
杂交稻制种“双四二”工程,是全省制种稳产高产经验的总结。其内容包括母本“四二”工程和父本“四二”工程。即母本秧田667平方米播种10千克(即20斤)、秧龄20天、单株带蘖
访寿光稷台诗社 大棚笼韵墨盈墙，一叶知春兴味长。 诗到寿光逢沃土，出泥犹带菜根香。 平乡过破釜沉舟处 战例由来说弃舟，坑降终古不王侯。 只因一役血光重，漳水直今犹断流。 题雾灵山大坡村农家院 峰影岚光绿到门，葡萄小院晚风薰。 杯盘新满农家味，短信回敲带酒温。 秋访云蒙山遇雨夜宿后山铺 雾失云山景不收，村回石路稼禾稠。 杂花巷口丝瓜雨，麻将声中后埔秋。 吐鲁番葡萄沟 雪是乳