From: twifkak@...
Date: 2005-06-18T00:56:07+09:00
Subject: Re: Truth maintenance system in Ruby

Just to introduce a bit of seriousness here (you can go back to making your silly jokes afterwards), I think he's talking about the kind of thing they teach in AI class where you type "a dog is an animal" and "a terrier is a dog", and later ask "is a terrier an animal?". It's named after some guy (true story).

Devin 

> Ara.T.Howard wrote:
> > On Sat, 18 Jun 2005, Curt Hibbs wrote:
> >> itsme213 wrote:
> >>> Anyone know of any kind of truth-maintenance system implemented in
> >>> Ruby (or,
> >>> alternately, easily accessible from Ruby)?
> >> 
> >> What is a truth-maintenance system?
> > 
> > the kgb?
> > 
> > ;-)
> 
> loop do
>   true = true unless true
> end
> 
> :-)
> 
>     robert