|Affiliation:||University of Zurich|
AceRules is a forward-chaining rule system based on the controlled natural language Attempto Controlled English (ACE).
In AceRules, input and output (i.e. the rules and the answer sets) are written in ACE which is a subset of natural English. This makes it easy to interact with the interface for ordinary people who are not familiar with formal languages. It supports multiple semantics (called 'modes'): courteous logic programs, stable models, and stable models with strong negation.
A demo of the AceRules system can be found here: http://attempto.ifi.uzh.ch/acerules