If there are an extensive number of numerical functions that could efficiently encode logical formulas (or parts of logical formulas) in novel ways which could be used to examine new classes of logical formulas efficiently, and if analog refraction could be used to derive information from these functions then analog optic computers might have a great potential for operating with logical formulas.
Jim Bromer Jim Bromer On Sun, Jan 12, 2014 at 12:27 PM, Jim Bromer <[email protected]> wrote: > Mike Archibold said: > For a long time I've had > the intuition that an AGI is hidden in this somewhere... I don't have > a comment, other than that much, though. > --------------------------------------- > That is interesting and I have wondered about such things as well. > However, I have become slightly more skeptical that an analog system > would be able to solve some complex operations so much faster than > digital computers that it would eliminate or solve the contemporary > complexity problem. I have also wondered if trinary computers or > trinary-binary computers would be better suited to represent AI > problems. > > I came up with an research plan which would allow me to solve logical > satisfiability in polynomial time if that were feasible. (I am not > saying that I have found the solution just that I thought I landed on > a research path which would work if it was at all possible) The plan > is a perfectly good one and it sounded reasonable to me because it was > well suited to the problem (it was reasonably integrated or mapped > onto the problem), but without some initial evidence, there is no > reason for me to actually believe that it would work. I believe that > is the key to making intuition work for you. You have to see something > that actually indicates that it is more effective than other > strategies. If you read the entry on > http://en.wikipedia.org/wiki/Conjunctive_normal_form you can find a > section: > "Conversion into CNF" > ..."Since all logical formulae can be converted into an equivalent > formula in conjunctive normal form, proofs are often based on the > assumption that all formulae are CNF. However, in some cases this > conversion to CNF can lead to an exponential explosion of the > formula:" > > So deriving a CNF form from a logical formula can be, in some cases, > as complicated as Satisfiability. This apparent flaw in the system > may be the lodestone for guiding research into the problem, because in > detailing a way that a equisatisfiable CNF formula can be derived for > one such formula, there may be a glimpse into a potential research > path for satisfiablity. So even though I have absolutely no evidence > to support this theory, I do have some experimental evidence that a > problem that has some important similarities does have a solution. > (And I have a sense that I should be able to find numerical functions > can represent logical formulas in novel ways so I have other ideas > that I can use along with this equisatisfiability idea). > > So the idea of a modern analog computer is very interesting and it > could help with a lot of complexity problems. The key to an insightful > intuitive sense about this is that there has to be something that > shows that it might be feasible to improve the contemporary computer > based on some experimental or technical knowledge of how the thing > might work. > Jim Bromer > > > > Jim Bromer > > > On Fri, Jan 10, 2014 at 4:39 PM, Mike Archbold <[email protected]> wrote: >> http://www.eurekalert.org/pub_releases/2014-01/uop-prh010614.php >> >> "Metamaterials are composites of natural materials, but are designed >> in such a way that they manipulate electromagnetic waves in ways that >> are more than the simple sum of their parts. Objects made from natural >> materials have atoms and molecules that are arranged in certain >> patterns dictated by the laws of physics and chemistry. Those patterns >> give natural materials their electromagnetic properties, which in turn >> determine how they influence the properties of waves. By going to >> another layer of organization — making patterns of multiple materials >> at length scales smaller than the waves passing through them, like a >> series of nanoscopic gold cubes embedded in glass— metamaterial >> designers can alter waves in ways not possible by simple surfaces or >> lenses." >> >> This kind of research really interests me. For a long time I've had >> the intuition that an AGI is hidden in this somewhere... I don't have >> a comment, other than that much, though. >> >> >> ------------------------------------------- >> AGI >> Archives: https://www.listbox.com/member/archive/303/=now >> RSS Feed: https://www.listbox.com/member/archive/rss/303/24379807-f5817f28 >> Modify Your Subscription: https://www.listbox.com/member/?&; >> Powered by Listbox: 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
