Announcements and Special Information

CIS548

 

12/7 – As discussed in class, the code segments sent by email are now posted as MileStone 1d and MileStone 2a.

 

12/1 – As discussed in the email I sent, MileStone 0 has been posted to the project website.

 

11/28 – A version of the Qlog algorithm we discussed in class Tuesday has been posted.  This algorithm along with the input data and advanced input data are all linked to from the main project page.

 

11/27 – A newer version of Sample code for Project #3 has been posted.  Both the tokenizer and the parser now accept multiple parameters for predicates.  A sample run and a READ ME file are included.

 

11/25 – Sample code for Project #3 has been posted.  It includes a programs for reading, parsing and storing Qlog formulas.  storeQ.py combines the other one.  Two words of caution.  The code has not been thoroughly tested, so it may have problems.  And it was not written to accept multiple arguments to predicates.  If I find time to add that feature, I will post new code.  Also, I will work on a README file to give documentation.

 

11/17 – More material for Project #3: classes, readq & generators.

 

11/16 – Here are some functions that you may find useful for processing the logical formulas during the semantic tableaux proof process.

 

11/14 – I have placed some code for reading logical formulas in the Project 3 folder.  I also sent out an email with a copy of that file, if your spam filter did not hide it.

 

10/29 – You may recall that when we went over exercises 2a and 2b from the EI-EG-UI-UG problems, that we corrected a typo at Line 2.  The symbol Ù should have been ®.  Be sure to keep that in mind as you do the semantic tableaux homework for those problems.  I have now corrected that and the current page no longer has that problem.

     Also, although the derivation steps are different, when put in semantic tableaux format, problem 2a is the same as 2b and 4b is the same as 4c.  You do not need to do those tableaux twice.

 

9/7 – Please read chapters 9 & 10 of BKL.  For the moment, just read for content.  We will go back later and study the parts we need for our project, as well as covering some of the material from other chapters.

 

9/1 – Welcome to class!  Please check this page regularly for information that will be posted.