规则子句,用来表示推理规则,如? ←b1∧b2∧b3∧…∧bn|b1∧b2∧b3|a←b1∧b2∧b3∧…∧bn|a1←; ;; a2← ; 推理 规则 子句 发布时间:2024-06-08 11:34:44