inference rule: reguła wnioskowania

Sposób wyciągania wniosków (uznawanie faktów) na podstawie określonych przesłanek. Za pomocą konstrukcji programistycznych można ją przedstawić następująco:

 If
 przesłanka
 Then
 wniosek