# Lecture Notes for CS 4710 - Artificial Intelligence with Martin at Virginia (UVA)

## Notes Information

 Material Type: Class Note Professor: Martin Class: CS 4710 - Artificial Intelligence Subject: Computer Science University: University of Virginia Term: Spring 2003 Keywords: Inference RulesForward ChainingProgressionPropositionalConjunctionConjunctiveComplementaryContradictionPropositional LogicDetermination

## Sample Document Text

Page 1 CS 416 Artificial Intelligence Lecture 11 Logical Agents Chapter 7 Midterm Exam . Midterm will be on Thursday, March 13 th . It will cover material up until Feb 27 th Reasoning w/ propositional logic . Remember what we've developed so far - Logical sentences - And, or, not, implies (entailment), iff (equivalence) - Syntax vs. semantics - Truth tables - Satisfiability, proof by contradiction Logical Equivalences . Know these equivalences Reasoning w/ propositional logic . Inference Rules - Modus Ponens: . Whenever sentences of form ? => ? and ? are given the sentence ? can be inferred -R 1 : Green => Martian -R 2 : Green - Inferred: Martian Reasoning w/ propositional logic .Inference Rules - And-Elimination . Any of conjuncts can be inferred -R 1 : Martian ^ Green - Inferred: Martian - Inferrred: Green .Use truth tables if you want to confirm inference rules Page 2 Example of a proof ~P ~B B P? P? P? P? Example of a proof ~P ~B B ~P P? P? ~P...

## Related Documents

Definite Truth Values Notes
Forward Chaining Notes
Alcoholic Beverage Notes
Propositional Exam
To, at (time) Notes
Complete Formulas Notes
Propositional Logic Notes
Bi-Directional Notes
Either...or Exam
Utility Theory Notes
Propositional Exam
Propositional Exam
Conjunction Notes
Good Strategy Exam
Either...or Exam