论文部分内容阅读
提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统.该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序.
约束归纳逻辑程序设计系统
【摘 要】
：
提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统.该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥
【机 构】
：
北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2003年19期
【基金项目】
：
国家自然科学基金，北京市自然科学基金
其他文献
自动驾驶领域越来越受到工业界与学术界的关注,而自动驾驶领域中,目标检测是其中的一个核心问题。本文主要研究交通场景下目标检测领域中较为棘手的小目标检测与遮挡目标检测等问题,使得车辆在行驶过程中能准确检测出道路上的交通标识符与车辆。针对小目标和遮挡目标这两个目标检测中的难点问题,本文使用两种不同处理方式来解决。针对于小目标检测,例如交通标识符这类目标,本文提出利用注意力机制来缩小需要关注的区域,以此解
通过提取原图像的同现矩阵和小波包分解后系数矩阵的统计量,构成了声纳图像的纹理特征集。通过实验比较进一步证明了该特征集作为纹理表示的有效性。
虚词的研究在国内外历来是一个比较重要的课题,其中连词的研究更是吸引了越来越多的学者的兴趣。本文的研究对象为《左传》中的并列连词“及”。相关学者在语义和句法方面对连词“及”进行了较为详细的考察,也取得了显著的成果。然而关于“及”所承担的语用功能,目前相关研究比较稀少。本文将以《左传》为语料,着重从语用角度考察《左转》并列连词“及”的功能。本文主要研究的问题有:《左传》中并列连词“及”承担何种功能?这
讨论并行支撑环境MPI的并行通信性能模型,测试了点对点和组通信下的若干性能指标,归纳出这些性能指标的统计模型,以作为工程问题并行计算可行性和可扩充性评价的基础.
将形式化技术和软件复用结合是非常有意义的工作.利用规约进行变换,寻找递推关系,可以比较容易得到抽象算法.在变换中,尽可能地将有关操作抽象表示,将操作细节延迟,以适合现
在信息技术高速革新的背景下,我国对教育的投入也日益增加,各高校也加大了对高校办学规模的建设力度,高校图书馆作为高校教学资源的重要组成部分,也逐步成为了为高校师生提供
目的： 探讨呼吸窘迫综合征（respiratory distress syndrome，RDS）早产儿并发呼吸机相关肺炎（ventilator-associated pneumonia，VAP）高危因素及其感染病原菌分布特点，为RDS早产儿VAP的
主要介绍了面对万维网上各种各样的诸如文本、声音、图形和图像等语料信息,如何按照用户的实际需求将其中对用户有用的信息抽取出来,从而实现对现有语料信息的一种有效分离.
美国印第安人在美国历史上是不可忽视的一个群体,他们曾创造了灿烂的文明,为近代美国文明的兴起做出了巨大贡献。但如今印第安保留地面临很多发展问题,比如如何在现代文明冲
通过对证书吊销列表中吊销证书条目字段重新编码,结合分段的思想,提出一个新的证书吊销信息分发方案Compaet CRL.新方案大大简化了CRL的大小,节省了证书吊销信息分发所需要的