Imperfect Information Fusion Using Rules with Bilattice Based Fixpoint Semantics

  • Daniel Stamate
  • Ida Pu
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 299)


We present an approach to reasoning non-uniformly by default with uncertain, incomplete and inconsistent information using sets of rules/extended logic programs in the context of multivalued logics with a bilattice structure. A fixpoint semantics for extended logic programs used in the process of inference is described, along with its computational approach. We show how this theoretic approach is applicable to the problem of integration of imperfect information coming from multiple sources.


  1. 1.
    Deschrijver, G., Arieli, O., Cornelis, C., Kerre, E.: A bilattice-based framework for handling graded truth and imprecision. J. Uncertainty, Fuzziness and Knowledge-Based Systems 15(1) (2007)Google Scholar
  2. 2.
    Fitting, M.C.: The family of stable models. J. Logic Programming 17 (1993)Google Scholar
  3. 3.
    Fitting, M.C.: Fixpoint semantics for logic programming - a survey. Theoretical Computer Science 278 (2002)Google Scholar
  4. 4.
    Ginsberg, M.L.: Multivalued logics: a uniform approach to reasonning in artificial intelligence. Computationnal Intelligence 4 (1988)Google Scholar
  5. 5.
    Hué, J., Papini, O., Würbel, E.: Merging Belief Bases Represented by Logic Programs. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 371–382. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  6. 6.
    Loyer, Y., Spyratos, N., Stamate, D.: Parameterised semantics for logic programs - a unifying framework. Theoretical Computer Science 308(1-3) (2003)Google Scholar
  7. 7.
    Loyer, Y., Spyratos, N., Stamate, D.: Hypothesis-based semantics of logic programs in multivalued logics. ACM Trans. Comput. Logic 15(3) (2004)Google Scholar
  8. 8.
    Przymusinski, T.C.: The well-founded semantics coincides with the three-valued stable semantics. Fundamenta Informaticae 13(4) (1990)Google Scholar
  9. 9.
    Shet, V.D., Neumann, J., Ramesh, V., Davis, L.S.: Bilattice-based logical reasoning for human detection. In: Proc. of 2007 IEEE Conference on Computer Vision and Pattern Recognition (2007)Google Scholar
  10. 10.
    Stamate, D.: Default reasoning with imperfect information in multivalued logics. In: Proc. of 38th IEEE International Symposium on Multiple-Valued Logic (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Daniel Stamate
    • 1
  • Ida Pu
    • 1
  1. 1.Department of Computing, Goldsmiths CollegeUniversity of LondonLondonUK

Personalised recommendations