自动推理机相关论文
针对复杂设备故障诊断与装备本身结构无法直观对应进行故障原因的自动推理和快速定位问题，研究了基于设备结构分解的可视化故障推理......
次协调逻辑用于解决在含有矛盾的系统中如何进行有效推理的问题,基于扩充真值的APC是对经典谓词演算的扩展,APC归结能够用于次协调......
