< Back to previous page

Project

Knowledge Representation with partial functions and intensional concepts: theory and applications

Most of the knowledge representation formalisms assume that functions are total. However, in many applications, partial functions represent some concepts naturally. Furthermore, we are often limited to the extensions of concepts (their value), so we can not express knowledge about their meaning (intensions).

Different applications and experiments of the IDP system show that extending the FO(.) language with partial functions and intensional concepts can be very useful. The extensions would contribute a lot to the expressivity, compactness, and elegancy of the language.

Extending language with partial functions is not a trivial task because the solvers are usually based on classical logic, and partial functions can lead to undefinedness. On the other hand, intensional concepts are quite abstract.
 
The goal of this research is to: Study different existing approaches; Extend FO(.) language with partial functions and intensional concepts; Implement extensions to the IDP system; Study the application of these extensions.

Date:10 Dec 2020 →  Today
Keywords:Knowledge representation, Symbolic AI
Disciplines:Knowledge representation and reasoning
Project type:PhD project