2011/12 – Fase scolastica – 20
Con il termine: regola (<sigla>, <lista antecedenti>, <conseguente>, <peso>) si può descrivere una regola (di deduzione) che consente di dedurre il conseguente conoscendo tutti gli elementi contenuti nella lista degli antecedenti; ogni regola è poi identificata in modo univoco da una sigla e ha un peso, che dà l’idea di quanto sia oneroso applicarla. Per … Leggi tutto