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 |
