Hi There!

I'm Dan Schlegel, an Assistant Professor in the Computer Science Department at SUNY Oswego

CSE563 – Fall 2010

I was a TA for CSE4/563 (Knowledge Representation) at UB for the Fall 2010 semester. This page is maintained for historic purposes.

I am teaching two recitations for this course which are not always necessarily in sync. Please look at the files below for your particular recitation.

 

Monday Recitation Wednesday Recitation
Week of Sept. 6 Did Not Meet (Labor Day) Topics: What is AI?, Propositions, Semantics, Model Finding
Recitation Slides
Excel Model Finding
Week of Sept. 13 Topics: What is AI?, Propositions, Semantics, Model Finding
Recitation Slides
Excel Model Finding
Topics: UNIX, Entailment, WFPs, Denotation, Model Finding Refutation
Recitation Slides
Week of Sept. 20 Topics: UNIX, Entailment, WFPs, Model Finding Refutation, ‘How Dorothy Ended Up In Oz’ Domain
Recitation Slides
Our ‘Dorothy’ Domain Formalism
Topics: Proof of Entailment Metatheorem, ‘How Dorothy Ended Up In Oz’ Domain
Recitation Slides
Our ‘Dorothy’ Domain Formalism
Week of Sept. 27 Topics: Proof of Entailment Metatheorem, Properties of Logical Syntax, Fitch Style Proofs, Wang
Recitation Slides
‘Dorothy’ Wang Example
‘Dorothy’ Proof (Fitch | PNG)
B&E Fitch Problem 1 (Fitch | PNG)
B&E Fitch Problem 2 (Fitch | PNG)
Topics: Properties of Logical Syntax, Fitch Style Proofs, Wang
Recitation Slides
‘Dorothy’ Wang Example
‘Dorothy’ Proof (Fitch | PNG)
B&E Fitch Problem 1 (Fitch | PNG)
B&E Fitch Problem 2 (Fitch | PNG)
Week of Oct. 4 Topics: Clause Form Propositional Logic, Resolution Refutation, Term vs. Predicate vs. Formula vs. Proposition, Substitution, Fitch Proofs
Recitation Slides
Topics: Clause Form Propositional Logic, Resolution Refutation, Term vs. Predicate vs. Formula vs. Proposition, Fitch Proofs
Recitation Slides
Week of Oct. 11 Topics: Sorted Logic, Decreasoner, Aristotelian Forms, Clause Form Finite Model Predicate Logic, First Order Logic Terminology
Recitation Slides
‘Who Travels How in Oz’ Domain
Topics: Substitutions, Sorted Logic, Decreasoner, Aristotelian Forms, Clause Form Finite Model Predicate Logic, First Order Logic Terminology
Recitation Slides
‘Who Travels How in Oz’ Domain
Week of Oct. 25 Topics: SNARK – Sorted vs. Unsorted
Recitation Slides
SNARK Sorted Example
SNARK Unsorted Example
Topics: SNARK – Sorted vs. Unsorted
Recitation Slides
SNARK Sorted Example
SNARK Unsorted Example
Week of Nov. 8 Topics: HW5 Issues (Skolemization), Prolog
Recitation Slides
Prolog Geneology Example
Topics: Prolog
Recitation Slides
Prolog Geneology Example
Week of Nov. 15 Demos from the SNePSLOG Guide to SNePS2, nexists Example
Recitation Slides
Demos from the SNePSLOG Guide to SNePS2, nexists Example
Recitation Slides