if each rule neurons satisfies its firing condition
then
(4)
rule neurons fire and compute and via
(5)
end if
(6)
if each proposition neuron satisfies its firing condition
then
(7)
proposition neurons fire and compute and via
(8)
compute via
(9)
determine the MCSs of each PN in where Compute danger degree of MCSs for each PN via , and screen out the pulse of PNs in a PMCS whose danger degree is larger than
(10)
update the number of propositional neurons per the selected pulses, and compute pulse value of fault pulse in proposition neurons after position updating via
(11)
end if
(12)
k = k + 1
(13)
end while
Output: Failure causes, paths of abductive reasoning and their probabilities.
