Sorry! We could not find what you were looking for
Try going back to the main page here
CMSC 771 Fall 97
Heuristics and Knowledge representation
This course will cover some basic techniques and algorithms for
representing and reasoning about knowledge. We will use logic
programming and Prolog in particular as a computational vehicle for
exploring the techniques and their application. We assume that
students have taken a introductory course in artificial intelligence.
No prior experience using Prolog is assumed.
Specific topics we will cover include: the logic programming paradigm,
the Prolog programming language, the agent paradigm in AI systems,
reasoning, production systems, semantic networks, description logics,
truth maintenance systems, reasoning with constraints, planning and
learning.
We will have about six short assignments, one or two longer projects,
a mid-term and a final.
Prerequisite
CMSC 471 or 671 (i.e., some AI course) or permission of instructor.
When and Where
Tuesday and Thursday from 5:30 to 6:45 in ECS 210I
Instructor
Text Books
Software
We will be using SICSTUS
Prolog. The
SICSTUS v3 manual is available on-line. Copies of the SICStus
Prolog system will be available under Unix, PCs and Macs.
771 mailing list
There is a class mailing list which you can subscribe to. Send a
message to
majordomo@cs.umbc.edu with the text "subscribe 771" in the body of
the message to subscribe.
Sorry! We could not find what you were looking for
Try going back to the main page here