COMP 3400 Computational Logic and Automated Reasoning

 

 

News from the Instructor


April 05: Today's was the last lecture. The last part of the posted slides is non-mandatory reading. This Tuesday at the lecture time I will be in my office in case you need to see me. For the final examination: It will not be multiple-choice, but based on short technical question that have to be solved. Read the slides thoroughly, redoing the examples, doing the proposed exercises (they are all easy), and make sure you understand the solutions in your assignments. With this you should be fine. The emphasis will be on the part of the course that was not part of the midterm, but you are expected to know everything.
April 03: Assignment 5 is here.
April 03: Jordan will have office hours this Friday.
March 19: Jordan will have office hours this Friday.
March 16: Here is Assignment 4.
March 1: Jordan will have office hour next Friday. Those who lost points fro not explaining Prover9's methodology will get 3 points back. You can compute the resulting percentage or email the instructor or Zahra.
Feb. 21: Here is Assignment 3.
Feb. 21: Here you can find some additional material on dynamic predicates in Prolog. Your will need it for the next assignment (coming).
Feb. 19: For the midterm study all the posted lecture slides including those for the lecture of Feb. 15 (except for the explicitly non-mandatory ones). The midterm will be multiple choice. (But not the final exam; so, start studying properly now.)
Feb. 16: Download and install SWI Prolog. You will need it for the next assignment. Start running the simple examples shown in class.
Feb 16: Solution sketches for ass. 1 are here.
Feb 14: Jordan will offer OHs this Friday.
Feb 08: Assignment 2 is posted here.
Jan 27: Jordan will have TA hours this Friday. See previous news below.
Jan 27: Some slides on propositional Otter can be found here; for your own reading.
Jan 24: Assignment 1 is posted here. It is a zip file containing the pdf file and the Latex souces used to create it. Deadline: Feb. 4.
Jan 24: Under "material" you will find as the first entry some pages from a typical book on discrete math covering propositional logic. For you to refresh your knowledge and see additional examples of its use.
Jan 24: Here is a zipped file containing a detailed latex file that you should use as a template for assignment submission, and all you need to run it; and the corresponding pdf output.
Jan 18: This is a relatively old presentation I made for a general audience that touches several topics we discussed in class today and others that will show up in class later on. It is interesting, non-mandatory reading. For your computational culture and joy.
Jan 18: Here you can find links to download the reasoning systems we will use (in this order): Otter/Mace/Prover9, SWI Prolog, DLV.
Jan 17: The lecture posted yesterday evening was just replaced by a new version.
Jan 12: TA office hours will take place in HP 4125.
Jan 12: A classmate enrolled with the Paul Menton Center needs a note taker. Any volunteer? Here is the note sent by the PMC: ""Currently the PMC is seeking a volunteer notetaker for this class, COMP 3400 (A). This volunteer service is very easy for you to do and has many rewards. Volunteers must take notes for all lectures and have them uploaded within 48 hours of the lecture date. Notes can be typed or handwritten notes can be scanned and uploaded via Carleton Central. Volunteers who upload all notes in a timely manner will be eligible for a letter of appreciation and CCR credit at the end of the term. If this is an opportunity you would like to take advantage of please email volunteer_notetaking@carleton.ca with your name, student number and complete course code, or you can stop by our office in 501 University Centre."
Jan 12: For those who have never gone through a (proper) database course, here you will find a review of relational databases. It is non-mandatory reading, and this course does not require having taken a course on databases. However, this course combines well with such a course and you may benefit from the combined perspective on knowledge representation.
Jan 12: The lecture posted yesterday evening was just replaced by a new version.
Jan 09: Lecture slides have been posted, including some extra slides not shown in class. All of them have to be read (always). Also: Carefully read the whole syllabus.
Jan 05: TA office hours: Zahra Hassanzadeh; Wednesdays 3:00-4:30 (every week). Jordan Li; Fridays 14:00-15:30 (not every week, and will be announced in advance).
Jan 05: Students will have to hand in written assignments, and they have to look professional (an aspect that will be considered in the mark). Accordingly, documents must be prepared with Latex, producing as output a document in PDF format that has to be submitted. Latex is the de facto standard for writing technical/scientific documents.
Latex can be run under Windows, Mac, Linux, etc. So, the first task is to download Latex and install it on your computer. It is free. I use MikTex on Windows, but there are alternatives. It is better to produce Latex documents and run them through an appropriate editor. A free one is Texmaker (there are others). I use WinEdt, which is not free (there is a trial version), but am very happy with it.
Start familiarizing yourself with Latex before you have to do the first assignment. Here you can find a Latex manual (there are many on-line).
A zip file containing a sample article with the style you will use for your reports/assignments can be found here.