Date: Wed, 20 Nov 1996 23:17:27 GMT
Server: NCSA/1.5
Content-type: text/html
22C:145 Artificial intelligence I - Fall 1994
22C:145 Artificial intelligence I - Fall 1994
Instructor:
Maria Paola Bonacina
(bonacina@cs.uiowa.edu)
Class Meetings: 1:30pm - 2:30pm MWF in 113 MacLean Hall
Objectives of the course:
to give a rigorous introduction to the field of Artificial Intelligence,
that offers to the student opportunities for abstract thinking,
problem solving and programming, and serves as a foundation for further studies.
Contents of the course:
- Problems and Search.
- Knowledge representation.
- Reasoning on knowledge: game playing, theorem proving in propositional
logic, first-order logic, equational logic.
Textbooks:
- Elaine Rich and Kevin Knight, Artificial Intelligence,
2nd edition, McGraw Hill, 1991, ISBN: 0-0705-2263-4.
- Chin-Liang Chang and Richard Char-Tung Lee, Symbolic Logic and
Mechanical Theorem Proving, Computer Science Classics,
Academic Press, 1973, ISBN: 0-1217-0350-9.
- W. F. Clocksin and F. Mellish, Programming in Prolog,
3rd edition, Springer Verlag, 1987, ISBN: 3-5401-7539-3.
Back to my teaching page.
This page was last updated on Monday, 13-May-96 11:43:31 CDTby
Maria Paola Bonacina
(bonacina@cs.uiowa.edu).