Supervisor

Suitable for

Abstract

Tableau model construction algorithms have seen a great deal of attention in Knowledge Representation and Reasoning research in recent years.

However, to the best of our knowledge, all of the well-known reasoners that implement such algorithms only do so in a single-threaded manner. This project would explore the possibility constructing the model of ALC concepts concurrently.

This project has a well-focused core problem, but also offers many possible extensions, such as concurrent computation of the taxonomy of ALC concepts of a knowledge base.

Prerequisites: Logic and Proof, Knowledge Representation and Reasoning; Concurrent Programming