Hello John, (01)
Thomas Johnston wrote:
> And recent connectionist research has apparently proven that ANNs can carry
>out deductive
> theorem-proving. Another claim is that ANNs have been proven to be able to
> implement Turing machines which, if true, should settle the matter. (02)
You wrote:
> They worked independently, but they challenged one another with
> examples of what each of their methods could compute: "Here's what
> my system can do. Can yours do the same?" As a result, they agreed
> that the three systems (and many other variations) are equivalent
> in computational power.
[...]
> Note the message format, p. 14 of http://www.jfsowa.com /pubs/arch.pdf .
> It allows arbitrary languages, which can be as complex as English, or
> as simple as a single bit. Most messages are simple. Also not the
> character strong for 'speech act'. Most speech acts are also simple,
> such as tell (update), ask (query), or do (execute). But they can also
> lead to complex transactions.
[...]
> I had not seen that article before I submitted mine. If I had, I would
> have pointed out that the architectures in Figs 1, 2, 3, and 4 of that
> article (and many, many more) could have been implemented very quickly
> by putting together a collection of FMF agents.
[...]
> In fact, the various VivoMind applications use different architectures
> which are assembled by putting together previously written modules (or
> adding new ones). In fact, the modules can reorganize themselves and
> create (AKA 'learn' or 'discover') new ways of interacting. That's
> the point of http://www.jfsowa.com/pubs/paradigm.pdf
[...]
> By the way, the FMF is, in effect, a distributed operating system.
> We use modules written in Java, Prolog, C, and other languages.
> The software is very easy to port from Linux, to Windows, to Apple OS.
> And it can communicate with agents in other FMF systems anywhere on
> the WWW -- there may be a delay, but the message passing is independent
> of the location. (03)
can can can can could. As the most simple systems are Turing complete, I'd say
what a system *can* do is not relevant, only what it actually does :-) (04)
Regards, (05)
Michael Brunnbauer (06)
--
++ Michael Brunnbauer
++ netEstate GmbH
++ Geisenhausener Stra?e 11a
++ 81379 M?nchen
++ Tel +49 89 32 19 77 80
++ Fax +49 89 32 19 77 89
++ E-Mail brunni@xxxxxxxxxxxx
++ http://www.netestate.de/
++
++ Sitz: M?nchen, HRB Nr.142452 (Handelsregister B M?nchen)
++ USt-IdNr. DE221033342
++ Gesch臟tsf?hrer: Michael Brunnbauer, Franz Brunnbauer
++ Prokurist: Dipl. Kfm. (Univ.) Markus Hendel (07)
Attachment:
pgpY0WYAenCwF.pgp
Description: PGP signature
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01)