CS 378: Symbolic Programming: Online

CS 378 Class Web Page

Note: Links will be filled in after the lectures occur.

Lectures from Fall 2020:

• January 19, 2021:
  • Quotation, Binding
  • Lists, Structure Sharing
  • First, Rest

• January 21, 2021:
  • cons, first, rest
  • How value is returned
  • Recursion on a List
  • Hints on Pascal's Triangle

• January 26, 2021:
  • reverse and append
  • append can cause O(n^2) garbage
  • Set and Alist
  • some; hints on assignment 1

• January 28, 2021:
  • let, short-circuit evaluation
  • some, tree recursion
  • Assignment 1 Hints
  • tojava hints

• February 2, 2021:
  • Notes on Assignment 1
  • Binary Search Tree
  • Tree Search

• February 4, 2021:
  • State Space Search; Mouse in Maze
  • Algebra: Getting Started

• February 9, 2021:
  • Iterative Deepening
  • Algebra as State Space Search
  • Code for One Operator for Plus
  • Difference, Unary Operators, Opposites

• February 11, 2021:
  • Algebra Example
  • Solving Multiple Equations
  • Multiple Equations Example
  • Eliminating Unused Equations

• February 25, 2021:
  • Solving a Physics Problem
  • Pattern Matching: copy-tree
  • Substitution: subst

Lectures from Fall 2020:

• August 28, 2020:
  • Read-Eval-Print Loop; Quotation

• September 1, 2020:
  • List Representation
  • rest; if statement
  • lengthfunction
  • Clojure examples

• September 3, 2020:
  • Recursion Stack Frames, Reverse
  • Append; Set functions
  • Association List; binomial and tree functions

• September 8, 2020:
  • append; let
  • map, reduce, using and with map
  • short-circuit evaluation
  • expression trees; precedence

• September 10, 2020:
  • Notes on Assignment 1
  • Notes on Assignment 1
  • Tree Recursion
  • Tree Recursion; Algebra

• September 15, 2020:
  • Tree Search
  • some; Answer for State Space Search
  • Iterative Deepening

• September 17, 2020:
  • Equation Solving Structure
  • Equations: Base Cases, Recursive Case
  • Asymmetric and Unary Operators
  • Difference and Divide

• September 22, 2020:
  • Algebra; Finding Physics Equation
  • Data Flow between Equations
  • Available/Busy Examples
  • Declarative vs. Procedural
  • copytree: basis of subst

• September 24, 2020:
  • Symbolic Programming Paradigms; subst
  • == vs. .equals()
  • == vs. .equals(), eq vs. equal

• September 29, 2020:
  • Notes on Algebra Homework
  • Algebra Homework
  • From Algebra to Physics Problems

• October 1, 2020:
  • Confluence; In-line vs. Closed Subroutines
  • Partial Evaluation

• October 6, 2020:
  • Functional Languages; Cannonball problem
  • Logic and Rules

• October 8, 2020: Guest Lecture by Mr. Varun Kohli, Bloomberg
  • Presentation Slides

• October 13, 2020:
  • Propositional Logic
  • Propositional Proof Methods
  • Backchaining in Propositional Logic
  • Resolution in Propositional Logic

• October 15, 2020: Review for Midterm
  • cons, first, rest, length
  • reverse, let, append, member, assocl
  • set functions
  • map, some, every, equal
  • trees; pattern matching
  • rewrite rule, propositional logic, CNF, interpretation
  • backchaining, SAT
  • resolution for propositional logic

• October 20, 2020: Midterm Exam

• October 22, 2020:
  • Horn clause
  • Unification
  • Resolution in Propositional Logic

• October 27, 2020:
  • Navigation Representztions
  • UTM = Universal Transverse Mercator

• October 29, 2020:
  • ACL2; Expert Systems

• November 3, 2020:
  • Deductive Synthesis Assignment
  • Introduction to Certainty Factors
  • CF calculations: prescan, AND, OR

• November 5, 2020:
  • Antecedent (lhs) certainty factor combination
  • Rule certainty factor and combination
  • Using data values to compute certainty factor

• November 10, 2020:
  • Explanation; Decision Trees
  • Weight adjustment; Low-Pass Filter
  • Over-fitting; ROC Curve

• November 12, 2020:
  • Shannon coding; Ambiguity
  • Deep Structure
  • Language Corpora; N-grams

• November 17, 2020:
  • Statistical Natural Language Processing
  • Regular and Context Free Grammars
  • Garden Path Sentences

• November 19, 2020:
  • Top-down Parsing, ATN
  • Difficulties in Natural Language
  • Psychiatrist Programs

• November 24, 2020:
  • Fixing NL Errors
  • Natural Language Grammar; Physics

• December 1, 2020:
  • MapReduce
  • PageRank

• December 3, 2020: Review
  • Review A
  • Review B
  • Review C
  • Review D
  • Review E
  • Review F

Lectures from Spring 2020:

• March 31, 2020:

• April 2, 2020:
  • Certainty Factor Computations
  • Negating Certainty Factor
  • Fuzzy Logic
  • Combining Certainty Factors
  • Associateve and Commutative
  • Duplicate Rules

• April 7, 2020:
  • Why, Whynot Questions
  • Decision Tree Induction

• April 9, 2020:
  • Shannon Coding, Semantic Network
  • Prepositions: Idiosyncratic, Ambiguous
  • Chomsky: Deep Structure vs. Surface Structure
  • Type, Token, n-gram

• April 14, 2020:
  • Language Brevity, Ambiguity
  • Hidden Markov
  • Chomsky Language Hierarchy
  • Surface Structure vs. Deep Structure

• April 16, 2020:
  • Context-Free Languages
  • Regular Languages
  • Context-Free Examples
  • Top-Down and CKY (Cocke-Kasami-Younger) Parsers
  • Arbitrary Tests and Transformations in Augmented Transition Network (ATN)

• April 21, 2020:
  • Relational Database
  • Left Recursion

• April 23, 2020:
  • Top-Down Parsing
  • Natural Language Access to Database

• April 28, 2020:
  • Natural language: quantifiers and negation are problematic
  • Symbolic Finance
  • Symbolic representation of laws of a domain

• April 30, 2020:
  • MapReduce
  • Parallelism: Many CPUs vs. One Fast CPU

• May 5, 2020:
  • MapReduce
  • MapReduce Implementation
  • PageRank

• May 7, 2020:
  • Review A
  • Review B
  • Review C
  • Review D