Hello Philip, (01)
On Sat, Sep 06, 2014 at 03:01:45PM -0400, Philip Jackson wrote:
> I say "probably", because the jury is out regarding whether Turing machines
>are sufficient to achieve human-level AI. (02)
Such speculations along with philosophical discussions like the Chinese Room
Argument and the hard problem of consciousness do not really contribute at this
point. They may be interesting later when we have something that looks like
human level AI or when we have more insight in the relation between
consciousness and physics. I think most AI researchers have the stance that
computability is sufficient. (03)
> However, it seems likely that a human-level AI needs to initially learn
>meanings of common words, and develop its initial commonsense and encyclopedic
>knowlege, in much the same way that humans infants do: very gradually, through
>interaction with an environment and with humans, in a self-developing,
>self-extending process. (04)
This is still natural language communication from the start. A mentalese based
on natural language removes the need for translation - though the AI would
naturally not yet understand what is spoken at the start. (05)
> The TalaMind approach does not preclude using formal logic (e.g. predicate
>calculus or conceptual graphs), nor does it preclude other notations,
>diagrams, etc. to support representation and processing. The thesis does not
>claim that natural language is always the best way of representing concepts. (06)
Understood. Formal logic concepts are not precluded and would only use a small
subset of Tala like executable concepts. Agents using the full power of Tala
would still be able to get some meaning out of those limited dialects. (07)
> One key issue is that however knowledge is represented, human-level AI
>involves a "complex mess of unknown rules that have to be developed or evolved
>and the interplay and evolution of the rules has to be guided." The challenge
>is not made any simpler by trying to solve all the problems with formal logic. (08)
Yes - this is my argument turned around. So you basically make a pledge of
using a framework that keeps all options open? (09)
Regards, (010)
Michael Brunnbauer (011)
--
++ 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äftsführer: Michael Brunnbauer, Franz Brunnbauer
++ Prokurist: Dipl. Kfm. (Univ.) Markus Hendel (012)
pgpmKpHSGFNkw.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)
|