Not necessarily, because --- one can encode a subset of the rules of probability as a theory in SMT, and use an SMT solver
-- one can use probabilities to guide the search within an SAT or SMT solver... ben On Wed, Feb 20, 2008 at 5:00 PM, J Storrs Hall, PhD <[EMAIL PROTECTED]> wrote: > A PROBABILISTIC logic network is a lot more like a numerical problem than a > SAT problem. > > > > On Wednesday 20 February 2008 04:41:51 pm, Ben Goertzel wrote: > > On Wed, Feb 20, 2008 at 4:27 PM, J Storrs Hall, PhD <[EMAIL PROTECTED]> > wrote: > > > OK, imagine a lifetime's experience is a billion symbol-occurences. > Imagine > > > you have a heuristic that takes the problem down from NP-complete (which > it > > > almost certainly is) to a linear system, so there is an N^3 algorithm > for > > > solving it. We're talking order 1e27 ops. > > > > That's kind of specious, since modern SAT and SMT solvers can solve many > > realistic instances of NP-complete problems for large n, surprisingly > quickly... > > > > and without linearizing anything... > > > > Worst-case complexity doesn't mean much... > > > > ben > > > > > ------------------------------------------- > > agi > > Archives: http://www.listbox.com/member/archive/303/=now > > RSS Feed: http://www.listbox.com/member/archive/rss/303/ > > Modify Your Subscription: > http://www.listbox.com/member/?& > > > > Powered by Listbox: http://www.listbox.com > > > > > ------------------------------------------- > agi > Archives: http://www.listbox.com/member/archive/303/=now > RSS Feed: http://www.listbox.com/member/archive/rss/303/ > Modify Your Subscription: http://www.listbox.com/member/?& > Powered by Listbox: http://www.listbox.com > -- Ben Goertzel, PhD CEO, Novamente LLC and Biomind LLC Director of Research, SIAI [EMAIL PROTECTED] "If men cease to believe that they will one day become gods then they will surely become worms." -- Henry Miller ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=95818715-a78a9b Powered by Listbox: http://www.listbox.com