A Graphical User Interface for Displaying Proofs
Research areas
Description
Automated Reasoning is a fundamental aspect of Artificial Intelligence (AI) since an artificial agent must be able to reason for itself. We have developed various theorem provers for AI logics and all of these produce a graph as output. The project is to develop a GUI that allows a user to zoom in and out to view the finer details of these graphs.
Requirements
You will need a good programming background but will also need a strong mathematics background as you will need to understand the logics we deal with.
Gain
This project will teach you about the theory and practice of automated reasoning research into logics for AI. There is potential to extend this project further into an honours project or a masters project.
Keywords
automated reasoning, graphical user interface,