Recall that you can apply any (linear) algebraic transformation to a function (I mean, the output of f(x) R^n -> R^m can be thought as a vector in R^m).
Regarding kernel methods, it is OK to work with discrete values (e.g., words, arguments, conclusions, etc.) as long as you define a suitable distance function (e.g., different arguments could lead to similar conclusions). After Googling "kernel methods applied to logic" I found: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.115.5487&rep=rep1&type=pdf http://www.dsi.unifi.it/~passe/papers/aprilchapter.pdf Best! Sergio On Wed, Jan 22, 2014 at 2:30 PM, YKY (Yan King Yin, 甄景贤) < [email protected]> wrote: > On Tue, Jan 21, 2014 at 5:41 AM, Mike Archbold <[email protected]>wrote: > >> This approach is fine if it works. But, it >> d >> epends seemingly entirely >> on the premise that logic translates to spatial structures (if I >> understand what you are saying). >> > > In maths, many structures are studied as abstract spaces, for example > function space. It seems to be a very standard route to take... > *AGI* | Archives <https://www.listbox.com/member/archive/303/=now> > <https://www.listbox.com/member/archive/rss/303/15717384-a248fe41> | > Modify<https://www.listbox.com/member/?&;>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
