A method of troubleshooting a cellular network problem is provided. The network problem and the facts regarding the problem are input. This input is sent to an inference engine which determines whether a rule is invoked by the input. If a rule is invoked by the input, the method will output potential sources of the problem and potential solutions to the problem. If no rule is invoked, the method will add the input to a provisional rules list which may be later converted to troubleshooting rules. If the output potential sources and solutions do not solve the problem, the method can also add the input to the provisional rules list for subsequent conversion.