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

Topics

  1. Chapter 1: Introduction to Logic Problem Solvers
  2. Chapter 2: Datasets for Logic Problem Solvers
  3. Chapter 3: Queries and Updates for Logic Problem Solvers
  4. Chapter 4: Query Evaluation and Optimization
  5. Chapter 5: View Definitions and Evaluation
  6. Chapter 6: Operation definitions
  7. Chapter 7: Other Types of Logic Programming for Problem Solvers