A root cause analysis system utilizes ACs corresponding to component types in a network to construct a diagnosis model. The system generates the ACs based on component models for each component type in the network and may perform offline evaluation of the ACs using determined conditional probabilities and potential state values and cache the results. When an issue is identified at a component, the system uses a relational schema to determine a set of components on which the component depends and creates a diagnosis model for performing root cause analysis. The diagnosis model includes the component type ACs corresponding to each of the components identified in the relational schema. The system populates the diagnosis model with conditional probabilities and observed state values determined from event indications generated by the components. The system outputs a most probable explanation of the issue based on evaluation of the diagnosis model.
Please help me write a proper abstract based on the patent claims. CLAIM: 1. A method comprising: in response to receipt of an indication of an event at a first component of a plurality of components in a system, identifying a set of components from the plurality of components on which the first component depends; retrieving a subset of a set of arithmetic circuits based on the subset of arithmetic circuits corresponding to component types of the first component and the set of components, wherein the set of arithmetic circuits comprises arithmetic circuits generated from a set of statistical models for a set of component types previously identified from the plurality of components, wherein the set of statistical models are generated from a system statistical model for the system, wherein each of the set of statistical models corresponds to a part of the system statistical model; generating, using the subset of arithmetic circuits, a diagnosis model in accordance with dependencies among the first component and the set of components, wherein the first component and the set of components are each represented in the diagnosis model by an arithmetic circuit in the subset of arithmetic circuits; and determining a root cause of the event at the first component based, at least in part, on evaluation the diagnosis model. 2. The method of claim 1 further comprising: prior to receipt of the indication of the event at the first component, determining component types of the plurality of components as the set of component types; generating the set of statistical models from the system statistical model, wherein each of the set of statistical models corresponds to a component type of the set of component types and wherein the system statistical model has probability distributions for states of the plurality of components; and generating the set of arithmetic circuits from the set of statistical models, wherein generating the set of arithmetic circuits comprises generating an arithmetic circuit from each of the set of statistical models. 3. The method of claim 2, wherein generating the set of statistical models from the system statistical model comprises: for at least a first statistical model of the set of statistical models, determining a first set of states for the first statistical model; determining that a first component of a first component type corresponding to the first statistical model receives an input from a state of a second component of a second component type based, at least in part, on the system statistical model; and indicating the first set of states and the state of the second component in the first statistical model. 4. The method of claim 2, wherein generating the set of arithmetic circuits from the set of statistical models comprises: for at least a first arithmetic circuit of the set of arithmetic circuits, determining a polynomial function based, at least in part, on states indicated in a statistical model from the set of statistical models; creating the first arithmetic circuit based, at least in part, on the polynomial function; and modifying the first arithmetic circuit to be a maximizer circuit, wherein modifying the first arithmetic circuit to be a maximizer circuit comprises substituting nodes which indicate an addition operation in the first arithmetic circuit with nodes which indicate a maximum operation. 5. The method of claim 1 further comprising: prior to receipt of the indication of the event at the first component, evaluating a first arithmetic circuit of the set of arithmetic circuits corresponding to a component type of the first component based, at least in part, on a set of potential state values; and storing a result of evaluating the first arithmetic circuit along with the set of potential state values. 6. The method of claim 5, wherein determining the root cause of the event at the first component based, at least in part, on evaluation of the diagnosis model comprises: retrieving a set of state values for the first component; determining whether the set of state values matches the set of potential state values; in response to determining that the set of state values does not match the set of potential state values, populating the first arithmetic circuit with the set of state values for evaluation of the diagnosis model; and in response to determining that the set of state values matches the set of potential state values, retrieving the stored result of evaluating the first arithmetic circuit. 7. The method of claim 1, wherein generating, using the subset of arithmetic circuits, a diagnosis model in accordance with dependencies among the first component and the set of components comprises: indicating a first arithmetic circuit of the subset of arithmetic circuits corresponding to a component type of the first component in the diagnosis model; indicating a second arithmetic circuit of the subset of arithmetic circuits corresponding to a component type of a second component of the set of components in the diagnosis model; determining that the second component affects the first component based, at least in part, on a relational schema which indicates the dependencies among the first component and the set of components; and in response to determining that the second component affects the first component, linking, in the diagnosis model, an output of the second arithmetic circuit to an input of the first arithmetic circuit. 8. The method of claim 1, wherein retrieving the subset of the set of arithmetic circuits comprises: for each of the first component and the set of components, determining a component type for the component; and in response to determining that an arithmetic circuit corresponding to the component type for the component has not been retrieved, retrieving the arithmetic circuit corresponding to the component type. 9. One or non-transitory more machine-readable storage media having program code for performing root cause analysis stored therein, the program code to: identify a set of component types based, at least in part, on a system statistical model of a system having a plurality of components, wherein the system statistical model has probability distributions for states of the plurality of components; generate a set of statistical models from the system statistical model, wherein each of the set of statistical models corresponds to a component type of the set of component types and each of the set of statistical models corresponds to a part of the system statistical model; generate a set of arithmetic circuits from the set of statistical models, wherein the program code to generate the set of arithmetic circuits comprises program code to generate an arithmetic circuit from each of the set of statistical models; in response to receipt of an indication of an event at a first component of the plurality of components in the system, identify a set of components from the plurality of components on which the first component depends; retrieve a subset of the set of arithmetic circuits based on the subset of arithmetic circuits corresponding to the component types of the first component and the set of components; generate, using the subset of arithmetic circuits, a diagnosis model in accordance with dependencies among the first component and the set of components, wherein the first component and the set of components are each represented in the diagnosis model by an arithmetic circuit in the subset of arithmetic circuits; and determine a root cause of the event at the first component based, at least in part, on evaluation of the diagnosis model. 10. The machine-readable storage media of claim 9, wherein the program code to generate the set of statistical models from the system statistical model comprises program code to: for at least a first statistical model of the set of statistical models, determine a first set of states for the first statistical model; determine that a first component of a first component type corresponding to the first statistical model receives an input from a state of a second component of a second component type based, at least in part, on the system statistical model; and indicate the first set of states and the state of the second component in the first statistical model. 11. The machine-readable storage media of claim 9, wherein the program code to generate the set of arithmetic circuits from the set of statistical models comprises program code to: for at least a first arithmetic circuit of the set of arithmetic circuits, determine a polynomial function based, at least in part, on states indicated in a statistical model from the set of statistical models; create the first arithmetic circuit based, at least in part, on the polynomial function; and modify the first arithmetic circuit to be a maximizer circuit, wherein the program code to modify the first arithmetic circuit to be a maximizer circuit comprises program code to substitute nodes which indicate an addition operation in the first arithmetic circuit with nodes which indicate a maximum operation. 12. The machine-readable storage media of claim 9, further comprising program code to: prior to receipt of the indication of the event at the first component, evaluate a first arithmetic circuit of the set of arithmetic circuits corresponding to a component type of the first component based, at least in part, on a set of potential state values; and store a result of evaluating the first arithmetic circuit along with the set of potential state values. 13. An apparatus comprising: a processor; and a machine-readable medium having program code executable by the processor to cause the apparatus to, in response to receipt of an indication of an event at a first component of a plurality of components in a system, identify a set of components from the plurality of components on which the first component depends; retrieve a subset of a set of arithmetic circuits based on the subset of arithmetic circuits corresponding to component types of the first component and the set of components, wherein the set of arithmetic circuits comprises arithmetic circuits generated from a set of statistical models for a set of component types previously identified from the plurality of components, wherein the set of statistical models are generated from a system statistical model for the system, wherein each of the set of statistical models corresponds to a part of the system statistical model; generate, using the subset of arithmetic circuits, a diagnosis model in accordance with dependencies among the first component and the set of components, wherein the first component and the set of components are each represented in the diagnosis model by an arithmetic circuit in the subset of arithmetic circuits; and determine a root cause of the event at the first component based, at least in part, on evaluation the diagnosis model. 14. The apparatus of claim 13 further comprising program code executable by the processor to cause the apparatus to: prior to receipt of the indication of the event at the first component, determine component types of the plurality of components as the set of component types; generate the set of statistical models from the system statistical model, wherein each of the set of statistical models corresponds to a component type of the set of component types and wherein the system statistical model has probability distributions for states of the plurality of components; and generate the set of arithmetic circuits from the set of statistical models, wherein the program code executable by the processor to cause the apparatus to generate the set of arithmetic circuits comprises program code executable by the processor to cause the apparatus to generate an arithmetic circuit from each of the set of statistical models. 15. The apparatus of claim 14, wherein the program code executable by the processor to cause the apparatus to generate the set of statistical models from the system statistical model comprises program code executable by the processor to cause the apparatus to: for at least a first statistical model of the set of statistical models, determine a first set of states for the first statistical model; determine that a first component of a first component type corresponding to the first statistical model receives an input from a state of a second component of a second component type based, at least in part, on the system statistical model; and indicate the first set of states and the state of the second component in the first statistical model. 16. The apparatus of claim 14, wherein the program code executable by the processor to cause the apparatus to generate the set of statistical models from the system statistical model comprises program code executable by the processor to cause the apparatus to: for at least a first arithmetic circuit of the set of arithmetic circuits, determine a polynomial function based, at least in part, on states indicated in a statistical model from the set of statistical models; create the first arithmetic circuit based, at least in part, on the polynomial function; and modify the first arithmetic circuit to be a maximizer circuit, wherein the program code executable by the processor to cause the apparatus to modify the first arithmetic circuit to be a maximizer circuit comprises program code executable by the processor to cause the apparatus to substitute nodes which indicate an addition operation in the first arithmetic circuit with nodes which indicate a maximum operation. 17. The apparatus of claim 13 further comprising program code executable by the processor to cause the apparatus to: prior to receipt of the indication of the event at the first component, evaluate a first arithmetic circuit of the set of arithmetic circuits corresponding to a component type of the first component based, at least in part, on a set of potential state values; and store a result of evaluating the first arithmetic circuit along with the set of potential state values. 18. The apparatus of claim 17, wherein the program code executable by the processor to cause the apparatus to determine the root cause of the event at the first component based, at least in part, on evaluation of the diagnosis model comprises program code executable by the processor to cause the apparatus to: retrieve a set of state values for the first component; determine whether the set of state values matches the set of potential state values; in response to a determination that the set of state values does not match the set of potential state values, populate the first arithmetic circuit with the set of state values for evaluation of the diagnosis model; and in response to a determination that the set of state values matches the set of potential state values, retrieve the stored result of evaluating the first arithmetic circuit. 19. The apparatus of claim 13, wherein the program code executable by the processor to cause the apparatus to generate, using the subset of arithmetic circuits, a diagnosis model in accordance with dependencies among the first component and the set of components comprises program code executable by the processor to cause the apparatus to: indicate a first arithmetic circuit of the subset of arithmetic circuits corresponding to a component type of the first component in the diagnosis model; indicate a second arithmetic circuit of the subset of arithmetic circuits corresponding to a component type of a second component of the set of components in the diagnosis model; determine whether the second component affects the first component based, at least in part, on a relational schema which indicates the dependencies among the first component and the set of components; and in response to a determination that the second component affects the first component, linking, in the diagnosis model, an output of the second arithmetic circuit to an input of the first arithmetic circuit. 20. The apparatus of claim 13, wherein the program code executable by the processor to cause the apparatus to retrieve the subset of the set of arithmetic circuits comprises program code executable by the processor to cause the apparatus to: for each of the first component and the set of components, determine a component type for the component; and in response to a determination that an arithmetic circuit corresponding to the component type for the component has not been retrieved, retrieve the arithmetic circuit corresponding to the component type.