Intelligently switching between continuous and discrete computation is generally more efficient IMO and allows you to handle complexity barriers better, verses only doing one or the other, like a crisp boolean, since they are forms of each other. Sometimes performing discrete computation requires less energy, sometimes analogue, sometimes both.
An example might be extracting or resolving a discrete FSM from a continuous dynamical system for prediction purposes. Performing discretization before prediction might consume less power than prediction based on purely analogue computation. The observer preforming the discretization though needs an operable mix of analogue and discrete mathematical intelligence in order to logically intuit the continuous <-> discrete computational complexity or the... algebraic entropy? between the two. John From: YKY (Yan King Yin, 甄景贤) via AGI [mailto:[email protected]] Sent: Tuesday, January 27, 2015 8:13 AM To: AGI Subject: [agi] continuous Turing machines The idea: make programs continuous and then evolve programs using continuous techniques. Valiant's recent book "Probably Approximately Correct" has said something about evolving continuous parameters for strong AI. (It may be more tractable than evolving programs with discrete elements, the kind of programs we have known usually). In the context of logic-based AI (such as OpenCog, NARS, and my Genifer) the idea is to make all logic and procedural statements continuous. The part concerning making logic continuous is via algebraization which I have been looking into, but will discuss elsewhere. The "procedural" aspect can be realized by letting the AGI control a Turing machine (TM) with one or more tapes, and by making such a Turing machine "continuous". As a first step towards continuous TMs, we can start with finite state machines (FSM). It seems that a continuous version of FSMs corresponds to continuous dynamical systems (aka topological dynamical systems). I have not looked into the details of this correspondence, but it looks fairly straightforward. To make TMs continuous is somewhat more difficult. One way is to turn the "tape read/write operations" into states of an FSM (in such case the number of states may become infinite). But I'm not sure if that is a good way to create continuous TMs. Any other idea for continuous TMs? Thanks in advance =) -- YKY "The ultimate goal of mathematics is to eliminate any need for intelligent thought" -- Alfred North Whitehead AGI | <https://www.listbox.com/member/archive/303/=now> Archives <https://www.listbox.com/member/archive/rss/303/248029-82d9122f> | <https://www.listbox.com/member/?&;> Modify Your Subscription <http://www.listbox.com> ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
