is monotonic, this means that elements of knowledge are absolute and previously drawn conclusions cannot be retracted given new information.
is non-monotonic, this allows for a more "common-sense” approach to reasoning in which elements of knowledge are typically true and not always definite.
Optimised reasoner console-application
To develop an optimised reasoner console-application that integrates an existing propositional reasoner and is based on some defeasible knowledge base, that implements the Rational Closure and Lexicographic Closure.
To refine the optimisation approaches, used to increase the scalability of the Rational Closure and Lexicographic Closure implementations, compared to the previous year's SCADR project.
To acquire empirical results that show the effective performance of our optimization techniques, considering the size of knowledge bases and the number of queries.