Koofers

Lecture Notes for CS 440 - Introduction to Artificial Intelligence with Draper at Colorado State (CSU)

Notes Information

Material Type:Class Note
Professor:Draper
Class:CS 440 - Introduction to Artificial Intelligence
Subject:Computer Science
University:Colorado State University
Term:Fall 2008
Keywords:
  • Constructive Dilemma
  • Inference Rules
  • Any Questions
  • Combination
  • Performance Measure
  • Hypothetical
  • Conjunction
  • Propositional
  • Environment
  • The Environment
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4

Sample Document Text

1 Propositional Logic Lecture #11 9/30/08 Announcements Programming assignment #1 is due before the next class - Java timer info: http://java.sun.com/docs/books/tutorial/uiswing/misc/ti mer.html - Qt timer info: http://doc.trolltech.com/4.2/timers.html - Any questions? We need to schedule a midterm date. - It will be scheduled on Thursday - If you have any conflicts, know them by then! ACM Club, Wednesday 5:00 110 USC - " So what is this unix thing, anyway?" Logic A logic is a formal system of reasoning. It must have: 1. Syntax , which describes the sentences of the logical language 2. Semantics , which assign meanings to sentences 3. Models , which are possible worlds the semantics might describe. Propositional Logic Propositional logic is a simple logic based on propositions: - Propositions are indivisible - Propositions are either true or false Examples of propositions - Y...

Related Documents

Definite Truth Values Notes
Constructive Dilemma Notes
Forward Chaining Notes
Complete Formulas Notes
Propositional Exam
Alcoholic Beverage Notes
Either...or Exam
Indigenous People Notes
Either...or Exam
Complicated Notes
Unfortunately Notes
Polymorphism Notes
Polymorphism Notes
Positive Analysis Notes
Assumptions Notes
Propositional Logic Notes
155, "/var/app/current/tmp/"