基于谓词逻辑的金融投资辅助决策系统分析与应用

谓词演算作为一种智能表示的语言,其优点是精确定义的形式语义,合理而完备的推理规则。使用谓词演算来进行知识的表示和推理,能代表实际应用中的许多问题。现就基于谓词逻辑的金融投资辅助决策系统加以分析与研究。