From: Adrian Tymes (wingcat@pacbell.net)
Date: Mon Apr 07 2003 - 13:08:51 MDT
--- Anders Sandberg <asa@nada.kth.se> wrote:
> I would love to build a graphical computer-aided
> system for building
> rational arguments, even if they were lacking in the
> depth or complexity
> we see in ordinary discussions. It would be great to
> use as a skeleton
> for building scientific theories or thinking about
> what to research
> right now.
Umm...out of curiosity, what parts of an argument
could
be reduced to graphics? An argument is a collection
of
words - maybe verbal, maybe written, but still words.
I can see, in a high level, breaking out lists of
facts
and drawing the dependencies between them (so you can
see what parts of an argument shatter when a basic
fact
is disproven), along the lines of how an AI might
formalize its reasoning...
Hmm. Now that I think about it a bit more, wouldn't
someone probably already have done something like
this,
in the pursuit of top-down AIs? I wonder which
keywords would get a good google for this - and, at
the
end of that, if the software someone wrote for that is
publically available (as in, public domain and runs on
today's computers)?
This archive was generated by hypermail 2.1.5 : Mon Apr 07 2003 - 13:16:43 MDT