一致性判定相关论文
描述逻辑(DL)作为一类用于知识表示的形式化工具,具有较强的表达能力和可判定性。近年来,随着语义Web的兴起,描述逻辑成为了知识表......
Markov跳变线性系统(MJLss)是一类具有Markov跳变参数的线性系统．它的建模动态包含两种形式：一种为模态，具有Markov特性；另一种为状态，......
