Design of Problem Solvers (CS 602)
Course Description
This course introduces the design of problem solvers. It covers the design of logic problem solvers, including the design of datasets, queries, updates, and optimizations. The course also covers the design of view definitions, operation definitions, and other types of logic programming for problem solvers.
Course Requirements
- Pre-requisite: None
- Credit Hours: 3 CHs
- Contact Hours: (4 hours lecture)
Textbook
Title: “Introduction to logic programming”
Author: Genesereth, Michael, and Vinay K. Chaudhri
Year/Edition: 2022
Link to book
Title: “Building Problem Solvers”
Author: Kenneth D. Forbus, Johan de Kleer
Year/Edition: 1993
Link to book
Link to Sierra
Introductory Tour of Sierra
Epilog Vocabulary
Grading Policy
| Assesment | Weight |
|---|---|
| Midterm Exam | 20% |
| Final Exam | 40% |
| Assignments | 15% |
| Labs and lab exam | 20% |
| Oral presentation | 5% |
Important Dates
| Event | Date |
|---|---|
| Midterm Exam | 25/02/2025 |
| Lab Exam | 06/05/2025 |
| Final Exam | 13/05/2025 |
Topics
- Chapter 1: Introduction to Logic Problem Solvers
- Chapter 2: Datasets for Logic Problem Solvers
- Chapter 3: Queries and Updates for Logic Problem Solvers
- Chapter 4: Query Evaluation and Optimization
- Chapter 5: View Definitions and Evaluation
- Chapter 6: Operation definitions
- Chapter 7: Other Types of Logic Programming for Problem Solvers