expert-system

¿Hay sistemas expertos de código abierto con capacidades de razonamiento?

Con fines de aprendizaje me gustaría estudiar un sistema experto de código abierto, en particular uno que pueda razonar y explicar su razonamiento. Cuáles conoces?