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

• 作者: 张立群 蒋志方 鹿旭东
• 来源期刊: 曲阜师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 决策支持系统 模型库 一阶谓词逻辑
• 年，卷（期）: 2000,（3）
• 页码范围: 49-50
• 页数: 2页
• 分类号: TP3111.132
• 字数: 2116字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-5337.2000.03.015

摘要

给出了一种应用于决策支持系统,基于一阶谓词逻辑的模型表示方法,并分析了此种表示方法的实用性和推理机制.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张立群	山东工业大学计算机系软件教研室	8	32	4.0	5.0
2	鹿旭东	山东工业大学计算机系软件教研室	2	9	1.0	2.0
3	蒋志方	山东工业大学计算机系软件教研室	2	9	1.0	2.0