Can We Really Teach Computers What “Truth” Means?

What's to come?
Feb. 26 2013 7:46 AM

Can We Teach Computers What “Truth” Means?

It’s harder than it sounds.

(Continued from Page 1)

Computer scientists have worked to come up with formal descriptions of the everyday world. Here is a short list, taken from the Stanford Encyclopedia of Philosophy of some of scenarios they’ve tried to encode:

The Baby Scenario, the Bus Ride Scenario, the Chess Board Scenario, the Ferryboat Connection Scenario, the Furniture Assembly Scenario, the Hiding Turkey Scenario, the Kitchen Sink Scenario, the Russian Turkey Scenario, the Stanford Murder Mystery, the Stockholm Delivery Scenario, the Stolen Car Scenario, the Stuffy Room Scenario, the Ticketed Car Scenario, the Walking Turkey Scenario, and the Yale Shooting Anomaly.

Let’s take the last of these—the Yale Shooting Anomaly, which aims to formally codify the fact that an unloaded shotgun, if loaded and then shot at a person, would kill the person. Classical logic dealt with things like “1+1=2” which are true, (or false, like 1=0) for all time. They were true, are true, and always will be true. It doesn’t allow for things to happen. But to encode common- sense knowledge, computer scientists need a way to allow for events to take place. They also need ways to encode spatial locations.

Advertisement

Some of this had been worked out in a rigorous but limited way, in what philosophers call modal logic, which was first enunciated by C.I. Lewis in 1918. But modal logic was too limited for computer scientists to use in semireal world systems. In the languages that computer scientists have come up with, as in the Yale Shooting Anomaly, they were unable to preclude the possibility that the shotgun would spontaneously unload itself. It’s not that computer scientists think that that will happen; it’s that they struggle to formalize how it can’t. (Since the Yale Shooting Anomaly was first stated in 1986, many solutions have been proposed, but it remains an area of research.)

A central challenge computer scientists face is what’s called the ramification problem: How to codify that fact that if I walk into a room, my shirt does, too. This is paralleled by the “frame problem,” first enunciated by McCarthy in 1969, which is the “problem of efficiently determining which things remain the same in a changing world.” These problems are considerably harder than careless cheerleaders like Kurzweil make them out to be.

The central result of logicians in the 20th century was that, in the end, it will always be necessary to extend your axioms—things you just assume to be true without proving them—if you are to extend your idea of truth. This brings us to our second idea about truth—that men are created equal and entitled to life, liberty, and the pursuit of happiness. Thomas Jefferson’s insight (without getting into the abominable hypocrisy of the fact that slavery was legal at the time) was that these truths were not provable from some more basic system of logic, but must themselves be assumed.

The sense in which artificial intelligence research has eroded the distinction between such moral truths and mathematical truths is not a rigorous philosophical identification of the two, but just a sense that truths of the first sort are not as absolute as they seem (at the end the fights between logicians come down to opinion and taste) while truths of the second sort can be, grudgingly and with struggle, written down in a form that outwardly resembles the simpler-seeming truths of mathematics.

TODAY IN SLATE

Jurisprudence

Scalia’s Liberal Streak

The conservative justice’s most brilliant—and surprisingly progressive—moments on the bench.

Colorado Is Ground Zero for the Fight Over Female Voters

There’s a Way to Keep Ex-Cons Out of Prison That Pays for Itself. Why Don’t More States Use It?

The NFL Explains How It Sees “the Role of the Female”

The Music Industry Is Ignoring Some of the Best Black Women Singing R&B

Culturebox

Theo’s Joint and Vanessa’s Whiskey

No sitcom did the “Very Special Episode” as well as The Cosby Show.

Television

The Other Huxtable Effect

Thirty years ago, The Cosby Show gave us one of TV’s great feminists.

Cliff Huxtable Explains the World: Five Lessons From TV’s Greatest Dad

Why Television Needs a New Cosby Show Right Now

  News & Politics
Weigel
Sept. 18 2014 8:20 PM A Clever Attempt at Explaining Away a Vote Against the Farm Bill
  Business
Moneybox
Sept. 18 2014 6:02 PM A Chinese Company Just Announced the Biggest IPO in U.S. History
  Life
The Slate Quiz
Sept. 18 2014 11:44 PM Play the Slate News Quiz With Jeopardy! superchampion Ken Jennings.
  Double X
Doublex
Sept. 18 2014 8:07 PM Crying Rape False rape accusations exist, and they are a serious problem.
  Slate Plus
Behind the Scenes
Sept. 18 2014 1:23 PM “It’s Not Every Day That You Can Beat the World Champion” An exclusive interview with chess grandmaster Fabiano Caruana.
  Arts
Brow Beat
Sept. 18 2014 4:33 PM The Top 5 Dadsplaining Moments From The Cosby Show
  Technology
Future Tense
Sept. 18 2014 6:48 PM By 2100 the World's Population Could Be 11 Billion
  Health & Science
Science
Sept. 18 2014 3:35 PM Do People Still Die of Rabies? And how do you know if an animal is rabid?
  Sports
Sports Nut
Sept. 18 2014 11:42 AM Grandmaster Clash One of the most amazing feats in chess history just happened, and no one noticed.