论文部分内容阅读
本文首先简要介绍了制约逻辑，然后提出制约逻辑的子句类型和消解方法，并对简称为ＬＥＬＡＩＬ的实验系统（我们自己在这个原理的基础上开发的问题求解软件系统）及其求解实例进行了讨论。
制约逻辑, 消解原理及其应用
【摘 要】
：
本文首先简要介绍了制约逻辑，然后提出制约逻辑的子句类型和消解方法，并对简称为ＬＥＬＡＩＬ的实验系统（我们自己在这个原理的基础上开发的问题求解软件系统）及其求解实例进行了讨论。
【机 构】
：
贵州大学计算机科学系
【出 处】
：
贵州大学学报：自然科学版
【发表日期】
：
1998年1期
其他文献
深圳前湾燃机电厂采用海水作为循环冷却水,海水中的大量海生物直接影响到凝汽器的传热效果。为了保证机组的高效安全运行,前湾电厂委托广东省中试所进行循环水加药试验,从而
以固定标准地中选取的平均解析木的平均单株材积为依据，成功地建立了天然马尾松林分产量灰色系统予测模型，其予测结果，为天然马尾检速生丰产研究的可行性，提供了科学依据。
对桉木半纤维素稀硫酸和高温热水预提取的条件进行了研究。结果表明,酸浓度、预提取温度和时间影响水解液中木糖的浓度。3%稀硫酸预提取4 h后木糖浓度达到最大值19.224 g/L;1
由东北工学院档案馆与计算机系联合研制的“高校档案信息计算机管理系统”于5月21日在沈阳市科委主持下进行了技术鉴定。鉴定委员会由辽宁省和沈阳市档案局、部分高校的档案
给出了一个逼近迭代函数系统的吸引子的算法。用本文算法绘抽象和个经典ＩＦＳ的吸引子的图也在文给出。
研究了Lagrange系统的Lie对称性两种提法的等价性，给出证明过程。
科技期刊集合了众多的研究成果，。这些研究成果成为科技期刊赖以生存的知识与信息源泉，同时也为科技期发展提供了基本条件。本文探讨了科技期成为传播科技食物 重要媒介及所构
在非平稳相变系统规格化模型的基础上，考察了非平衡系统局域序参量涨落的相关函数。
笔者从美国教育家布卢姆的教育理念入手,概述了分层教学法的组成结构,指出了坚持实施分层教学,所取得的较好效果,强调了比较突出的变化.
本文首先分析了ＳＮＭＰＶ１在管理企业网时存在的问题，厂商的解决办法及不足，然后针对厂房中层管理者产品在报警方法设计上的缺陷，提出了一种更好的设计方法。