From: Matthew Desmarais <desmarm@...>
Date: 2005-06-18T02:35:51+09:00
Subject: Re: Truth maintenance system in Ruby

James Edward Gray II wrote:

> On Jun 17, 2005, at 11:20 AM, itsme213 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".
>
>
> This is starting to sound like a yummy Ruby Quiz to me...  :)
>
> James Edward Gray II
>
>
I'm waiting to get involved with my first Ruby Quiz, and that might be 
fun!  It'd be a good excuse to re-visit the AI stuff that bored me when 
I was required to study it for a class...