Koofers

Lecture Notes for CS 440 - Artificial Intelligence at Illinois (UIUC)

Notes Information

Material Type:Class Note
Professor:Staff
Class:CS 440 - Artificial Intelligence
Subject:Computer Science
University:University of Illinois - Urbana-Champaign
Term:--
Keywords:
  • Propositional
  • Function Symbols
  • Conjunction
  • Interpretation
  • Conceptualization
  • Connectives
  • Relationships
  • Enumeration
  • Propositional Logic
  • Basic Elements
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4Preview Page 5Preview Page 6

Sample Document Text

First Order Logic Introduction to Artificial Intelligence CS440/ECE448 Lecture 10 SECOND HOMEWORK DUE MONDAY Last lecture . Propositional logic -Syntax and semantics -(Sound) inference rules and procedures This Lecture . First order logic -Syntax and semantics -Fun (?) with sentences -The Wumpusworld in first-order logic Reading . Chapter 8 Propositional logic: Syntax . Propositional logic is the simplest logic. . Logical constants TRUEand FALSEare sentences. . Proposition symbols P1, P2etc. are sentences. . Symbols P1and negated symbols P1are called literals. . If Sis a sentence, Sis a sentence (NOT). . If S1and S2is a sentence, S1 ?S2is a sentence (AND). . If S1and S2is a sentence, S1 ?S2is a sentence (OR). . If S1and S2is a sentence, S1 ?S2is a sentence (Implies). . If S1and S2is a sentence, S1 ?S2is a sentence (Equivalent). Propositional logic: Semantics Most sentences are sometimestrue (satisfiable). P ?Q Some sentences are alwaystrue (valid). P ?P Some sentences are ...

Related Documents

Function Symbols Notes
Binding List Notes
Average Children Notes
Complete Formulas Notes
Function Symbols Notes
Definite Truth Values Notes
Forward Chaining Notes
Propositional Logic Notes
Function Symbols Notes
Function Symbols Notes
Inference Rules Notes
Conjunction Notes
Constructive Dilemma Notes
Alcoholic Beverage Notes
Provided That Notes
Proposition Notes
155, "/var/app/current/tmp/"