LITERATUUR



Kunstmatige Intelligentie (AI), mechanical reasoning.



@

A. Barr, E.A. Feigenbaum (eds.)

(1981):
The handbook of Artificial Intelligence, vol. I, chap. 2, "Search".
Pitman Books (1981).

@

C.L. Chang, R.C.T. Lee

(1973):
Symbolic logic and mechanical theorem proving.
Academic Press (1973).

@

Copeland, Jack:


Artificial Intelligence: A Philosophical Introduction.
Basil Blackwell, 1993.

@

Charniak, E. & McDermott, D.

(1985):
Introduction to Artificial Intelligence.
Reading, Massachusetts: Addison-Wesley P.C..

@

Dowty, Karthunen & Zwicky.

(1985):
Natural Language Parsing.
Cambridge, MA: Cambridge University Press.

@

D.M. Gabbay, C.J. Hogger (eds.) (19..):


Handbook of logic in artificial intelligence and logic programming.
Oxford University Press (1993).

@

King, M. etal.

(1983):
Parsing Natural Language.
London: Academic Press Inc., LTD.

@

Neumann, J. von

(1958, 1963):
The computer and the brain.
New Haven: Yale University Press.

@

Nilsson, NJ

(1980):
Principles of Artificial Intelligence.
California, Tioga Publishing.

@

J. Pearl

(1984):
Heuristics: Intelligent search strategies for computer problem solving.
Addison-Wesley (1984).

@

Pylyshyn, Z.

(1981):
Complexity and the study of artificial and human intelligence.
In: Haugeland, J., (Ed.), 'Mind Design ' (pp.67-94).
Montgommery VM: Bradford Books.

@

Reiter, R.

(1980):
A Logic for Default Reasoning.
In: ' Artificial Intelligence ', 13, 81-132.

@

Turing, Alan

(1950:
Computing Machinery and Intelligence.
In: ' Mind '.