Thesis Topic Details

Topic ID:
3558
Title:
A System for Verifying Modularity in Action Theories
Supervisor:
Michael Thielscher
Research Area:
Artificial Intelligence
Associated Staff
Assessor:
Maurice Pagnucco
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE BIOM BINF SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
COMP3411 Artificial Intelligence, COMP4418 Knowledge Representation or equivalent
Description:
Action theories like the Situation Calculus are used in agent and robot programs to automatically reason about actions and their effects. Reasoning can be implemented much more efficiently if the formal description of a domain is modular in the sense that all preconditions and effects of actions have been explicitly specified.

This project aims at developing a system for automatically verifying that given domain descriptions are modular. This will be based on an existing theoretical result on sufficient conditions for modularity.

If successful, this research could be published in a high-profile conference or journal.
Comments:
M. Thielscher: A Unifying Action Calculus. Artificial Intelligence 175(1): 120--141, 2011. Sections 2 & 4.
http://www.sciencedirect.com/science/article/pii/S0004370210000469
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.