用于ODSSs模型表示的描述逻辑  

A Description Logic for Model Representation in ODSSs

作　　者：向胜军[1] 

机构地区：[1]中国科学院研究生院,北京100039

出　　处：《计算机工程与应用》2006年第7期62-64,132,共4页Computer Engineering and Applications

摘　　要：文章介绍了一种描述逻辑作为ODSSs模型管理的模型表示语言,提出了其语法和语义,使用了决策问题的例子来展现它的表达力,描述和分析了概念之间关系的推理算法,所提出的逻辑在为ODSSs模型管理提供形式化和丰富语义表达语言方面具有很大的潜力。A description logic is introduced as the model representation language for model management in ODSSs. Syntax and semantics are presented.Examples are used to show its expressivity for decision-making problems.Algorithms for reasoning about the relationships among concepts are described.The proposed logic has the potential to provide a formal and semantically rich representation language for model management in ODSSs.

关 键 词：ODSSs 描述逻辑 归类算法 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] TP301[自动化与计算机技术—控制科学与工程]