Sorry! We could not find what you were looking for

Try going back to the main page here

 
4
4
0
0
0
0

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.

Syllabus

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.

Code

papers to read

Assignments

Resources

Sorry! We could not find what you were looking for

Try going back to the main page here

 
4
4
0
0
0
0