Extending the inference capabilities of ERA using TMS

Dave Crighton

Date: 21st September 2005 Added final dissertatoin document and link to full system

The final dissertation for this project can be be found at this location, similarly the final version of ERA as handed in for my Msc project can be found here.

Date: 19th July 2005 Added unification and console

The knowledgebase now unifies variables as can be seen demonstrated in unit test 9 on the tests page. During development small logic environment console was built for testing, this also demonstrates elementary state retention between pages. I havent included a mechanism for deleting entries or clearing the knowledgebase in this tool but it can be used to demonstrate the inference.

Date: 4th July 2005 Inference Engine and Meetings Updates

Updated page, fixed a few links added summary of last supervisor meeting and added the timetable.

Date: 29th June 2005 Parser Completed

The inference engine now has a parser so that rules can be input in a human readable format, this format has been designed to tie in with the the systems own string representations, this makes saving state a simple matter of writing out the toString() methods of each fact and rule object. The major advantage to this is that all state files will be human readable.

Example of syntax for parser

factName(arg1, arg2,....,argN);
fact1(arg1,..argN) ^ ... ^ factN(arg1,...argM) => factN+1(arg1,...,argP);

The parser can be seen in action in unit test6 on the tests page.
Also fixed broken link in last post and uploaded stephen's summary of the last meeting.

Date: 15th June 2005 Inference Engine and Meetings Updates

Have the basic framework of the inference engine up and running, the unit tests can be viewed here. The most interesting test is at the bottom of the page headed UNIT 5. This example shows a two stage inference being completed by the modus ponens engine. Also updated date of next meeting and added summary of last meeting which can be found here.

Date: 9th June 2005 Specification Document added

Added specification document to site before project meeting, it can be accessed here.

Date: 6th June 2005 First Post!

The first post has been added to the web page for my MSc project. Most recent posts will appear at the top of the page. More detailed sections of the page will be linked to in the post text and in the menu. The first thing to be uploaded is a summary of the first supervisor meeting after exams and the prolog prototype jtms.