CSE 505 - Syllabus - Fall 2017

Computing with Logic course


Course Description

The course explores logic-based computing and logic programming. It includes an introduction to programming in logic, covering basic techniques for solving problems in a logic programming system. Particular attention will be paid to user interface issues and how a logic system can provide a useful computing environment. The course covers implementation issues, emphasizing how a logic programming system generalizes both traditional programming language systems and traditional database systems. (https://www.cs.stonybrook.edu/students/Graduate-Studies/courses/CSE505)


Instructor: Dr. Paul Fodor
214 New Computer Science Department, Stony Brook University
Office hours: Mondays and Wednesdays 5:30PM-7:00PM
Phone: 1 (631) 632-9820
Email: pfodor@cs.stonybrook.edu

Class Time/Place

  • Lectures: MoWe 2:30PM - 3:50PM, Harriman Hall 116.


The following book gives a good intro. to Prolog and applications:
  • Ivan Bratko, PROLOG Programming for Artificial Intelligence, 3rd edition, Addison-Wesley; ISBN: 0201403757.
This is a new book that gives a good intro. to ASP:
  • Michael Gelfond, Yulia Kahl, Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach, Cambridge University Press. ISBN-13: 978-1107029569.
We will also use material from the following book (available online): There are a number of other Prolog texts, some of which are available on 2-hour loan from the library:
  • Michael Spivey, An introduction to logic programming through Prolog, Prentice Hall, ISBN: 0135360471.
  • Edmund Burke, Eric Foxley, Logic and its Applications, Prentice Hall, ISBN: 0130302635.

Grading Schema

Grades will be based on homework and exams according to the following formula:
  • Homework assignments = 15%
  • Project phase 1 = 2.5%
  • Project phase 2 = 2.5%
  • Project phase 3 (final) = 10%
  • Quizzes = 10%
  • Midterm exam 1 = 20%
  • Midterm exam 2 = 20%
  • Final exam = 20%
Do not miss the exam. Make-up exams will be given only in extenuating circumstances (e.g., doctor's note stating that you were ill and unfit to take the exam). Students who miss an exam for a valid reason may need to take a make-up exam; specific arrangements will be made on a case-by-case basis.

Exam dates:

  • Midterm exam 1: Mo. 10/16, during class time, in classroom.
  • Midterm exam 2: Mo. 11/13, during class time, in classroom.
  • Final exam: Tuesday, December 12, 2017, 5:30-8:00 PM, in classroom.

The Pass/No Credit (P/NC) option is not available for this course.

This policy applies to all CSE/ISE undergraduate courses used to satisfy the graduation requirements for the major.

Grade Cutoffs

A [95-100], A- [90-95), B+ [87-90), B [83-87), B- [80-83), C+ [77-80), C [73-77), C- [70-73), D+ [65-70), D [60-65), F [0-60)

SPECIAL RULE: If all your grades, including homework assignments, quizzes, recitation and your three exam grades are above the respective class averages, you're guaranteed to receive a grade of C or higher for this class.

There will be extra credit problems as a part of quizzes and homework assignments which values to an increase of less than 4% in the final grade.

There will be in-class quizzes / brief assessments used to practice the class material and measure growth in knowledge, abilities, and skills. They will be solved in class and they are valued 2 points each.

The grades will be posted on Blackboard: http://blackboard.stonybrook.edu for privacy reasons.

The final grade you receive in this class will reflect, as far as possible, the extent to which you have mastered the concepts and their applications. How much someone needs a grade, or how close they are to the next higher grade, will have no effect on grade. As the instructor, I want everyone to do well in this course, and will make every reasonable effort to help you understand the material taught. However, the grades provided at the end of the semester are final, except for rare situations involving grading errors. They will not be altered for any reason, so please do not ask me to do so.

Programming homework assignments

There will be regular programming assignments which must be submitted electronically on Blackboard (http://blackboard.stonybrook.edu) by the announced due date and time. All code must compile. Code that does not compile will not be graded. Assignments will be graded based on program performance and documentation. You may not submit any programming assignment late. Late programming work will not be graded. All program code that is submitted electronically must have the following information listed clearly in documentation (comments in your program code) at the beginning of each file: your name, the course (CSE 505), your section, the programming assignment number, the lab/recitation date and your section's graduate TA's name. There is also a programming project before the end of the semester.


For re-grading of an assignment or exam, please meet with the person (instructor or teaching assistant) responsible for the grading. Please arrange a re-evaluation within one week of receiving the graded work. All such requests that are later than one week from the date the graded work is returned to the class will not be entertained. To promote consistency of grading, questions and concerns about grading should be addressed first to the TA and then, if that does not resolve the issue, to the instructor. You are welcome to contact the TA by email or come to his office hour. If you would like to speak with the TA in person, and have a schedule conflict with his office hour, you are welcome to make an appointment to meet the TA at another time.

Tentative Class Schedule

Week Lecture Topics
1 Introduction to Logic, Logic Programming Concepts and Languages
2 Programming in Prolog
3 Programming in Prolog (cont.)
4 Propositional Logic and Resolution
5 Propositional Logic and Resolution (cont.)
6 Definite Logic Programs
7 Well-founded Semantics
8 Object-oriented Knowledge Representation and Reasoning
9 Answer Set Programming
10 Answer Set Programming (cont.)
11 Tabled Resolution
12 Probabilistic Logic Programs
13 Probabilistic Logic Programs (cont.)
14 Satisfiability Checking
15 Satisfiability Checking (cont.)

Disability Support Services (DSS) Statement:

If you have a physical, psychological, medical or learning disability that may impact your course work, please contact Disability Support Services, ECC (Educational Communications Center) Building, room 128, (631) 632-6748. They will determine with you what accommodations, if any, are necessary and appropriate. All information and documentation is confidential.
Students who require assistance during emergency evacuation are encouraged to discuss their needs with their professors and Disability Support Services. For procedures and information go to the following website: http://www.stonybrook.edu/ehs/fire/disabilities

Academic Integrity Statement:

Each student must pursue his or her academic goals honestly and be personally accountable for all submitted work. Representing another person's work as your own is always wrong. Faculty are required to report any suspected instances of academic dishonesty to the Academic Judiciary. Faculty in the Health Sciences Center (School of Health Technology & Management, Nursing, Social Welfare, Dental Medicine) and School of Medicine are required to follow their school-specific procedures. For more comprehensive information on academic integrity, including categories of academic dishonesty, please refer to the academic judiciary website at http://www.stonybrook.edu/commcms/academic_integrity/index.html

Critical Incident Management Statement:

Stony Brook University expects students to respect the rights, privileges, and property of other people. Faculty are required to report to the Office of Judicial Affairs any disruptive behavior that interrupts their ability to teach, compromises the safety of the learning environment, or inhibits students' ability to learn. Faculty in the HSC Schools and the School of Medicine are required to follow their school-specific procedures.

Page maintained by Paul Fodor