DCS Summer 2012 Research Awards -- Project Description

Research Projects in AI Automated Reasoning (Database Sanitization)

Faculty name:	Sheila McIlraith
Research area:	Artificial Intelligence
Campus address:	PT 398D
Campus phone:	416-946-8484
Email address:	`sheila [at] cs.toronto.edu`
Number of students:	1
Skills required:	Must have taken CSC384, Introduction to Artificial Intelligence, and done well in the course. An algorithms course or some experience with optimization is also an asset for some of the projects, but not mandatory.

Brief project description:

Building on exisiting research in AI automated diagnosis, develop technology (or apply existing technology) to diagnose errors in database data based on a background axiomatization of how data relate to each other. (E.g., in a medical database setting, it's inconsistent for a patient to be female and be diagnosed with prostate cancer) If you like logic, SAT and/or MaxSAT, this may be for you.

Back to the index.