| The next version of our Robot will use Logic of Beliefs for Planning
Our present robots know Logical Reasoning using Propositional Logic and Natural Language Processing. They can also be equipped with this algorithm.
We are working on a project that creates an artificial intelligence program that uses Case-Based Planning (CBP). In a CBP cycle, there is a state known as an (Adaptation) for updating the knowledge-base. The simulated robot uses Predicate, Modal and Epistemic Logic Revision in the Adaptation state to solve inconsistencies that might exist in the solutions of its STRIPS planner.
|
|
Source code for this project is here |
It uses Prolog and can work under Windows or UNIX. It is a 4.3 MB zip file.
|
|
Content of the Zip file as plain text is here |
It is published here as freeware, but if you download it and use it then send me an email. Feedback and improvement suggestions are appreciated.
|
|
Screen shot of the program is here |
An academic paper related to this project was published.
It was presented at the Wellington A.I. conference. (KES Sep. 2004)
 
This poster was designed to describe the concept. It also won the prize the Computer Science Department of the Unviersity of Auckland's competition (2003) and was printed in the yearbook (2004).
|
|
Click here for a high resolution file of above poster |
Angela (the Robot) describes comprehensively the project, theory behind it and implementation process.
|
|
Click here to talk with Angela |
When you are in the Robots page, find her. She looks like this:
|
