ln022 - Logic as a Programming Language Logic can be...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
Logic as a Programming Language Logic can be considered the oldest programming language Aristotle invented propositional logic over 2000 years ago in order to prove properties of formal arguments Propositions - simple statements that are either true or false; e.g. Betty wears a white dress. Today is Sunday. Propositional Logic propositions + rules of inference Most famous inference rule: modus ponens (1) Inference is the act or process of drawing a conclusion based solely on what one already knows. ( 2) Rule of inference is a scheme for constructing valid inferences. Let A and B be propositions, then A implies B A is true -------------------- B is true HW : (1) Read Section 1 online tutorial (2) Install SWI Prolog Both are available on the CSC301 Prolog page. Chap 19 & 20
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Propositional Logic Example : If Betty wears a white dress then today is Sunday. Betty wears a white dress. ------------------------------------------------------------------------ Today is Sunday. A fundamental problem with propositional logic is that it is not powerful enough to encode general knowledge - we would like to say things like: All objects that are considered human are mortal. Due to the fact that this sentence is not simple it can not be considered a proposition. But these kind of sentences are key in describing general knowledge.
Background image of page 2
Quantification Friedrich Ludwig Gottlob Frege Philosopher and Logician o In 1879 Gottlob Frege introduced the
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/03/2011 for the course CSC 301 taught by Professor Hamel during the Spring '08 term at Rhode Island.

Page1 / 14

ln022 - Logic as a Programming Language Logic can be...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online