统一于知识的决策模型的设计研究

本文基于谓词逻辑表示的知识构造决策模型是一种新的设想。文中阐述了从逻辑的现点来研究决策的几点考虑，简介了谓词逻辑体系及Ｐｒｏｌｏｇ语言，重点设计了模型构成的知识、框架和方法，最后以一实例说明模型实现的情况。