|Date: 21st September 2005||Added final dissertatoin document and link to full system|
Extending the inference capabilities of ERA using TMSDave Crighton
|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|
|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
fact1(arg1,..argN) ^ ... ^ factN(arg1,...argM) => factN+1(arg1,...,argP);
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.