Koofers

Lecture Notes for CSCI 5582 - ARTIFICIAL INTELLIGENCE with Eisenberg at Colorado (CU)

Notes Information

Material Type:Class Note
Professor:Eisenberg
Class:CSCI 5582 - ARTIFICIAL INTELLIGENCE
Subject:Computer Science
University:University of Colorado - Boulder
Term:--
Keywords:
  • Conjunction
  • Propositional
  • Contradiction
  • Interpretation
  • Connectives
  • Negative Integers
  • Infinite Sets
  • Propositional Logic
  • In Front (of)
  • In Front Of
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4Preview Page 5Preview Page 6

Sample Document Text

. The appeal of logic as knowledge representation . Logic as "applied AI" . Styles of working with logic Automated theorem proving Automated proof checking Logic programming Propositional Logic . Only "atomic" propositions (P, Q, etc.) with binary truth values . Connectives AND, OR, NOT, IMPLIES . Values of sentences are determined as functions of the truth values of individual propositions. . Rules of inference: modus ponens, commutativity, etc. . Standard issues in propositional logic: satisfiability, contradiction, tautology, implication, equivalence. Solving Problems in Propositional Logic . Satisfiability is a search problem (and is NP-complete) . Brute force: truth table method . Strategies: most constraining variable, heuristic repair First-Order Predicate Calculus . We introduce objects and properties: Beau [object] Furry [property] . Predicates (or relations) are true/false statements about objects: Furry(Beau) Four-footed(Beau) . Functions are applied to objects to ...

Related Documents

Propositional Logic Notes
Definite Truth Values Notes
Propositional Notes
Either...or Notes
Either...or Notes
Propositional Exam
Function Symbols Notes
Complete Formulas Notes
Computer Representation Exam
Either...or Exam
Locutionary Notes
Either...or Exam
Propositional Exam
Assumptions Notes
Inference Rules Notes
Alcoholic Beverage Notes
155, "/var/app/current/tmp/"