On Mon, Jan 20, 2014 at 9:18 AM, Sergio Donal <[email protected]> wrote:
> Regarding the emergent point issue in the induction mapping, does not a > simple matrix product operation do something like that? I mean, if the > facts lie in a R^M space the induction could lead to R^N, where M>N, is > that what you mean? > Another related algebraic idea, let us have facts in some space F, > and hypothesis in space H, is there a 'suitable' projection from F to M > that validates the hypothesis? Whatever suitable means in this case. > Perhaps, once we learn the same kind of projector, it can be used/extended > to link other spaces. > Best > Sergio > What I meant by deduction operator is more standardly known as the "consequence operator" and is usually denoted Cn(F) where F is a set of formulas. The consequence operator seems more complex than matrix multiplication... but perhaps it could be approximated by such...? Projection is interesting here, since the Cn of a Cn stays the same, ie, Cn(Cn(F)) = Cn(F), which makes Cn a projection by definition... I'll think more about why Cn can or cannot be a matrix multiplication... =) ------------------------------------------- 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
