排序方式: 共有37条查询结果,搜索用时 93 毫秒
1.
舒忠正 《南京航空航天大学学报》1994,26(2):216-221
介绍KBGML语言的设计思想,它包括KBGML各语句功能和格式的设计,特别是知识处理语句的设计,KBGML的解释系统的结构和工作原理的设计以及应用实例等。KBGML语言以知识处理为核心,具有第四代语言的特征,它有很强的知识处理能力,能自动构造和管理知识库。它具有较高的软件设计水平,能满足不同水平用户的需要,它还具有自然性、灵活性和领域通用性。KBGML语言是知识工程、语言编译和数据库管理等技术的集成体,它是一个在理论上和实用上很有研究价值的课题。 相似文献
2.
谈到颠簸,先解释一个问题~为啥飞机能够飞翔?简而言之,就是迎面而来的气流流过飞机独特的外形,使飞机所受的力在空间各个方向取得一个平衡。 相似文献
3.
4.
5.
在这次飞沈阳前的飞行例会上,小洋见到了我们的新乘务长。她个头不算很高,金色的头发盘了起来,戴着小制服帽子,大大的眼睛。丰腴的身材……开会时她向全体机组人员提了一个问题,在飞机上工作时,最重要的是什么?德国同事们都七嘴八舌地回答:及时沟通最重要……面带微笑最重要…… 相似文献
6.
何自强 《北京航空航天大学学报》1994,20(1):85-90
独立性是公理系统的重要性质之一。给出了一个一阶逻辑的公理系统,采用语义解释和公式变换的方法,证明了它的独立性。 相似文献
7.
8.
9.
提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现. 相似文献
10.
一个具有双层推理模型的医学专家系统 总被引:2,自引:0,他引:2
舒忠正 《南京航空航天大学学报》1994,26(3):376-383
介绍一个成功的、具有双层推理模型的医学专家系统及其双层模型的构造、因果关系模型深层知识的获取、推理策略以及解释功能的设计技术。双层推理模型是经验推理和致因分析深层推理相结合的联合推理模型,它克服了第一代专家系统经验推理的局限性和脆弱性以及求解策略的单一性,增强了系统求解能力,提高了系统解释功能的深度,它是第二代专家系统设计技术的一次成功的研究和探索。最后给出了具有双层推理模型的医学专家系统运行时的一个诊断实例。 相似文献