{"id":430,"date":"2010-10-21T13:56:55","date_gmt":"2010-10-21T20:56:55","guid":{"rendered":"http:\/\/mattfife.net\/wordpress\/?p=430"},"modified":"2012-08-13T11:03:40","modified_gmt":"2012-08-13T18:03:40","slug":"earth-shattering","status":"publish","type":"post","link":"https:\/\/mattfife.com\/?p=430","title":{"rendered":"Earth shattering…"},"content":{"rendered":"

While it might not look like much, this software program called the Eureka machine <\/a>uses standard video input, examines the behavior of a system, and with no previous knowledge of a system’s physics, kinetics, etc – it generates equations that accurately describe what is going on.<\/p>\n

The program, from simple video input and a little massaging, it was able to generate the Hamiltonian equation <\/a>for the difficult double-pendulum problem<\/a> in about 30 minutes.\u00a0 And a Lagrangian Equation <\/a>that describes a double harmonic oscillator in another case – all in very short periods of time:<\/p>\n

<\/param><\/param><\/param><\/object>
\n
\nWhile this is very cool and to some degree just an expansion of what we have been able to do with neural net programming that ‘learns’ by trying out techniques and checking their results against reality – the ability for the program to generate equations takes this all a step further.To give an example of what this brings about – they recently applied the algorithm to some complex data collected in cell interaction.\u00a0 While the scientists had struggled to make any meaning of the patterns, the program was able to come up with a formula that accurately described how these cells worked.\u00a0 But this presented a new problem.\u00a0 While the equation seemed to match exactly what was going on, the scientists who fed the data couldn’t figure out what physical components the variables the equation related <\/em>too. They made the decision NOT to publish the equation in any papers with the accurate modeling equation because they didn’t actually understand how the equation modeled the system<\/em>. While not unsurprising from an program that simply generates an equation from data; its the first time that these computers might actually be out-matching us for models of systems.\u00a0 However, since they are unfettered by making the actual variables equate to real-world\u00a0 phenomenon – they are free to generate equations who’s variables aren’t necessarily based on the underlying physical phenomenon.\u00a0 THIS is the interesting part.It seems (rightly) that just modeling the situation isn’t sufficient to say you understanding it.\u00a0 Does understanding of a phenomenon require the understanding of the underlying principles?\u00a0 Should it? Sure, you might be able to come up with an equation that models what’s going on for the cases you have, but without understanding the principles behind it, you’re just putting your faith in the equations generated.\u00a0 But is this what we do today?<\/p>\n

I was taught since 6th grade science class that every scientific principle was only one repeatable converse case away from being refuted at any time.\u00a0 History is full of such events – including the most deeply held ones such as Newton’s laws of motion. Depending on the size scale of use, they either work very well, or in the quantum\/astrophysical realms – fall apart completely.\u00a0 Those rules have been getting ‘touch-ups’ for years.\u00a0 While Newton certainly isn’t categorically wrong – it’s clear we didn’t (and still don’t) have all the corners fleshed out.<\/p>\n

So we find the crux of the matter -why shouldn’t the equations generated by this program be any more deserving of our trust than Newton’s?\u00a0 I’d say the key lies in several ways: mostly in the requirement for rigorous review, numerous experimentally repeatable verifications, and apparently that the equation needs to be explainable with principles and terms that we DO understand.\u00a0 The first part is very understandable.\u00a0 No scientific statement worth it’s salt should be accepted without lots of peer review, repetition of the experiment by others in different conditions, public discussion, and confirmation via different methods.\u00a0 This program required user intervention to get a balance between absolute accuracy and ‘simplicity’.\u00a0 Which means it had to go through numerous iterations and a little bit of pre-known knowledge to get it to generate equations that corresponded to principles we understand. This implies it could generate different equations for the same phenomenon.\u00a0 More on this later…<\/p>\n

But the second reason, and the one the jury appears to be out on, appears that one needs to be able to explain WHY the equation works, or at least be based on terms we do understand.\u00a0 In other words, just pulling the ‘answer’ out of the back of the book isn’t real understanding<\/em>.\u00a0 The right answer doesn’t seem to be sufficient by itself for science to classify as real knowledge.\u00a0 For science, we also apparently need to be able to explain why <\/em>it’s right too.\u00a0 Only then can we actually say we have a decent understanding of something.<\/p>\n

The unanswered question is if that requirement of being built on understood principles needlessly inhibits us.\u00a0 What if we just ‘went with the flow’ and let machines like this generate those horribly difficult equations for us?\u00a0 What would that look like\/imply?\u00a0 The equations that the software could generated didn’t always correspond to previously known\/modeled phenomenon – and needed to be ‘guided’ by the user to answers in the form they wanted.\u00a0 But this implies the computer in other circumstances might be revealing a different *kind* of thinking that we could backtrace?\u00a0 What if those equations are just like another ‘culture’ or ‘language’ that sees the same reality in a different, but no less valid, way that we could explore and understand? I think that could be an interesting discussion for another entry.<\/p>\n

This instance reminds us that there are very important philosophical principles behind what is considered scientifically known and not.\u00a0 Principles that have real and interesting effects; and depending on when\/where you lived, there were\/are very different requirements for what is considered knowledge.<\/p>\n

In case you’re interested, philosophically, this question of what is knowing is called Epistomology<\/a> – and might be worth a look.\u00a0 (Is my philosophy undergrad work showing?)<\/p>\n","protected":false},"excerpt":{"rendered":"

While it might not look like much, this software program called the Eureka machine uses standard video input, examines the behavior of a system, and with no previous knowledge of a system’s physics, kinetics, etc – it generates equations that accurately describe what is going on. The program, from simple video input and a little massaging, it was able to generate the Hamiltonian equation for the difficult double-pendulum problem in about 30 minutes.\u00a0 And a Lagrangian Equation that describes a…<\/p>\n

Read More Read More<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[7,5],"tags":[],"class_list":["post-430","post","type-post","status-publish","format-standard","hentry","category-technicalprogramming","category-technical"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p4WECr-6W","jetpack-related-posts":[],"_links":{"self":[{"href":"https:\/\/mattfife.com\/index.php?rest_route=\/wp\/v2\/posts\/430","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mattfife.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mattfife.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mattfife.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/mattfife.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=430"}],"version-history":[{"count":1,"href":"https:\/\/mattfife.com\/index.php?rest_route=\/wp\/v2\/posts\/430\/revisions"}],"predecessor-version":[{"id":599,"href":"https:\/\/mattfife.com\/index.php?rest_route=\/wp\/v2\/posts\/430\/revisions\/599"}],"wp:attachment":[{"href":"https:\/\/mattfife.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=430"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mattfife.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=430"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mattfife.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=430"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}