资 源 简 介
Belief revision system written in Java and GWT
The system simulates an rule-based agent with a weak first order logic.
This is the final year project of G400 course in school of Computer Science, Nottingham University, UK.
## Features: ##
* Parse knowledge from normal text
* Forward chaining inference with first order logic
* Build belief graph model
* Perform belief revision
* AJAX-based user interface
* Online knowledge system
