A generalization of the algorithm of Heidtmann to non-monotone formulas

Journal of Computational and Applied Mathematics

Volumn 76, Issue 1-2, 1996, Pages 55-76

  Bertschy, R ^a   Monney, P A ^a  

^a UNIVERSITY OF FRIBOURG   (Switzerland)

Author keywords

Assumption based reasoning; Boolean functions; Decomposition methods; Reliability algorithms; Sum of disjoint products

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL METHODS; MATHEMATICAL MODELS; PROBABILITY; PROBLEM SOLVING; RELIABILITY THEORY;

ASSUMPTION BASED REASONING; DECOMPOSITION METHODS; DISJOINT PRODUCTS; DISJUNCTIVE NORMAL FORM (DNF); HIDTMANN ALGORITHM; NONMONOTONE FORMULAS; RELIABILITY ALGORITHMS;

ALGORITHMS;

EID: 0030412283     PISSN: 03770427     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0377-0427(96)00089-1     Document Type: Article

References (11)

1. J.A. Abraham, An improved algorithm for network reliability, IEEE Trans. Reliability 28 (1979) 58-61.
2. P. Besnard and J. Kohlas, Evidence theory based on general consequence relations, Internat. J. Found. of Comput. Sci. 6 (1995) 119-135.
3. W. Feller, An Introduction to Probability Theory and its Applications (Wiley, New York, 1968).
4. K.D. Heidtmann, Smaller sums of disjoint products by subproduct inversion, IEEE Trans. Reliability 38 (1989) 305-311.
5. J. Kohlas, Mathematical foundations of evidence theory. in: G. Coletti, D. Dubois and R. Scozzafa, Eds., Mathematical Models for Handling Partial Knowledge in Artificial Intelligence (Plenum Press, New York, 1995) 31-64.
6. J. Kohlas and P.A. Monney, Probabilistic assumption-based reasoning, in: Heckermann and Mamdani, eds., Proc. 9th Conf. on Uncertainty in Artificial Intelligence (Kaufmann (Morgan), Los Altos, CA, 1993).
7. J. Kohlas and P.A. Monney, A Mathematical Theory of Hints. An Approach to the Dempster-Shafer Theory of Evidence, Lecture Notes in Economics and Mathematical Systems, Vol. 425 (Springer, Berlin, 1995).
8. K.B. Laskey and P.E. Lehner, Assumptions, beliefs and probabilities, Artif. Intell. 41 (1989) 65-77.
9. K.B. Misra, New Trends in System Reliability Evaluation (Elsevier, Amsterdam, 1993).
10. G.M. Provan, A logic-based analysis of Dempster-Shafer theory, Internat. J. Approx. Reasoning 4 (1990) 451-495.
11. I. Wegener, The complexity of Boolean functions (Teubner, Leipzig, 1987).