切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
与替换和集合运算有关的错误
与替换和集合运算有关的错误
来源 :软件学报 | 被引量 : 0次 | 上传用户:chenjinggoigo123456
【摘 要】
:
指出在使用归结方法的自运输推理文献中,存在于提升引理和删除策略完备性定理证明中,与替换和集合运算有关的几个错误,并予以分析和改正。
【作 者】
:
程晓春
姜云飞
【机 构】
:
吉林大学计算机科学系,中山大学软件所
【出 处】
:
软件学报
【发表日期】
:
1999年2期
【关键词】
:
归结
替换
集合
自动推理
人工智能
Resolution
substitution
unification
set
deletion strategy
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
指出在使用归结方法的自运输推理文献中,存在于提升引理和删除策略完备性定理证明中,与替换和集合运算有关的几个错误,并予以分析和改正。
其他文献
一种改进的零树小波图像压缩算法
基于小波的图像压缩算法在较低码率时出现的Gibbs效应多年来一直未能得到秀好的解决,共主要原因是,纯粹基于像素值的MSE准则对于图像边缘以 的小波系数分配了较少的比特数,文章在详细分
期刊
图像压缩
小波变换
零树算法
图像编码
图像处理
Image compression
wavelet transform
zerotree algorith
论公共图书馆中的优秀儿童绘本
儿童绘本以精美的图画、精炼的文字、图文并茂的设计吸引着儿童对绘本的阅读,公共图书馆凭借优越的阅读环境、海量的信息资源、专业的图书管理人员等,在提供和推广优秀儿童绘
期刊
公共图书馆
优秀儿童绘本
图文并茂
大分子的吸入治疗
随着重组DNA技术和分子生物学的发展,以蛋白质和多肽为主的大分子成为一类新型药物,并越来越受到重视,新兴的基因治疗技术使得核酸大分子也有可能成为药物。目前,绝大部分大分子
期刊
大分子药物
气溶胶
吸入治疗
macromolecule
aerosol
inhalation therapy
高校图书馆微媒体阅读服务工作探讨
文章通过对高校图书馆微媒体阅读服务工作的现状分析,从如何提升微媒体阅读推广力度、拓展服务类型、增强服务互动性、构建服务生态机制等方面,提出了推进高校图书馆微媒体阅
期刊
高校图书馆
微媒体阅读
阅读服务
用LR算法分析汉语的语法关系
为了获取汉语词语之间的语法关系,以达到准确分析汉语的目的,文章给出了一种基于词组的扩充的LR分析方法。
期刊
机器翻译
依存文法
LR算法
语法关系
汉语
Machine translation
dependency grammar
contextfree gram
高校图书馆在大学生通识教育中的作用及服务体系的建设
文章分析了国内高校通识教育的现状和问题,探讨了高校图书馆如何在通识教育课程体系中发挥作用,并提出了建设高校图书馆通识教育服务体系的策略。
期刊
通识教育
高校
图书馆
基于超立方体的静态任务调度
该文给出一个基于超立方体的静态任务调度算法,在算法的设计中,首先建立了任务优先级表和处理机优先级表,任务在调度时总是顺次工高优先级任务然后再从处理机优先级表中选择能使
期刊
静态任务调度
超立方体
多处理机
算法
Static task scheduling
hypercube
directed acirclic graph(D
一个事件驱动的超媒体模型
本文提出了一个事件驱动的超媒体模型,较好地解决了超媒体链,对象同步和用户交3个关键问题。该模型在结构上分为数据层,容器层和表现层3层,采用直观的时间轴定义各种对象同步关系,通
期刊
事件驱动
超媒体模型
多媒体
Hypermedia
interaction
synchronization
eventdriven
authoring
高校图书馆数字化阅读推广人文服务体系构建研究
目前,阅读转型所带来的图书馆数字化阅读活动,已发展成为高校图书馆最具吸引力、最能体现图书馆职能的活动之一。随着一批高新技术在高校图书馆阅读推广中的应用,图书馆用户
期刊
高校图书馆
数字化阅读推广
人文服务体系
基于多层油藏问题负载均衡的并行任务划分
该文基于分布式并行计算机系统,对一类多层的二维二相流油藏数值模拟问题给出了3种任务划分策略-“卷帘”方式,区域分解方式和“卷帘”与区域分解结合的方式,对它们进行了比较,提出
期刊
并行计算
负载均衡
任务划分
油藏
数值模拟
Parallel computing
load-balancing
task dividing
numeri
与本文相关的学术论文