Devin Mullins
6/17/2005 3:56:00 PM
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