论文部分内容阅读
ＬＫＯ是一个新面向对象和逻辑范型相结合用于基行知识的系统的形式化开发模型，其中逻辑对象是集状态，约束，行为，继承于一体的抽象实体，它支持框架，规则，语义网络，黑板等多种知识表示，因而可用来形式地描述基于知识系统的需求规范。在知识获了过程中通过对形式规范反复地修改，验证及确认而形成软件原型。／
一种用于基于知识系统开发的形式化模型
【摘 要】
：
ＬＫＯ是一个新面向对象和逻辑范型相结合用于基行知识的系统的形式化开发模型，其中逻辑对象是集状态，约束，行为，继承于一体的抽象实体，它支持框架，规则，语义网络，黑板等多种知识表示，因而可
【出 处】
：
软件学报
【发表日期】
：
1995年A01期
其他文献
95/96年度全球粮食供应将十分紧张。国际小麦理事会称,到本年度末,全球小麦库存从去年同期的1.28亿吨降至1.02亿吨,是1979/80年度以来的最低库国的库存普遍下降,澳大利亚的库
目的：观察加味痛泻要方治疗慢性复发型溃疡性结肠炎的疗效。方法：本组60例，均服用加味痛泻要方，水煎取汁300ml，日2次口服。结果：总有效率为95％。结论：加味痛泻要方治疗慢性复发型溃疡
从校园贷视角考察大学生金融素养具有一定的理论和现实意义。首先结合样本数据和指标对大学生金融素养现状进行分析,分析发现:大学生金融素养普遍不高。为了进一步确认大学生
户籍政策对房地产开发商入市意愿的影响随土地购置规模的不同具有空间异质性特征。采用分位数回归选取我国35个大中城市2005-2017年的面板数据进行实证研究。结果表明,在拿地
历史与文化悠久的中原是华夏文明的源头,厚重的历史文脉和悠久的传统绘画造就了今天中原绘画雄浑粗犷、敦厚朴实的画风。为传承和弘扬中华民族传统文化艺术,中原地区的艺术家
在南宋休闲思潮影响下,许多文士产生了价值观念的嬗变,陆游便是其中的典型代表。他通过“鹏鸠之比”来认同自适型生活,通过“忙闲之辨”来批判事功型生活,并通过对自身经验的
《数学新课标》要求：“使学生有更多的机会从周围熟悉的事物中学习数学和理解数学，使他们体会到数学就在身边，感受到数学与现实生活的密切联系，提高学生解决简单的实际问题的能力
《汉语大字典》(第二版)在释义时存在照录故训、释义未明的现象,影响到我们正确理解字义和阅读古籍。本文搜集整理了《汉语大字典》中部分照录故训、释义未明的字,对一些容易
整理了近40年菲律宾MS≥7级地震公开的灾害数据,采用可公度计算、蝴蝶结构图、可公度结构系等方法分析判断未来地震的时间;利用相邻地震震源经、纬度差变化分析震中的空间迁