Many real problems cannot be modelled in the frame of Classical Logic. Different methods and their formalization to deal with uncertainty and imprecision are studied and applied to build intelligent systems.

  • Approximate Reasoning based on:
    • Fuzzy, Multiple-valued and Possibilistic logics
    • Similarity Logic
    • Probabilities
  • Fuzzy measures
  • Aggregation operators
  • Data fusion
  • Decision theory
  • Possibilistic logic programming