Sciencelab

The goal of this project is the development of a new class of algorithms dedicated to knwoldege-level modelling solving methods ; i.e. classification, explanation, tutoring, qualitative reasoning, planning, monitoring, set-covering diagnosis, consistency-based diagnosis, validation and verification. The algorithms allowing the problem-solving process need to be modeled at the knowledge level. This type of modelling needs domain representation and inference procedures.