ASSESSING PERFORMANCE OF A SYSTEM

摘要

A method of generating probability data for use in assessing performance of a system and a mission involving the system, the method including receiving (1002) model data representing a combined model of a system and a mission involving the system. The method further includes producing (1004) a Conjunctive Normal Form (CNF) encoding of the combined model data and producing (1006) a smooth deterministic Decomposable Negation Normal Form (sd-DNNF) representation of the CNF encoding. The method further includes producing (1008) an Arithmetic Circuit based on the sd-DNNF representation; receiving (306) observation data, and performing (308) inference on the observation data using the Arithmetic Circuit in order to produce probability values relating to performance of the system and the mission.