Office:
Officehours: MWF
8:00am-10:00am, or by Appointment. You are welcome to drop by my office any
time.
Introduction PDF file(4 in 1)
Intelligent agents: PDF file(4 in 1)
Blind search: Part I, Part II, Part III, Part IV, All
Heuristic search: Part I, Part II, Part III, All
Constraint Satisfaction Problems: Part I, Part II, Part III, Part IV, Part V, All
Knowledge and Representation: All
Syntax and semantics of A-Prolog: Part I, Part II, Part III, All
Creating knowledge base: Part I, Part II, All
Default reasoning: All
Answer Set Programming: All
Dynamic domain: Part I, Part II, Part III, Draft
Prolog language and system: Part I, Part II
Review: PDF
Submission: hard copy only.
Project: PDF, presentation schedule
Homework 1: PDF
Homework 2: PDF
Homework 3 (Programming Assignment): PDF
Homework 4: PDF
Previous Test: PDF
Homework 5: PDF
Homework 6: PDF
Homework 7: PDF
Homework 8:
Homework 9:
Smodels
1. To download lparse, smodels, and the relevant documents, e.g., Lparse User’s Manual, go to here. For windows system, download the versions for windows 98 binary. De-compress the files, and copy all .exe files to a directory, say smodels/.
2. To download makeatoms, go to here. Download the versions for windows system, and de-compress the file. Copy .dll and .exe files to the directory smodels/.
3. For windows system users, open a command window, change your directory to smodels/, and run your program by issuing command
lparse --true-negation programFileName | smodels 0 | mkatoms
Alternatively, go to here, download all files into a directory, say smodels/, on your computer with windows system, and follow 3) above.
Here is an example. Note that this example uses #hide. and #show to make smodels to display only interesting literals of an answer set of a program.