Thesis Topic Details

Topic ID:
3557
Title:
Comparative Analysis of Solutions to the Ramification Problem
Supervisor:
Michael Thielscher
Research Area:
Artificial Intelligence
Associated Staff
Assessor:
Maurice Pagnucco
Topic Details
Status:
Active
Type:
Research
Programs:
CS CE BIOM BINF SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
COMP3411 Artificial Intelligence, COMP4418 Knowledge Representation or equivalent
Description:
The ramification problem in Reasoning About Actions is concerned with finding efficient representations of indirect effects of actions. Several approaches in different representation languages, such as the Situation Calculus, have been developed in the past.

This project aims at a comparative analysis of the expressiveness of the different existing solutions. It will involve formalising a few simple domains in several representation languages.

If successful, this research could be published in a high-profile conference or journal.
Comments:
http://en.wikipedia.org/wiki/Frame_problem
http://en.wikipedia.org/wiki/Ramification_problem
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.