曲阜师范大学学报（自然科学版）
麯阜師範大學學報（自然科學版）
곡부사범대학학보（자연과학판）
JOURNAL OF QUFU NORMAL UNIVERSITY (NATURAL SCIENCE EDITION)
2000年
3期
49-50
,共2页
决策支持系统%模型库%一阶谓词逻辑
決策支持繫統%模型庫%一階謂詞邏輯
결책지지계통%모형고%일계위사라집
给出了一种应用于决策支持系统,基于一阶谓词逻辑的模型表示方法,并分析了此种表示方法的实用性和推理机制.
給齣瞭一種應用于決策支持繫統,基于一階謂詞邏輯的模型錶示方法,併分析瞭此種錶示方法的實用性和推理機製.
급출료일충응용우결책지지계통,기우일계위사라집적모형표시방법,병분석료차충표시방법적실용성화추리궤제.
