Re: Distributed Semantics [WAS Re: [agi] Religion-free technical content]

2007-10-02 Thread Richard Loosemore


Okay, I'm going to wave the white flag and say that what we should do is 
all get together a few days early for the conference next March, in 
Memphis, and discuss all these issues in high-bandwidth mode!


But one last positive thought.  A response to your remark:

So let's look at the mappings from throne or stump to chair . . . . A 
throne does not have four legs but it is used for sitting.  Which way do 
you want to go?  Or, if someone is currently sitting on the stump, how 
do you want to go on that one?


It isn't just the representation but also how you operate on the 
representation . . . .


I agree completely!  This is exactly the way I think of it, and it is 
part of what I am calling "distributed semantics" because the thing that 
we refer to as the "meaning" of the term [chair] cannot be pinned down 
in a precise way, but is a result of all the interactions between the 
atom that represents [chair] and the many things that can interact with 
it.  It is the fact that the entire system is capable of visualizing a 
stump as a chair (it visualises the operation of [sitting] applied to 
the stump, and the result is a perfectly reasonable scenario) that makes 
the "meaning" of chair not be localizable.


There are innumerable objects in the universe that I could apply that 
[sitting] operation to (although some are difficult, such as individual 
atoms), so almost anything could be a chair.  But then, do we say that 
[chair] is defined as anything that we can apply the [sitting] action to?


Hell no!  What about using [squatting]?  If the king of the jungle 
squats on a tree stump, is the stump a throne?  Yup.  What about 
[dancing]?  If some chairs are used by a dance troupe performing in 
local park, and the point of the dance is that all of the moves take 
place on chairs, BUT one of the chairs is actually a tree stump, is the 
stump a chair?  Kind of.


And so on.  This is all about the boundaries between concepts (about 
which the cog psychologists have much to say), and if remember correctly 
Barsalou even has a theory along these lines.


So, do wonder if we are not saying siilar things, but in different language.

Richard Loosemore

-
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?member_id=8660244&id_secret=48906135-ba92de


RE: Distributed Semantics [WAS Re: [agi] Religion-free technical content]

2007-10-02 Thread Mark Waser
I would say that natural languages are indeed approximate packaging of 
something deeper . . .  Is a throne a chair?  How about a tree-stump?


I believe that the problem that we are circling around is what used to be 
called "fuzzy concepts" -- i.e. that the meaning of almost any term is 
*seriously* impacted by context (i.e. that there don't exist the simple 
mapping functions that you say that semanticists need -- but I argue that 
there are tractable, teachable operations that can be used instead).


IMPORTANT DIGRESSION - Most machine "learning" systems and proto-AGIs are 
actually "discovery" systems.  I think that this is a mistake.  I think that 
an intelligent system can start merely as a "teachable system", progress 
through being a "consistency-enforcing/conflict-resolution system", and 
eventually move on to being a "discovery" system.  I think that requiring 
that it start out as a discovery system makes many viable paths to AGI much, 
MUCH harder (if not impossible).


Neural networks have always dealt reasonably well with the problems that 
they have been thrown in this realm because they distribute each of the 
characteristics of a concept and if enough fire, then the concept is 
recognized.  However, realistically, you can also do this semantically *AND* 
also possibly do a better job of it (particularly if disjunctions are 
involved).



I just think that an entire localist semantics looks unnatural


Ah.  But is natural language localist?  I'd have to argue no.  Yes, the vast 
majority has to be fixed/local at any given time . . . . but there has to be 
that complex, non-fixed portion (i.e. the chair in the initial example) that 
can slip and slide.  I'll reiterate that I think that natural language *is* 
complex enough to fill the role that I believe that your approach requires 
(I won't claim that it is necessarily the best choice though I can reel off 
a number of advantages -- but I don't believe that your complex system 
arguments rule it out as a substrate for intelligence).


Apart from anything else, semanticists can only resolve the problem of the 
correspondence between atomic terms and things in the world by invoking 
the most bizarre forms of possible-worlds functions, defined over infinite 
sets of worlds.  I find that a stretch, and a weakness.


So let's look at the mappings from throne or stump to chair . . . . A throne 
does not have four legs but it is used for sitting.  Which way do you want 
to go?  Or, if someone is currently sitting on the stump, how do you want to 
go on that one?


It isn't just the representation but also how you operate on the 
representation . . . .


Further, I have a *serious* concern with distributed representations that 
don't provide for labeling because that will then cause a problem for 
implementing (deliberately leaky) encapsulation, modularization, and other 
features necessary for both scale-invariance and scalability



- Original Message - 
From: "Richard Loosemore" <[EMAIL PROTECTED]>

To: 
Sent: Tuesday, October 02, 2007 9:49 AM
Subject: **SPAM** Distributed Semantics [WAS Re: [agi] Religion-free 
technical content]




Mark Waser wrote:
   Interesting.  I believe that we have a fundamental disagreement.  I 
would argue that the semantics *don't* have to be distributed.  My 
argument/proof would be that I believe that *anything* can be described 
in words -- and that I believe that previous narrow AI are brittle 
because they don't have both a) closure over the terms that they use and 
b) the ability to learn the meaning if *any* new term (traits that I 
believe that humans have -- and I'm not sure at all that the 
"intelligent" part of humans have distributed semantics).  Of course, I'm 
also pretty sure that my belief is in the minority on this list as well.


   I believe that an English system with closure and learning *is* going 
to be a complex system and can be grounded (via the closure and 
interaction with the real world).  And scalable looks less problematic to 
me with symbols than without.


   We may be different enough in (hopefully educated) opinions that this 
e-mail may not allow for a response other than "We shall see" but I would 
be interested, if you would, in hearing more as to why you believe that 
semantics *must* be distributed (though I will immediately concede that 
it will make them less hackable).


Trust you to ask a difficult question ;-).

I'll just say a few things (leaving more detail for some big fat technical 
paper in the future).


1) On the question of how *much* the semantics would be distributed:  I 
don't want to overstate my case, here.  The extent to which they would be 
distributed will be determined by how the system matures, using its 
learning mechanisms.  What that means is that my chosen learning 
mechanisms, when they are fully refined, could just happen to create a 
system in which the atomic concepts were mostly localized, but with a 
soupcon of distributedness.  Or it