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

Notes Information

Material Type:Class Note
Class:CS 4710 - Artificial Intelligence
Subject:Computer Science
University:University of Virginia
Term:Spring 2003
  • Inference Rules
  • Forward Chaining
  • Progression
  • Propositional
  • Conjunction
  • Conjunctive
  • Complementary
  • Contradiction
  • Propositional Logic
  • Determination
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4Preview Page 5

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
Contradiction 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
155, "/var/app/current/tmp/"