规则子句,用来表示推理规则,如? ←b1∧b2∧b3∧…∧bn|b1∧b2∧b3|a←b1∧b2∧b3∧…∧bn|a1←; ;; a2← ;
规则子句,用来表示推理规则,如? ←b1∧b2∧b3∧…∧bn|b1∧b2∧b3|a←b1∧b2∧b3∧…∧bn|a1←; ;; a2← ;
发布时间:2025-07-06 17:51:09
规则子句,用来表示推理规则,如? ←b1∧b2∧b3∧…∧bn|b1∧b2∧b3|a←b1∧b2∧b3∧…∧bn|a1←; ;; a2← ;