Tuesday, January 01, 2008

The Guardener's Tale, Bruce Boston

Bruce Boston's The Guardener's Tale is up for the Prometheus award for this year, but I'm not particularly impressed with it. The first part recapitulates Ira Levin's This Perfect Day, but a lot more woodenly.

There is a clever section in the middle that feels more like Total Recall, except that the protagonist is struggling to break out of the dream vacation. This portion actually lives up to the blurb's billing; it's reminiscent of the best of Philip K. Dick. The protagonist wants to convince his wife that they should break up, so he wants to ruin their "dream vacation". He soon discovers that the dream is heavily scripted and his wife's part is played by a zombie. He concludes that they are in separate simulations, and that he can't do anything to affect her experience.

When they return from the vacation, the dreary story-telling resumes. From this point, the plot is mostly predictable. Eventually most of the characters are mind-wiped or pacified and returned to their proper place in society. A few have happier outcomes, but Boston doesn't make them very plausible.

The story is framed as the report of one of the guards (the Guardener of the title), but the viewpoint isn't maintained consistently. (Sometimes unusual features of the society are explained from a modern viewpoint, and other times as if by someone who grew up with them.) The guard's change of heart isn't motivated enough to be convincing, so the framing falls flat in the one place it might have changed the way we felt about the teller of the tale.

Overall, this was a disappointing book. The story is definitely a dystopia, but it wasn't very inventive, and it didn't hold my attention very tightly. I don't think there were any new insights about how tyrannies arise, how they persevere or fail, or why some people suffer quietly and others don't.

Saturday, December 22, 2007

Adam Roberts: Gradisil

In Adam Roberts's Gradisil the pioneers who settle near space around the Earth fight for their political freedom, yet somehow the viewpoint characters are unsympathetic enough that it's hard to root for them. The story follows several generations of the family that leads the fight; their cause is worthy, but they're so dysfunctional and spend so much of their time pushing at cross purposes to the higher goal that I was willing to give up on them several times.

The SF is solid; the idea is that the magnetic fields around the planet are real and coherent enough that engines can be built cheaply to exploit them and climb into space. This puts near Earth orbits within the grasp of individuals. It's a new frontier, away from the control of any particular government, so the people who move there are loners, escapists, and fringe cases of many kinds. There aren't many commercial opportunities to exploit at first, and it's hard to track the ships and stations, so the society that emerges is extremely loose-knit for a long time. There is some sense of community and neighborliness, but people who want to be left alone are left alone.

Eventually the governments figure out that having so many misfits flying overhead in uncontrolled space is a concern, and they decide to pacify and take over. The uplanders resist in a passive way that exploits their strengths, or at least relies on their smallest weaknesses. I loved the depiction of a war that is controlled by the lawyers: all the generals understand that winning on the battlefield but losing in the courtroom is not winning at all, so strategy and tactics have to be approved by the lawyers before any warlike actions can be taken.

The actual battle scenes, when they finally occur are plausible. A new environment and new technology lead to new tactics. The invaders aren't as familiar with the technology or the environment, so their expectations can be exploited by the native defenders.

The bottom line is that the Science Fiction is plausible and provides setting rather than being the focal point, the good guys are fighting for something important, but the viewpoint characters, even as they mature and are replaced by their progeny, are hard to sympathize with. The action is interesting, but it's a long struggle to get through the whole thing.

As a nominee for the Prometheus award, it lacks any explicit or implicit invocation of themes of freedom. This is a glaring weakness, since the opportunities were rampant. The SF was reasonably well developed, and that has to count in the book's favor, but I didn't enjoy the character development. I don't see Gradisil as a strong contender.

Wednesday, December 19, 2007

Ken MacLeod: The Execution Channel

Ken MacLeod's The Execution Channel is a near-future story from a recently diverged history. The science fiction is minimal, but sufficient to keep the book off the main-stream shelves. It's an adrenaline-pumping adventure/chase story that takes a distinct political stance against the recent growth of the security state.

The story follows government operatives and members of the counterculture in the aftermath of a series of apparent terror incidents in Britain. The first incident might be a nuclear explosion at a military base, but one of the main characters (participating in a peacenik stakeout at the base) saw and photographed delivery of a strange device before the explosion. She has a brother in the military who blogs about daily life, and her father works in intelligence. We follow them as various international government agencies track and connect them, and then decide what actions to take to contain them.

This novel has an unusual feel for MacLeod, since it is mostly conventional fiction in a near present setting. The divergent history is only present to argue that national politics doesn't make as big a difference to how events unfold as people think. I thought he pulled this part off well, making a surprising argument with only tiny effects on the story. The other SF aspect of the story is the effect behind the explosions; since a handful of the characters spend their waking hours spreading disinformation, the hints about the resolution are easy to discount on first reading.

Mostly MacLeod has found a good readable adventure story to wrap around a commentary on ubiquitous surveillance, government malfeasance, torture, and current events. The story is quite readable, and the themes will resonate for libertarians and other anti-authoritarians and privacy zealots. I think it's a good candidate to win the Prometheus award this year.

Peter McCluskey had a different reaction to the book.

Wednesday, December 05, 2007

Keith Stanovich: The Robot's Rebellion

Keith Stanovich, in his book The Robot's Rebellion , takes the stance that we are vehicles driven by our genes and memes, and tries to give us the tools and a place to stand to figure out what matters to us. (The metaphor is that we are robots driven by these influences, and we should want to regain control for ourselves.) Since the only tools we can use to reason with and all of our values are held by and in the control of our genes and memes, this is a daunting task.

Without explicitly recognizing that he's discussing epistemology, Stanovich does a commendable job of presenting a summary of the current research on standard biases in human reasoning. Once you understand the predilections of the tools you rely on, you can try to compensate for them, and start to figure out what you want. Stanovich's proposal is fundamentally consonant with Pancritical Rationalism. (Which is the source of the name of this blog.) The metaphor he uses is that of repairing a ship plank-by-plank while at sea. Regardless of how much or how little confidence you have in the current framework, you have to stand somewhere in order to start the process of examining what's there and replacing parts you don't have confidence in.

Much of the book repeats stories and results that have been widely reported in such popular books as Stumbling on Happiness, Adapting Minds, The Mating Mind, and The Blank Slate, but this material is easy to skim. Stanovich spends a lot of ink explaining that some of our analysis is done by mechanisms that are built-in and harder to introspect on or to change. This is relevant later when he talks about reconciling different desires.

One example of meta-rationality that Stanovich presents well is the point that introspection on your values may lead you to find apparent conflicts: you enjoy doing something, but wish you enjoyed it less, or you don't enjoy it and you wish you did. He provides a notation for talking about this kind of situation which I found kind of clumsy, but the idea of thinking about such things and having a language for analyzing them is valuable. He explains why you might have these conflicts, and why it is valuable to reason about the conflict from a viewpoint that is meta to both. Once you decide which desire is more important, he also shows that it's possible to use that understanding to bring your values into alignment, even when it's the more basic, inbuilt drive that you want to change. (I blogged last year about goals and meta-goals as ends and means).

Stanovich only spends about 20 pages on identifying and defusing opinions and desires that serve to protect your memes from your introspection, but these sections are his most valuable contribution. The memes that set up a self-reinforcing structure that forbid evaluation of the meme-complexes themselves are the ones that most deserve concentrated attention. I think he explains this point well enough that people in the grip of religious (or other defensive) ideas would be able to see how the prohibition on introspection only serves the meme-cluster, which might help them get over the hurdle and start down a reflective epistemological path, and figure out what their own goals are.

Unfortunately, Stanovich ends the book by trying to show that markets subvert the goal of reconciling our desires and meta-desires. His argument is that markets only pay attention to money, and so the people with the most money get what they want and everyone else gets nothing. What this misses is that of all the actually possible social institutions, markets are unique in not giving a few people complete control of the economy. In a market, some people have more money and therefore get to command more resources, but anyone who has some money can still use it to buy some of what they want. The great failing of socialism is that only the politicians get a voice. But this is a minor failing of the book. On the whole, it's nice to see a book that learns from Evolutionary Psychology, and uses those ideas to help people learn how to think about what they want.

Saturday, December 01, 2007

Andy Clark: Being There

Andy Clark's Being There is a book on intelligence and AI. Clark's main point is that all known intelligence is situated; it relies on context and the local environment to cue behavior, rather than redundantly modeling the environment at significant expense.

The book was recommended to me when I mentioned Greg Egan's Diaspora again as a description of how I imagine an AI might come to self-awareness. I had hoped that the book would provide information on building AIs using situated approaches and some examples of successes, but the focus is on demonstrating that human and animal behavior and cognition rely heavily on context and environment. Clark gives plenty of examples and describes experiments on infant locomotion to show that even crawling and beginning to walk are responses to environment cues.

As an argument that both learning and action in humans and many other creatures often appear only in response to environment cues, the book is reasonably thorough. As an argument that this is the only way that it could be, it falls short.

Most of the discussion about how this applies to AI are in examples of past projects in which someone discovers that eschewing representation, and striving to build something that will perform reactively simplifies the problem immensely. This is fine and useful for projects that want to solve particular problems (build a robot that can dance or mow the lawn, or find coke cans in a cluttered lab).

The argument that self-awareness may also require interaction with the environment seems different to me. Clark's examples all have the form that the environment is its own best representation, and using direct observation to cue performance is more efficient. This is true as far as it goes, but we already know that reasoning creatures have internal models that reflect object persistence, agency, permeability, and many other features of the objects around us that we can't recall by looking around us.

As in Egan's vignette, thinking creatures seem to come to self awareness by playing with the world through our innate sensors and effectors, and discovering that there are parts of the world that are out of our control and parts that are under our control. Still later we figure out that some of the parts that we control are ourselves and other parts merely ours temporarily. Later we realize that some of the parts we don't control are other agents with their own intentions, and we can affect them only indirectly. In Egan's version, the final step in coming to awareness is realizing that we and the other agents are the same kind of thing.

So while being situated is crucial in coming to awareness, the interaction between internal models and an external world that we can affect but that we can't control unilaterally seems crucial. Clark's focus is only on the ways in which relying on the environment simplifies the problems of an agent interacting with the world. I think this will help people produce useful tools, but without internal models, I expect them to continue to fall short of awareness or reasoning beyond the immediate situation.

Friday, November 23, 2007

Progress on Augmenting Intelligence

I just read a new paper by Jeff Shrager (currently at CommerceNet, which funded my work on Zocalo in 2005 and 2006; thanks to Tom Malone of MIT's Sloan School for the pointer to the paper) on a system designed to support group reasoning processes based on Bayesian principles. Having just read Eliezer Yudkowsky's post on Artificial Addition, I was sensitive to the notion that some older attempts at AI had failed to enforce any semantic relationship between the nodes that are intended to represent particular concepts.

The system described by Shrager et. al. uses a language understanding system (presumably based on the same tools as PowerSet relies on; I've been admitted to PowerSet's trials, but can't access the activation code, so I haven't tried their demo yet). This means that for the first time to my awareness, the system can help by finding semantic connections between assertions. This isn't trying to be AI, but computer support for collaborative reasoning is just as much on the path to enhancing our power to change the world as is AI.

Friday, October 12, 2007

Lim Lesczynski: The Walton Street Tycoons

Jim Lesczynski's The Walton Street Tycoons was suggested for the Prometheus award, but I don't think it will be a serious candidate. That's not because it's not libertarian enough, though, it's because it's completely not science fiction. Even 47 had more sf than this. The story tells of the spontaneous creation of a thriving market among a bunch of seventh graders in a small town that has fallen on tough times. All the kids get into it, and their problems with competition and government interference are quite entertaining. But the main character doesn't think like a 12 year-old, he thinks like an experienced, mature 27-year old. His sex drive, understanding of women, ability to organize, and expectations of his parents and teachers are much more suited to someone who has already been in the working world for 10 years than to someone who is discovering it all for the first time.

The story and the characters are unrealistic enough that I wouldn't recommend it to non-libertarians and the aspersions cast at school, liberals, and government officials would make it hard for any of them to get through. Especially since the aspersions come from the mouths of 12 and 13 year olds in contrived and implausible situations. For libertarians, the situations are merely mild exaggerations of the kind of shenanigans we expect from government agents, but to less sympathetic eyes, they'll look contrived and out of the ordinary. This is not the best way to convince someone that government doesn't work the way they think.

For libertarians, this is a mild diversion. As outreach, it's polemic and unbelievable.

Sunday, September 30, 2007

Inattentive Legislators

The October issue of Reason Magazine closes with a short piece (apparently not yet on-line) by Radley Balko on Dan Frazier, a Flagstaff activist who sells t-shirts superimposing the names of soldiers killed in Iraq over the phrases "Bush Lied" and "They Died". The article focuses on state legislatures in Arizona, Oklahoma and Louisiana that have passed bills (and attempts in Congress to do the same) prohibiting anyone from selling goods displaying the names of dead soldiers. Several of the legislators who voted in favor later acknowledged that the bills were probably unconstitutional.

Their excuses ranged from "A senior moment", to "failed to read the final version", or "hadn't read any version of the bill, despite voting for it twice." I'm outraged that they think these qualify as excuses. It seems to me that anyone who ever excuses a vote in a legislative body in this way should immediately be removed. If someone has "a senior moment" while driving, their license should be taken away. Isn't a congressional or a legislative seat a more dangerous weapon in the hands of an inattentive legislator?

Tuesday, September 25, 2007

Greg Mortenson: Three Cups of Tea

Greg Mortenson's Three Cups of Tea (co-written with David Oliver Relin) tells how Mortenson fell in love with Pakistan after a failed mountain climbing expedition and decided to help the people who rescued him by building a school for their children. After the effort and investment required to build the first, he continued building. According to Wikipedia and the website of the institute he helped found, they have built more than 60 schools in Pakistan and Afghanistan.

The book follows his adventures from the fateful climb through fundraising, kidnappings, and fatwas from imams incensed at westerners educating Muslim children.

Mortenson is quite a hero. He does a great job of helping the reader to see the Pakistanis as people, and shows how far a little education can go. The people he deals with are willing to give up a lot in order to make it possible for their children to get an education. Mortenson himself makes enormous sacrifices to continue the work, even when many factions try to prevent the education of their neighbors' girls.

The book is well enough written to have been a New York Times best seller. It's well worth the read.

Monday, September 10, 2007

Market Makers for Multi Outcome Markets

Previous articles in this series have discussed market makers and how they differ from book order markets, how to improve Liquidity in multi-Outcome claims, and how to integrate a Market Maker into Book order systems. But none of those talked in any detail about how a multi-outcome market maker coordinates prices and probabilities. Those details turn out to be important for an upcoming article on Combinatorial Markets, so I'll go through them carefully here.

Researchers use scoring rules as a laboratory tool to convince people to reveal their true expectations about some set of outcomes. Participants are asked to give estimates of the likelihood for a set of outcomes, their scores are some function of the value they gave for the actual outcome. Scoring Rules are called "Proper" if they are designed so the participant's best strategy is to honestly reveal the probabilities that seem most likely. The Logarithmic Scoring Rule (one of the Proper rules) provides a reward that equals the logarithm of whichever estimate turns out to correspond to the actual value. Since the total of all the estimates must be 1, the participant can only increase some probabilities by decreasing others.

Robin Hanson described how an Automated Market Maker (AMM) that adjusts its prices based on a scoring rule can support unlimited liquidity in a prediction market. If each successive participant in the market pays the difference between the payoff for her probability estimate and that due to the previous participant, the AMM effectively only pays the final participant. If the AMM's scoring rule is logarithmic, participants who only update some probabilities don't effect the relative probabilities of others they haven't modified. (This last effect is only valuable for Combinatorial Markets, which I'll talk about in a later post.)

The change in the user's payoff is log(newP) - log(oldP) (or equivalently log(newP/oldP)) for each state. For a binary question, the possible gain will be log(newP/oldP), and the cost will be log((1-oldP) / (1-newP)). For the rest of this article, I'll use gain and cost rather than the log(...) expressions, since there are only these two, and I'll be using them a lot.

In multi-outcome markets, the most common approach is to let the user specify a single outcome to be increased or decreased, and to adjust all the other outcomes equally, but this isn't the only possibility. This design choice has the useful property that the probabilities of other outcomes will be unchanged relative to one another. Since the other outcomes are treated uniformly, they can be lumped together, which results in the same arithmetic as a binary market. Since those other cases sum to 1-P, the price is cost. It is also reasonable to allow the user to specify either a complete set of probabilities, or particular cases to increase and decrease and how much to change them. Whatever the case, the LMSR adjusts the reward for each outcome to be log(newPi/oldPi). I'll describe more possibilities in this vein when I cover the Combinatorial Market.

I hope you found all this interesting in an intellectual sort of way, but you may have noticed that this description isn't applicable to markets in which the traders hold cash and securities. The whole thing is couched in terms of participants who will receive a variable payoff, but they don't pay for the assets, they merely rearrange their predictions in order to improve their reward.

In order to turn this into an AMM that accepts cash for conditional securities, we have to pay careful attention to the effects of the MSR on people's wealth. The effects are easiest to describe in the binary case, and every other case is directly analogous, so I'll start there. In a binary market, the participant raises one probability estimate (call it A) from oldP to newP and lowers the probability of the opposite outcome (not A) from 1-oldP to 1-newP. If the trader had no prior investment in this market, the reward will increase by gain.

In order to reproduce that effect in cash and securities, the AMM charges cost in exchange for gain + loss in conditional securities. Why does the trader get securities equal to the cost plus the potential gain? The effect of this is that if A occurs, the participant has paid cost, and received gain + cost, for a net increase of gain over the original position. If A is judged false, the participant has paid cost with no return, which is the effect we hoped to match.

When an AMM supports a multi-outcome market using the approach I described above, one outcome is singled out to increase (or decrease), while all other outcomes move a uniform distance in the opposite direction. If the single outcome is increasing, the exchange is trivial to describe: we charge the trader cost for gain + cost in securities. The effect looks just like the binary case. The user has spent some money and owns a security that will pay off in a situation the trader thought was more likely than its price indicated.

If the trader singles out one outcome to sell (and thus reduce its probability), the difference among the alternatives I described in the first article in this series on Basic Prediction Markets Formats becomes evident. The trader is betting against something, and the market can represent this using short selling, complementary assets, or baskets of goods. The market might allow short selling (like InTrade), a complementary asset (like NewsFutures and Foresight Exchange), or a basket of securities representing all the other outcomes (like IEM). Since there are distinctly different points of view on this question, different markets will make different choices.

In order to support the short sales model, the trader needs to receive the payment first along with a conditional liability. In our model, the trader would receive gain in cash immediately, and securities that required repayment of gain + cost if the outcome (which the trader bet against) occurs. The platform would presumably require the trader to hold reserves to ensure the repayment.

With baskets of goods, the trader would get the appropriate number of shares of each of the other outcomes. The charge would be cost, and that would purchase gain + cost of conditional assets in all other outcomes.

The complementary assets model would charge cost in currency, and provide gain + cost of an asset that paid off if the identified outcome didn't occur. The complicated part of this representation is that traders can hold both positive and negative assets. In a 4 outcome market, a trader holding 3 units of A and 2 units of B who sold 4 units of C could be shown equivalent portfolios of either A: 3, B: 2, C: -4 or A: 7, B: 6, D: 4. I think either choice is defensible. The first resembles the transactions the user has made, and so is probably more recognizable; the second provides a more consistent view of possible outcomes. (And looks the same as baskets.) If both positive and negative numbers are shown, the trader has to realize that the negative holdings pay off in all other cases. On the other hand, displaying a portfolio in a 7-outcome market as A: 3, B: 3, C: 3, E: 5, F: 3, G: 3 doesn't seem as clear as D: -3, E: 2.

I doubt this detail will be of much interest to most users of Prediction Markets. Luckily for them, the trade-off the logarithmic rule makes between cost and reward just happens to produce prices that match probabilities. But if you are implementing Hanson's LMSR, you should understand the alternatives well enough to verify that your market maker correctly implements the design.Zocalo Prediction Markets support binary and multi-outcome markets with a Market Maker based on the Logarithmic Market Scoring Rule. The design takes advantage of the parallels between the different markets by only implementing the logarithmic rule in one place.

This article is cross-posted to Midas Oracle.
(There's a good discussion on that site.)

Other Articles in this series

Friday, September 07, 2007

Daniel Gilbert: Stumbling on Happiness

Dan Gilbert's Stumbling on Happiness explains in great detail how most of us are confused about what will make us happy, and therefore (from our own perspective) we systematically make foolish choices. The book is written at a very approachable level, and has plenty of humorous asides that make it fun and easy to read. But if you're looking for a solution to the problems Gilbert points out, Gilbert himself doesn't hold out much hope. The ways our memory and imagination trick us are pervasive and hard to defeat. In a few ways, he points out ways to at least track which direction the failures tend to lead so you can try to overcompensate, but your deeper instincts will constantly be telling you that this time your hunches are right.

There were several examples throughout the book where I was able to say "I don't make that particular mistake." But I suspect that everyone can find 10% or maybe 20% of the examples that don't apply to them. But if each of us still has 80% of the foibles he describes (and presumably many more that weren't entertaining enough to get into print) that's still a lot of irrationality to go around. One way that I mostly do better than his prototypical reader is that I'm a self-aware optimist and happy person. I'm pretty confident that even if things don't go my way that I'll generally be happy. It's still hard to believe that I'd be as happy if I were blind or lame (and so I go to some trouble to avoid situations that make those kind of permanent damage too likely), but for all the other minor misfortunes, I'm usually willing to take chances, in confidence that I'll be happy enough even if things don't work out.

Gilbert's most common projection is that people expect to be unhappy if their team doesn't win, or they don't get the promotion. If you can make projections based on looking at the people around you, rather than trying to imagine how you'd feel, you'll do better. When you imagine, you focus on the causes of the scenario you're evaluating. If you look around for people who have suffered the fate you're considering, you'd discover, for example that half the teams lost last week, and there are few fans (whatever sport) whose morale level swings for more than an hour based on the latest results from their team.

This is a more useful book for people trying to understand the psychology of making choices than for people trying to learn how to be happy. People who are already happy most of the time will learn (if they read carefully) that it doesn't much matter what they do or choose; they'll likely be happy in any case. Gilbert's story doesn't have much to say about those who aren't generally happy, which is probably the biggest weakness of the book.

Saturday, September 01, 2007

K. W. Jeter: Farewell Horizontal

K. W. Jeter's Farewell Horizontal is a reasonably well-told straightforward hard SF story. The story follows a single character, Ny Axxter, as he wanders around the outside of a free-floating cylindrical habitat. He's a free-lance graffex artist, barely scraping by on the last of his savings, and the very occasional odd job. He recently abandoned life in the "horizontal" internal spaces, and has yet to find a stable role outside the cylinder, where gravity constantly threatens to pull everyone and everything down the wall.

The setting and the conflicts were moderately interesting, but Ny was a little too clueless for my taste. There were several times that Axxter blithely walked into situations that were clearly set-ups of one kind or another. Sometimes he did so against solid advice from people he'd recently met, and other times in the face of clear warning signs.

Even the resolution was a little too much of a set-up for me. Axxter is in sole possession of evidence that the universal information system that everyone trusts and relies on has been subverted, and if he passes it on to the right faction, maybe they'll do something about it, and reward him with a job! Nope, they're in it, too. But Axxter lucks out; it turns out that his private channel to the faction's leaders was leaky, and everyone in and on the habitat got the message, and decided that enough was enough.