On 6/17/05, itsme213 <itsme213 / hotmail.com> wrote:
> Sorry, I should have elaborated. It is an AI/logic/rule-based system that
> typically handles:
> 
> - a collection of assertions
> - the network of [rules + assertions] that support each assertion
> 
> And hence figures out which assertions should be "true".
> 
> This is used for various things, such as:
> - to provide justification for claims or assertions
> - to support default-based reasoning
> - to allow reasoning in the presence of inconsistencies
> - broadly, to support a style of reasoning called "non-monotonic reasoning"
> i.e. reasoning in which stuff you believe to be true (or at least plausible)
> at one stage may become revised later as you add more information, or as you
> change your "hypotheses".

Cool stuff.  Sounds like something similar to the logic behind 20q.net.
http://y.20q.net/anon (you can just click 'play' without filling in form)
 
> Thanks.

-- 
Bill Guindon (aka aGorilla)