אוסף ממוחשב של כללים אשר נאספו ממומחים בתחום מסוים נקרא: