论文部分内容阅读
关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库，该文给出了一个维护和更新的形式转换系统，使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中．作为一种特殊情形，也得到了一个尺一重构的能行产生机制．该文给出的转换系统不仅具有可靠性，而且也具有完备性．
知识库维护的结构操作语义方法
【摘 要】
：
关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库，该文给出了一个维护和更新的形式转换系统，使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识
【机 构】
：
中山大学计算机科学系,北京航空航天大学计算机科学与工程系
【出 处】
：
软件学报
【发表日期】
：
2000年6期
其他文献
了解污水稳定塘生态系统去除与灭活植物病毒的效率与机理具有重要的理论和实际意义.对模型植物病毒--烟草花叶病毒(tobacco mosaic virus,TMV)的实验结果显示:稳定塘系统中的
Ｓｈａｍｉｒ给出了一种基于拉格朗日插值的密码学分存方案，该文将其思想引入到图像信息安全处理当中，提出了用动直线进行多幅图像分存的方法，并阐述了这一算法的数学基础。此外，在进行图像分
建立了估算苯并(a)芘在天津污灌区气、水、土壤及沉积物相间的迁移通量和浓度分布的逸度模型框架,利用通量资料作为模型输入,利用实测浓度数据验证了模型的可靠性.结果表明,
JAPS－Ⅱ（Java automatic parallelizing system version 2)是一个Java源代码重编译器，和来发现和实现串行Java程序中对象内和对象间的并行性，其目标体系结构为基于工作站网络环境
分析了现有的防火墙系统及其弱点，在此基础上，引入了“Ａｇｅｎｔ”的概念，应用“Ａｇｅｎｔ”的定义和方法规范防火墙的各个部件，描术字各“Ａｇｅｎｔ”之间的通信和协作，并说明了设计和实现一个基于“Ａｇｅｎｔ”的防火