Home > Archive > Prolog > October 2006 > Looking for a reasoner demo
You are viewing an archived Text-only version of the thread.
To view this thread in it's original format and/or if you want to reply to
this thread please [click here]
| Author |
Looking for a reasoner demo
|
|
| Alexander Serebrenik 2006-10-21, 7:01 pm |
| Dear all,
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.
Best regards,
Alexander
| |
| norbert.e.fuchs@gmail.com 2006-10-22, 4:04 am |
| Alexander Serebrenik <A.Serebrenik@tue.nl> 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
|
|
|
|
|