基于框架的专家系统的简化实现

基于框架的知识库系统,在框架层次不多的场合,可以化简为单层数据结构.这样,可在同一条规则中同时处理“与”和“或”的关系,因而使规则数量大大减少,推理机也变得极为简单.本文通过一个简化的天气预报例子,说明TURBO-PROLOG通用外壳程序的编写方法.     

关于闭算子的内连续性

本文继续[1]的工作,讨论了下列两个问题.1°值域是空间 c_o 的闭算子内连续点的几何结构.及自反空间上的闭算子内连续性问题.得到一些结果。 2°在文中借助[2]中一个命题,证明了 Banach 空间上的一一有界线性算子的内闭性质,从而指出     

加权模糊逻辑推理及在医学诊断专家系统中的应用

本文介绍一种可广泛运用于不完全知识和模糊知识的加权模糊逻辑推理方法和一种改进的确定性因子累加和的计算公式,并结合一个营养缺乏分析系统实例,阐述加权模糊逻辑推理在医学诊断专家系统中的应用,给出了turbo-prolog实现的推理机核心程序.     

一一映射所生成的空间偶对

设 T 为 Banach 空同中的一一连续线性映射,本文引入 T 所生成的空间偶对(F,E),指出空间 E 和 F 上强拓扑和次强拓扑的实际意义,给出了 T 为半嵌入的充要条件及Saint-Raymond 定理的另一种证法。最后给出一一映射的半嵌入分解.