一种基于一阶谓词逻辑的模型表示方法  

A MODEL REPRESENTATION METHOD BASED ON FIRST ORDER PREDICATE LOGIC

作　　者：张立群[1] 鹿旭东[1] 蒋志方[1] 

机构地区：[1]山东工业大学计算机系软件教研室,山东省济南市250061

出　　处：《曲阜师范大学学报（自然科学版）》2000年第3期49-50,共2页Journal of Qufu Normal University(Natural Science)

摘　　要：给出了一种应用于决策支持系统 ,基于一阶谓词逻辑的模型表示方法 。Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed.

关 键 词：决策支持系统 模型库 一阶谓词逻辑 模型表示法 

分 类 号：C931.6[经济管理—管理学] TP311.132[自动化与计算机技术—计算机软件与理论]