Extending the inference capabilities of ERA using TMS

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.

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.

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

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

Facts:
factName(arg1, arg2,....,argN);
Rules:
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.

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.

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

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.