From: "Ralph \"PJPizza\" Siegler" <pjpizza@...>
Date: 2005-06-18T01:28:24+09:00
Subject: Re: Truth maintenance system in Ruby

On Sat, Jun 18, 2005 at 12:56:07AM +0900, twifkak@comcast.net wrote:
> 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).
>



google quickly finds some neat overviews:

http://www.cis.temple.edu/~ingargio/cis587/readings/tms.html 

Rubyforge has one (forward-chaining only) inference engine, Khammurabi