Salle des conseils P Raynaud, au 2ème étage, du bâtiment 11 dit le château, 2 Place Pierre Viala Campus La Gaillarde
SEmantic web SeminAr MontpEllier
Pierre BISQUERT (INRAE IATE)
One of the major benefits of symbolic AI is explainability. When new knowledge is obtained via a reasoning process, it is possible to determine precisely the elements of the knowledge base that yield this knowledge. Typically, one would use a SAT solver to compute the explanations. However, SAT-solving is computationally expensive, and as the knowledge base grows, the time required increases exponentially.