# 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 DilemmaInference RulesAny QuestionsCombinationPerformance MeasureHypotheticalConjunctionPropositionalEnvironmentThe Environment

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