Anyone know of any kind of truth-maintenance system implemented in Ruby (or,
alternately, easily accessible from Ruby)?
Thanks.
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?
Curt
itsme213 wrote:
Anyone know of any kind of truth-maintenance system implemented in Ruby (or,
alternately, easily accessible from Ruby)?
Hmmm. This sounds as if some coercion is involved ....
James
···
--
http://www.ruby-doc.org - The Ruby Documentation Site
http://www.rubyxml.com - News, Articles, and Listings for Ruby & XML
http://www.rubystuff.com - The Ruby Store for Ruby Stuff
http://www.jamesbritt.com - Playing with Better Toys
the kgb?
-a
···
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?
--
email :: ara [dot] t [dot] howard [at] noaa [dot] gov
phone :: 303.497.6469
My religion is very simple. My religion is kindness.
--Tenzin Gyatso
===============================================================================
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".
Thanks.
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
This is starting to sound like a yummy Ruby Quiz to me...
James Edward Gray II
···
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 assertionAnd 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".
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 assertionAnd 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".
Cool stuff. Sounds like something similar to the logic behind 20q.net.
20Q test server (you can just click 'play' without filling in form)
···
On 6/17/05, itsme213 <itsme213@hotmail.com> wrote:
Thanks.
--
Bill Guindon (aka aGorilla)
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 assertionAnd 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...
Yeah, I've been looking to do some simple AI problems. I would love to find a not-too-complicated genetics algorithm quiz too.
Anybody who writes up any ideas like this and sends them in before I get around to them will be my hero...
James Edward Gray II
···
On Jun 17, 2005, at 12:35 PM, Matthew Desmarais wrote:
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...
James Edward Gray II wrote:
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...
Yeah, I've been looking to do some simple AI problems. I would love to find a not-too-complicated genetics algorithm quiz too.
Anybody who writes up any ideas like this and sends them in before I get around to them will be my hero...
I'm not volunteering to write anything up, but implementing a Bayesian inference engine in Ruby sounds like the kind of task that would take a day or two. I'll look in Sussman and Abelson's /The Structure and Interpretation of Computer Programs/ (http://mitpress.mit.edu/sicp/full-text/book/book.htm\). Those comfortable with Lisp/Scheme can take a gander at section 4.4.4 for inspiration (http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-29.html#%_sec_4.4.4\)
···
On Jun 17, 2005, at 12:35 PM, Matthew Desmarais wrote:
The next Ruby quiz is to indeed write an inference engine. I wrote it up myself, though I basically borrowed the format of an old Perl Quiz of the Week.
James Edward Gray II
···
On Jun 21, 2005, at 11:50 AM, jason r tibbetts wrote:
I'm not volunteering to write anything up, but implementing a Bayesian inference engine in Ruby sounds like the kind of task that would take a day or two.