自动推理系统相关论文
随着网络技术的发展,软件运行平台逐步由传统的单机、封闭、静态的运行环境转变为开放、动态、多变的网络运行环境。由此产生了一个......
本文描述了一种基于PROLOG的专家系统建造工具库PTES的实验系统。PTES是用PROLOG编写的,该系统根据支持基于规则的知识表示及近似推理对PROLOG的知识处理能力进......