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

Notes Information

Material Type:Class Note
Subject:Computer Science
University:University of Colorado - Boulder
  • Alcoholic Beverage
  • Either...or
  • Propositional
  • Modus Ponens
  • Conjunctive
  • Contradiction
  • Propositional Logic
  • Connectives
  • Elimination
  • Straight Line
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4Preview Page 5Preview Page 6

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
Contradiction Notes
To, at (time) Notes
Binding List Notes
Forward Chaining Notes
Average Children Notes
Propositional Notes
Either...or Notes
Independent Set Notes
Conjunctive Quiz
The Chess Players Notes
Either...or Exam
Propositional Logic Notes
Conjunction Notes
155, "/var/app/current/tmp/"