Possibilistic Local Structure for Compiling Min-Based Networks

  • Raouia Ayachi
  • Nahla Ben Amor
  • Salem Benferhat
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 190)


Compiling graphical models has recently been triggered much research. First investigations were established in the probabilistic framework. This paper studies compilation-based inference in min-based possibilistic networks. We first take advantage of the idempotency property of the min operator to enhance an existing compilation-based inference method in the possibilistic framework. Then, we propose a new CNF encoding which fits well with the particular case of binary networks.


Compilation inference possibilistic reasoning 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ayachi, R., Ben Amor, N., Benferhat, S., Haenni, R.: Compiling possibilistic networks: Alternative approaches to possibilistic inference. In: UAI, pp. 40–47 (2010)Google Scholar
  2. 2.
    Cadoli, M., Donini, F.: A survey on knowledge compilation. AI Commun. 10, 137–150 (1997)Google Scholar
  3. 3.
    Chavira, M., Darwiche, A.: Compiling bayesian networks with local structure. In: IJCAI, pp. 1306–1312 (2005)Google Scholar
  4. 4.
    Darwiche, A.: Decomposable negation normal form. J. ACM 48, 608–647 (2001)MathSciNetMATHCrossRefGoogle Scholar
  5. 5.
    Darwiche, A.: A logical approach to factoring belief networks. In: KR, pp. 409–420 (2002)Google Scholar
  6. 6.
    Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intel. Res. 17, 229–264 (2002)MathSciNetMATHGoogle Scholar
  7. 7.
    Dubois, D., Prade, H.: Possibility theory: An approach to computerized processing of uncertainty. Plenium Press, New York (1988)MATHGoogle Scholar
  8. 8.
    Dubois, D., Prade, H.: Possibility theory. In: Meyers, R.A. (ed.) Encyclopedia of Complexity and Systems Science, pp. 6927–6939. Springer (2009)Google Scholar
  9. 9.
    Fargier, H., Marquis, P.: On valued negation normal form formulas. In: IJCAI, pp. 360–365 (2007)Google Scholar
  10. 10.
    Hisdal, E.: Conditional possibilities independence and noninteraction. Fuzzy Set. Syst. 1, 283–297 (1978)MATHCrossRefGoogle Scholar
  11. 11.
    Pearl, J.: Probabilistic reasoning in intelligent systems: networks of plausible inference. Morgan Kaufmman, San Francisco (1988)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Raouia Ayachi
    • 1
  • Nahla Ben Amor
    • 1
  • Salem Benferhat
    • 2
  1. 1.LARODEC, Institut Supérieur de GestionUniversity of TunisTunisTunisia
  2. 2.CRIL-CNRSUniversité d’ArtoisLens CedexFrance

Personalised recommendations