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: 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
Facts:
factName(arg1, arg2,....,argN);
Rules:
fact1(arg1,..argN) ^ ... ^ factN(arg1,...argM) => factN+1(arg1,...,argP);
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.