14.11.2012 Views

2. Philosophy - Stefano Franchi

2. Philosophy - Stefano Franchi

2. Philosophy - Stefano Franchi

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

T HE SUPPLEMENT<br />

Furthermore, let suppose that C represents the game of chess in its more general sense.<br />

C<br />

The game of chess as it is really played, e.g.<br />

"in itself"<br />

The claim of self-containment can be interpreted as a double requirement on the rela-<br />

tionships among A, B, and C. First, it is clear that no situation like the following can arise:<br />

A<br />

B<br />

A and ~B B and ~A<br />

B and A<br />

Irreproducible Iegal<br />

chess positions<br />

Illegal rule-produced<br />

chess positions<br />

There cannot be configurations that the rules cannot generate nor there can be rule-<br />

generated configurations that do not count as legal positions. 2 If we consider only the rules<br />

governing the movement of the pieces, the coincidence between A and B seems, nowadays<br />

at least, fairly trivial to accomplish, because it just means that the machine must be able to<br />

play a “legal” game of chess. 3 However, we have seen that it is crucial to Artificial Intelli-<br />

gence that “heuristic” rules be included as well in its repertoire, e.g. rules that govern the<br />

<strong>2.</strong> Completeness and consistency, roughly speaking, must endow the relationship between A and B.<br />

3. The task was far from trivial, instead, when computing machines were primarily considered number<br />

crunchers and the basic tools needed to represent chess-positions and transitions between them did not<br />

exist yet. In fact, the early literature on chess-playing machine quotes this as a major accomplishment.In<br />

the early stages of development of computer science, the expressive needs of Artificial Intelligence<br />

programs represented a major stimulus toward the development of higher-level programming<br />

languages, like IPL, the predecessor of LISP (later developed by John mcCarthy) that Simon, Shaw and<br />

Newell, had to invent in order to pursue symbolic programming and, of course, LISP itself. See Allen<br />

Newell, J.C. Shaw, and Herbert Simon, “Chess-Playing Programs and the Problem…,” 63 ff, and<br />

above, sect. IV.3 for a detailed discussion of this issue.<br />

243

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!