Truth maintenance system in Ruby

ruby-talk
1

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?
>
> :wink:

loop do
  true = true unless true
end

:slight_smile:

    robert

2

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

···

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).