Student research opportunities

A Graphical User Interface for Displaying Proofs

Project Code: CECS_699

This project is available at the following levels:
CS single semester, Honours, Summer Scholar
Please note that this project is only for undergraduate students.

Keywords:

automated reasoning, graphical user interface,

Supervisor:

Professor Rajeev Gore

Outline:

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/Prerequisites

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.

Student 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.

Contact: