K is a LORIA team interested by symbolic artifical intelligence (knowledge-based systems).
Such a system is usually composed of one (or more) inference engine(s) and of one (or more) knowledge base(s).
The main issues are:
- how to design inference engines, and
- how to build knowledge bases used by the inference engines.
Reasoning (or inferences) and knowledge are strongly connected: reasoning produces knowledge on the basis of other knowledge and a piece of knowledge is a data exploited by a reasoning process.
Knowledge is at the center of the work of the K team which addresses 3 main research topics:
- data science (and knowledge discovery),
- knowledge engineering,
- reasoning (hypothetical and deductive).