符号模式匹配技术在建筑预算系统中的应用

一、前言建筑工程预算是建筑工程中一项困难而又重要的任务,工作量大,要求高。过去用手工编制,要花费很多时间。一份三千平方米的民用建筑,一个技术人员手编需十五天至二十天,加上工料分析,取费计算等等,需要约一个月,而且容易出错,影响预算的质量,造成人员     

专家系统中的不精确推理概述

不精确推理是基于规则的专家系统的重要组成部分。本文综述了不同的不精确推理模型的基本理论,基本方法及其特点。在此基础上,作者给出了不精确推理模型的统一抽象描述和构造不精确推理模型应遵循的一般原则。     

专家系统知识表示中规则的强度

本文得出如下结论:在精确推理中,规则A→B本身为真的概率P(A→B),就等价于,以规则A→B的条件概率P(B|A)为其强度来描述规则的不确定性;在不精确推理中,P(A→B)与P(B|A)作为规则强度是不等价的,但它们之间存在着密切关系,使用P(B|A)来度量规则A→B的不确定性比使用P(A→B)优越。本文同时给出了全概率公式的另一种推导。     

软件重用技术

软件重用技术是软件工程领域中一个目前比较活跃的分支,它以提高软件生产率,增加软件的可靠性为主要目标。近年来在国内外都有较快的发展。本文较全面地综述了软件重用的各种途径,现有的一些主要方法,以及可能产生的某些问题。     

新一代机操作系统中并发进程的同步控制

本文介绍在新一代计算机系统模型HNM上实现基于知识的智能型操作系统BKOS的并发进程同步控制。我们提出了资源也是知识的思想,并把共享资源抽象为自动机。然后用Prolog语言实现知识的产生式系统表示和两种新的同步机构。     

书面汉语自动分词的“生成——测试”方法

词链现象是书面汉语自动分词的困难所在, 本文针对词链现象的复杂性, 提出了一种“生成—测试”分词法。这种方法以知识为基袖, 它通过词典的动态化、分词知识的分布化、分词系统和句法语义系统的协同工作等手段实现了词链的有效切分和汉语句子切分与理解（生成格结构）的并行。“生成—测试”方法反映了人的分词和理解过程。     

计算机控制毛笔绘画系统CCBPS

中国画是自成体系、富有特色的一种绘画。使用计算机控制毛笔作画,是以现代的技术手段发展古老国画艺术的尝试。本文介绍计算机控制毛笔绘画系统(CCBPS)的结构、功能及其实现方法。笔墨的运用是中国画的关键环节之一。本系统对笔墨的运用初步实现了控制,取得了一定的效果。     

算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵

在本文中,我们引进了算子模糊逻辑中的λ-蕴涵和λ-强蕴涵的概念,λ-逻辑结果和λ-弱逻辑结果的概念。证明了两子句的的λ-归结式是这两个子句的λ-逻辑结果,从而完成了λ-归结的完备性定理的证明。     

算子Fuzzy逻辑及其归结推理的改进

在文献[3],[7]基础上,重新定义了算子格中的算子对格元素的作用,并引进了结合算子格的概念,改进了算子Fuzzy逻辑。为限定词的表示提供了一个模型。在新的系统中,引进了α-解释和λ_α-恒假概念,从而引进λ_α-归结方法。     

广义λ—归结

在这篇论文中,提出了广义λ-子句的概念和引进了广义λ-归结方法.证明了广义λ-归结方法对于广义λ-子句集是完备的.