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

## Notes Information

 Material Type: Class Note Professor: Staff Class: CSCI 5582 - ARTIFICIAL INTELLIGENCE Subject: Computer Science University: University of Colorado - Boulder Term: -- Keywords: Alcoholic BeverageEither...orPropositionalModus PonensConjunctiveContradictionPropositional LogicConnectivesEliminationStraight Line

## Sample Document Text

Propositional Logic CSCI 5582, Fall 2007 Assignments . To read this weekend: Chapter 7, sections 1-6 . For next week:Chapters 8 and 9 . Hard copy ONLY for in-class students handing in PS1 on Tuesday (and YES, include the program code as well!!) . Scheme tutorial this afternoon at 3:30, DLC 170 Logic in AI .The appeal of logic as a representation of knowledge .Logic as "applied" (in contrast to "cognitive") AI .A variety of logics The Wumpus World .A four-by-four grid .We start in (1, 1) -- the bottom left .A (horrible) pit causes a breeze in nearby cells .A (horrible) wumpus causes a stench in nearby cells .A (wonderful) pile of gold causes a glitter in its own cell .We can move one cell at a time, turn, shoot one arrow (the arrow will continue in a straight line from the cell until it hits either the wumpus or a border). We can sense a breeze or stench in a given cell. .Our goal: get the gold. Don't die. Propositional Logic: the Basic Lingo .Atomic propositions (P, Q, etc.) with b...

## Related Documents

Definite Truth Values Notes
Propositional Exam
Either...or Exam