归纳逻辑程序设计综述

归纳逻辑程序设计是逻辑程序设计和机器学习的一个交叉研究领域。先概述了归纳逻辑程序设计的历史及发展现状;对归纳逻辑程序设计学习器进行了分类和形式化定义,并给出了学习器的质量标准;按划分的类型分别讨论了归纳逻辑程序设计学习器的主要求解算法;进一步指出了归纳逻辑程序设计未来的发展前景,提出了归纳逻辑程序设计领域需要深入研究的若干问题。     

模糊控制中近似推理的插值模型

提出一种新的模糊控制近似推理模型——插值模型,即用多元插值方法来进行近似推理．在精确插值问题基础上提出模糊插值问题,并给出插值公式     

使用归结和调解的输入反驳与单元反驳不等价

Chang和Lee在文献[1]中给出了如下结果: 定理8.4 如果子句集S有使用归结和调解的输入反驳,则S与函数自反公理集的并集有使用归结和调解的单元反驳。     

约束满足问题求解及ILOG SOLVER系统简介

首先综述求解约束满足问题的基本算法和搜索策略, 然后介绍ILOG SOLVER求解系统提供的类和函数的基本组成, 并给出用该系统求解的两个地图着色示例.     

基于t-norm算子的模糊逻辑和模糊推理

提出基于范算子的模糊逻辑和推理, 介绍范算子 的使用方法和特点, 给出合取通过t-norm进行计算、 蕴涵通过残数进行计算的方法, 并对等值、 等价和模糊集合的语义进行讨论. 同时利用等价关系理论对模糊环境进行说明, 并给出了几个具体例子.     

产品构模器的设计与实现

通过对大批量定制中产品配置问题的分析, 给出了广义产品结构和广义产品结构约束两个概念, 建立了广义产品结构模型, 在此模型的基础上, 利用Java, XML, SQL Server等主流的网络和数据库技术, 设计并实施了一个产品构模器, 实现了多种类型产品的通用配置知识表示.     

弧相容算法性能比较

为了化简约束满足问题的规模、有效地处理大规模难解问题,从求解算法的角度研究弧相容技术。分析讨论了8种弧相容算法各自的优势和特点。在“明月”约束求解平台上针对随机约束满足问题,对该系列弧相容算法的性能进行了测试。实验结果表明,无论是在搜索之前还是搜索过程中,AC-2001(AC-3.1)都比其他算法表现出更优异的性能。     

可能性规划表示与求解

利用可能性理论提出了一种基于PDDL（planning domain definition language）的可能性规划表示方法——Poss-PDDL,给出了基于可能性理论框架下的定性决策理论和图规划算法的可能性规划求解方法——可能性图规划,设计并开发了可能性规划问题求解器Poss-Graphplan.PDDL是国际规划器大赛的标准域定义语言,这使得Poss-PDDL更具通用性和标准性.由于用可能性理论表示动作效果和状态的不确定性更具优势,因此Poss-Graphplan更适用于解决那些概率模型无法解决或者很难获得概率信息的不确定规划问题.可以证明,应用可能性图规划方法求解可能性规划问题得到的规划解是最优的.实验结果表明,可能性图规划方法在问题求解能力和速度上的表现都较为突出.     

一种多值规则量词公式的Tableau的方法

在多值逻辑中，含有量词的Tableau方法具有统一的扩展规则，并已通过可靠性和完备性的证明，但是由于扩展后的分枝非常庞大，使机器实现非常困难，通过对规则量词公式与一阶经典量词公式的对应关系近研究，使二者使用统一的扩展规则。     

模糊集合的语义

对于一个概念来说 ,存在很多不同的解释 ,因此 ,解释说明一个概念的语义是非常重要的。从两个方面讨论了模糊集合的语义 ,通过随机集合理论和等高线函数对模糊概念进行了说明 ,利用等价关系理论对模糊环境进行说明 ,同时结合一些具体实例加以详细讨论