On the Island of Logical Robots

Suppose you are a maintenance tech who works on an island with many different robots, in three different models. (1) Truthinator 9000, (2) D-Seevr 4.0, and (3) Benders. All three kinds of robots look exactly alike, so you can’t tell them apart based on what they look like. They all know everything there is to know. But Truthinators are programmed always to tell the truth; D-Seevrs are programmed always to tell lies. Benders mostly lie, of course, but they can choose to say false things and they also can choose to say true things. All of them only output intelligible declarative sentences with definite consistent truth values.[1]

Now suppose that a robot needs a repair and wants to identify its model to you. Truthinator 9000 would say “I am Truthinator 9000.” But then, D-Seevr might also say that, and so might Bender, if he chooses to lie, which he often does. Bender could truthfully say “I’m a Bender, bub” but a D-Seevr might say that too.

  1. Is there one sentence that a Bender could say that would allow you, as a sufficiently logical maintenance tech, to identify the robot as a Bender rather than a Truthinator or a D-Seevr? If so, what?

  2. Is there one sentence that a Truthinator could say that would allow you to definitely identify the robot as a Truthinator and not as a Bender or a D-Seevr? If so, what?

  3. Is there anything that a D-Seevr could say in one sentence that would allow you to definitely identify the robot as a D-Seevr, and not as a Truthinator or a Bender?

13876497_10157258050255584_5593836035234186786_n

  1. [1]This is of course a modified Knights and Knaves problem, of the sort popularized by Raymond Smullyan. But the presence of Benders on the island should significantly change the sort of strategies available.

Advertisement

Help me get rid of these Google ads with a gift of $10.00 towards this month’s operating expenses for radgeek.com. See Donate for details.

1 reply to On the Island of Logical Robots Use a feed to Follow replies to this article · TrackBack URI

  1. martin

    1) A Bender could say “I am a D-Seevr”. A Truthinator wouldn’t say that because it would be a lie. A D-Seevr wouldn’t say that because it would be the truth. 2) No, anything a Truthinator says, can be said by a Bender as well. 3) Ditto for a D-Seevr.

Post a reply

By:
Your e-mail address will not be published.
You can register for an account and sign in to verify your identity and avoid spam traps.
Reply

Use Markdown syntax for formatting. *emphasis* = emphasis, **strong** = strong, [link](http://xyz.com) = link,
> block quote to quote blocks of text.

This form is for public comments. Consult About: Comments for policies and copyright details.