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 4-5:30pm
Phone: 1 (631) 632-9820
Email: paul.fodor@stonybrook.edu
| Week | Date | Lecture Topics/Notes | Readings |
| 1 | Mo. 8/26 | Administrative information | n/a |
| We. 8/28 | Introduction to Logic, Logic Programming Concepts and Languages | n/a | |
| 2 | Mo. 9/2 | No classes in Session (Labor Day - Observed) | Stony Brook Calendars |
| We. 9/4 | Introduction to Logic, Logic Programming Concepts and Languages (cont.) | n/a | |
| 3 | Mo. 9/9 | Programming in Prolog (Syntax, Semantics) | Bratko chapters 1-4 |
| We. 9/11 | Programming in Prolog cont. (Terms, Structures) (cont.) | Bratko chapters 5 and 6 | |
| 4 | Mo. 9/16 | Programming in Prolog cont. (Terms, Structures) (cont.) | Bratko chapters 5 and 6 |
| We. 9/18 | Programming in Prolog cont. (Lists) (cont.) | Bratko chapters 7 and 23 | |
| 5 | Mo. 9/23 | Programming in Prolog cont. (Difference Lists, trees, graphs) (cont.) | Bratko chapters 7 and 23 |
| We. 9/25 | Programming in Prolog cont. (Difference Lists, trees, graphs) (cont.) | Bratko chapters 7 and 23 | |
| 6 | Mo. 9/30 | Propositional Logic Semantics and Resolution | Nilsson/Maluszynski 1,2 |
| We. 10/2 | Propositional Logic Semantics and Resolution (cont.) | Nilsson/Maluszynski 1,2 | |
| 7 | Mo. 10/7 | Midterm review | see Blackboard |
| We. 10/9 | Midterm exam 1 | n/a | |
| 8 | Mo, 10/14 | No Classes (Fall break) | n/a |
| We. 10/16 | Predicate Logic: Model Theory | Nilsson/Maluszynski 1,2 | |
| 9 | Mo. 10/212 | Predicate Logic: Model Theory (cont.) | n/a |
| We. 10/23 | Definite Logic Programs: Models | Nilsson/Maluszynski 1,2 | |
| 10 | Mo. 10/28 | Definite Logic Programs: Model | n/a |
| We. 10/30 | Definite Logic Programs: Derivation and Proof Trees | Nilsson/Maluszynski 3 | |
| 11 | Mo. 11/4 | Definite Logic Programs: Derivation and Proof Trees (cont.) | n/a |
| We. 11/6 | Midterm Review | see Blackboard | |
| 12 | Mo. 11/11 | Midterm exam 2 | n/a |
| We. 11/13 | Tabled Resolution | n/a | |
| 13 | Mo. 11/18 | Negation in Logic Programming | n/a |
| We. 11/20 | Stable Models Semantics and Answer Set Programming | n/a | |
| 14 | Mo. 11/25 | Constraint Logic Programming (CLP) | n/a |
| We. 11/27 | Thanksgiving Break - No classes in Session | See Stony Brook Calendars here: http://www.stonybrook.edu/commcms/registrar/calendars/academic_calendars.html | |
| 15 | Mo. 12/2 | Knowledge Representation and Reasoning, Object-Oriented KRR, OO logical languages and Flora-2 | n/a |
| We. 12/4 | Object-Oriented KRR with Flora-2 – Access Control and Privacy Control Example, KRR with Flora-2 - Driving Example, Future of Programming Languages? | n/a | |
| 16 | Mo. 12/9 | Final Review | n/a |
| Final | Final: Monday December 16, 2019, 5:30-7:30pm | See Final Exams University Schedule here: https://www.stonybrook.edu/commcms/registrar/registration/_exams/fall18-finals.php |
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
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
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.