Well there's a whole theory of universal quantum computing... There's also a smaller theory of general-purpose analog computers, see e.g. the GPAC and EAC models reviewed here: http://hektor.umcs.lublin.pl/~mpiekarz/publikacje/annales07.pdf
--Ben G On Tue, Jan 27, 2015 at 9:12 PM, YKY (Yan King Yin, 甄景贤) via AGI < [email protected]> wrote: > *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* | Archives <https://www.listbox.com/member/archive/303/=now> > <https://www.listbox.com/member/archive/rss/303/212726-deec6279> | Modify > <https://www.listbox.com/member/?&;> > Your Subscription <http://www.listbox.com> > -- Ben Goertzel, PhD http://goertzel.org "The reasonable man adapts himself to the world: the unreasonable one persists in trying to adapt the world to himself. Therefore all progress depends on the unreasonable man." -- George Bernard Shaw ------------------------------------------- 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
