Belief revision system written in Java and GWTThe 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
Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.