What are Symbols in AI?
    By Samuel Kenyon | February 22nd 2011 02:06 AM | 4 comments | Print | E-mail | Track Comments
    About Samuel

    Software engineer, AI researcher, interaction designer (IxD), actor, writer, atheist transhumanist. My blog will attempt to synthesize concepts...

    View Samuel's Profile

    A main underlying philosophy of artificial intelligence and cognitive science is that cognition is computation. This leads to the notion of symbols within the mind.

    There are many paths to explore how the mind works. One might start from the bottom, as is the case with neuroscience or connectionist AI. So you can avoid symbols at first. But once you start poking around the middle and top, symbols abound.

    Besides the metaphor of top-down vs. bottom-up, there is also the crude summary of Logical vs. Probabilistic. Some people have made theories that they think could work at all levels, starting with the connectionist basement and moving all the way up to the tower of human language, for instance Optimality Theory. I will quote one of the Optimality Theory creators, not because I like the theory (I don't, at least not yet), but because it's a good summary of the general problem [1]:
    Precise theories of higher cognitive domains like language and reasoning rely crucially on complex symbolic rule systems like those of grammar and logic. According to traditional cognitive science and artificial intelligence, such symbolic systems are the very essence of higher intelligence. Yet intelligence resides in the brain, where computation appears to be numerical, not symbolic; parallel, not serial; quite distributed, not as highly localized as in symbolic systems. Furthermore, when observed carefully, much of human behavior is remarkably sensitive to the detailed statistical properties of experience; hard-edged rule systems seem ill-equipped to handle these subtleties.
    Now, when it comes to theorizing, I'm not interested in getting stuck in the wild goose chase for the One True Primitive or Formula. I'm interested in cognitive architectures that may include any number of different methodologies. And those different approaches don't necessarily result in different components or layers. It's quite possible that within an architecture like the human mind, one type of structure can emerge from a totally different structure. But depending on your point of view--or level of detail--you might see one or the other.

    At the moment I'm not convinced of any particular definition of mental symbol. I think that a symbol could in fact be an arbitrary structure, for example an object in a semantic network which has certain attributes. The sort of symbols one uses in everyday living come in to play when one structure is used to represent another structure. Or, perhaps instead of limiting ourselves to "represent" I should just say "provides an interface." One would expect that a good interface to produce a symbol would be a simplifying interface. As an analogy, you use symbols on computer systems all the time. One touch of a button on a cell phone activates thousands of lines of code, which may in turn activate other programs and so on. You don't need to understand how any of the code works, or how any of the hardware running the code works. The symbols provide a simple way to access something complex.

    A system of simple symbols that can be easily combined into new forms also enables wonderful things like language. And the ablity to set up signs for representation (semiosis) is perhaps a partial window into how the mind works.

    One of my many influences is Society of Mind by Marvin Minsky [2], which is full of theories of these structures that might exist in the information flows of the mind. However, Society of Mind attempts to describe most structures as agents. An agent is isn't merely a structure being passed around, but is also actively processing information itself.

    Symbols are also important when one is considering if there is a language of thought, and what that might be. As Minsky wrote:
    Language builds things in our minds. Yet words themselves can't be the substance of our thoughts. They have no meanings by themselves; they're only special sorts of marks or sounds...we must discard the usual view that words denote, or represent, or designate; instead, their function is control: each word makes various agents change what various other agents do.
    Or, as Douglas Hofstadter puts it [3]:
    Formal tokens such as 'I' or "hamburger" are in themselves empty. They do not denote. Nor can they be made to denote in the full, rich, intuitive sense of the term by having them obey some rules.
    Throughout the history of AI, I suspect, people have made intelligent programs and chosen some atomic object type to use for symbols, sometimes even something intrinsic to the programming language they were using. But simple symbol manipulation doesn't result in in human-like understanding. Hofstadter, at least in the 1970s and 80s, said that symbols have to be "active" in order to be useful for real understanding. "Active symbols" are actually agencies which have the emergent property of symbols. They are decomposable, and their constituent agents are quite stupid compared to the type of cognitive information the symbols are taking part in. Hofstadter compares these symbols to teams of ants that pass information between teams which no single ant is aware of. And then there can be hyperteams and hyperhyperteams.

    [1] P. Smolensky
    [2] M. Minsky, Society of Mind, Simon&Schuster, 1986.
    [3] D. Hofstadter, Metamagical Themas, Basic Books, 1985.

    Image credit: Patrick Hoesly


    Gerhard Adam
    The problem I see in all these discussions is that it considers intelligence to be a static trait.  Certainly there are ideas regarding learning, but there are virtually none that I've seen that consider motivation.  In my view, without motivation any discussion of intelligence is an empty concept.

    This is precisely where biology enters the picture, because we are forced to confront the situation that considers all the different implementations of "intelligence" that we see in the life forms around us.  Why are they different?  What are the differences?  What are the limits?  Each of these carries an implicit consideration for how and why a brain and "intelligence" would evolve.

    So when we consider something like AI, we also have to consider what the point of it is.  Are we simply seeking to emulate human intelligence?  If so, then what is the motivation for a machine to behave like a human?  If not, then what does it mean to possess a machine intelligence?
    Mundus vult decipi
    All your concerns are quite valid.  However I can't cover all of AI in a single tiny blog post.  I didn't even get to symbol grounding yet.  I will be talking about many of those issues in future blog posts. 

    There are in fact many research threads during the past 25 years or so involving situated and/or embodied intelligence.  I'm not sure why you say "all these discussions"--perhaps you mean all the free areas of the Internet, which basically excludes at least half of the good research papers and books about AI.
    Gerhard Adam
    I'm not sure why you say "all these discussions"--perhaps you mean all the free areas of the Internet...
    Yes, as well as many of the posts that simply assume AI as a given.
    Mundus vult decipi

    Thanks for this post, and I hope you follow up with more along the same line. It's clear that you have a good knowledge of AI, as well as a ton of practical experience. I know little if anything, but have a great deal of interest in the subject.
    Frankly I've experienced a lot of frustration trying to pursue this, because, as you say, the resources are fragmented. Furthermore the relationships between them, if any, are difficult to determine. And the articles themselves are often quite impenetrable. An example of what I mean is the Wikipedia article on the topic you mentioned, "symbol grounding". I'm sure the author knows the subject, but the result of his efforts is, IMHO, rambling, obscure and convoluted.
    Here's hoping you can make the subject clear for us!