Re: Looking for a reasoner demo

Alexander Serebrenik <A.Serebrenik@xxxxxx> wrote:

Next semester I'm going to teach "Knowledge-based systems". As a bait I
would like to use a short demo (video or downloadable) of such a system
implemented in Prolog. I'm particularly interested in (non-monotonic,
fuzzy, etc.) reasoners. The demo should be nice, colorful and flashy,
and should not assume specific domain knowledge of the audience.


Alexander

One suggestion: our reasoner RACE for (controlled) natural language
(www.ifi.unizh.ch/attempto/tools/index.html). RACE is implemented in
Prolog, does not use non-monotonic or fuzzy logic, is certainly nice,
perhaps colourful and flashy, and does not assume specific domain
knowledge.

Let me know what you think.

--- nef

.