参考答案：

基本形式P→Q，其中规则的前件P为前提，具体形式可以是谓词公式、关系表达式和真值函数的任意与、或、非组合，可以不精确匹配；而规则的后件Q则表示规则激活时应该执行的动作或应该得出的结论。