# 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: PropositionalFunction SymbolsConjunctionInterpretationConceptualizationConnectivesRelationshipsEnumerationPropositional LogicBasic Elements

## 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