...
机译:基于知识,基于规则和专家系统的分析,模拟和验证
机译:通过模型检查验证基于规则的专家系统中的冲突和不可达性
机译:用于验证基于规则的专家系统的令牌流范例
机译:用于验证基于规则的专家系统的令牌流范例
机译:基于案例的推理和基于规则的推理相结合的知识专家系统,选择钢桥疲劳损伤的修复和改造方法
机译:基于规则的专家系统,用于诊断电路仿真中的收敛性问题。
机译:外部数据库的自动集成:一种基于知识的方法用于增强基于规则的专家系统。
机译:使用三元网格获取基于规则的知识系统的人类专家知识