GraphIK is a team created in 2010. It is located at LIRMM (Laboratory of Informatics Robotics and Microeclectronics of Montpellier) and involves researchers from INRIA, INRA and the University of Montpellier.
The main research domain of GraphIK is Knowledge Representation and Reasoning (KRR). We follow a logic-oriented approach of the field but our specificity lies in our graph-based vision of KRR. GraphIK focuses on some of the main challenges in KRR, such as querying large knowledge bases, dealing with hybrid knowledge bases (i.e., composed of several modules having their own reasoning mechanisms), or reasoning with imperfect knowledge (i.e., vague, uncertain, partially inconsistent, ...).
Our objective is to study and develop KRR formalisms with properties of genericity, readability and algorithmic efficiency, and to validate them in real-world knowledge-based systems.
To reach this aim, we work along three complementary scientific axes. The first axe studies decidability, complexity and algorithms for languages corresponding to fragments of classical logic. The second axe extends these fragments to perform other kinds of reasoning, while keeping a good complexity/expressivity tradeoff. The third axe is devoted to integrating the theoretical tools into real-world knowledge-based systems.