CSE505 - Fall 2017

Computing with Logic course

http://www.cs.stonybrook.edu/~cse505


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)

Staff

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: paul.fodor@stonybrook.edu 


Class Time and Place

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

Lecture Notes and Reading Assignments

The following schedule is tentative and subject to change. The homework assignments and labs are posted on Blackboard: http://blackboard.stonybrook.edu
Week Date Lecture Topics/Notes Readings
1 Mo. 8/28 Administrative information Bratko chapter 1
We. 8/30 Introduction to Logic, Logic Programming Concepts and Languages Bratko chapter 2
2 Mo. 9/4 No classes in Session (after Labor Day - Observed) Stony Brook Calendars
We. 9/6 Programming in Prolog (Basics, Terms) Bratko chapters 3
3 Mo. 9/11 Programming in Prolog (Basics, Terms) (cont.) Bratko chapters 4
We. 9/13 Programming in Prolog cont. (Structures, Lists, Difference Lists) Bratko chapters 5 and 6
4 Mo. 9/18 Programming in Prolog cont. (Structures, Lists, Difference Lists) (cont.) Bratko chapters 5 and 6
We. 9/20 Programming in Prolog cont. (Aggregation, State, Meta Programming) Bratko chapters 7 and 23
5 Mo. 9/25 Programming in Prolog cont. (Aggregation, State, Meta Programming) (cont.) Bratko chapters 7 and 23
We. 9/27 Propositional Logic and Resolution n/a
6 Mo. 10/2 Propositional Logic and Resolution (cont.) n/a
We. 10/4 Propositional Logic and Resolution (cont.) n/a
7 Mo. 10/9 Predicate Logic: Model Theory Nilsson/Maluszynski 1,2
We. 10/11 Midterm review  see Blackboard
8 Mo. 10/16 Midterm exam 1 n/a
We. 10/18 Definite Logic Programs: Models Nilsson/Maluszynski 1,2
9 Mo. 10/23 Definite Logic Programs: Derivation and Proof Trees Nilsson/Maluszynski 3
We. 10/25 Definite Logic Programs: Derivation and Proof Trees (cont.) Nilsson/Maluszynski 3
10 Mo. 10/30 Negation in Logic Programming n/a
We. 11/1 Tabled Resolution n/a
11 Mo. 11/6 Tabled Resolution (cont.) n/a
We. 11/8 Midterm Review see Blackboard
12 Mo. 11/13 Midterm exam 2 n/a
We. 11/15 Negation: Stable Models n/a
13 Mo. 11/20 Negation: Stable Models n/a
  We. 11/22 Thanksgiving Break - No classes in Session See Stony Brook Calendars here: http://www.stonybrook.edu/commcms/registrar/calendars/academic_calendars.html
14 Mo. 11/27 Negation: Well-Founded Models n/a
We. 11/29 Constraint Logic Programming (CLP) n/a
15 Mo. 12/4 Knowledge Representation and Reasoning, Object-Oriented KRR, OO logical languages and Flora-2 n/a
We. 12/6 Object-Oriented KRR with Flora-2 – Access Control and Privacy Control Example, KRR with Flora-2 - Driving Example, n/a
Final Tu,, 12/12 Final: Tuesday, December 12, 2017, 5:30-8:00 PM, in classroom See Final Exams University Schedule

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