Propositional Logic - Computational Logic Notes | EduRev

: Propositional Logic - Computational Logic Notes | EduRev

 Page 1


Propositional Logic
Computational Logic Lecture 2
Michael Genesereth           Autumn 2002
Page 2


Propositional Logic
Computational Logic Lecture 2
Michael Genesereth           Autumn 2002
10/10/02 2
Grammatical Complexity
The dog chased the cat.
The dog that ate the rat chased the cat.
The cherry blossoms in the spring … sank.
Page 3


Propositional Logic
Computational Logic Lecture 2
Michael Genesereth           Autumn 2002
10/10/02 2
Grammatical Complexity
The dog chased the cat.
The dog that ate the rat chased the cat.
The cherry blossoms in the spring … sank.
10/10/02 3
Ambiguity
Leland Stanford Junior University
        Leland-Stanford    Junior-University?
        Leland-Stanford-Junior    University?
There’s a girl in the room with a telescope.
Page 4


Propositional Logic
Computational Logic Lecture 2
Michael Genesereth           Autumn 2002
10/10/02 2
Grammatical Complexity
The dog chased the cat.
The dog that ate the rat chased the cat.
The cherry blossoms in the spring … sank.
10/10/02 3
Ambiguity
Leland Stanford Junior University
        Leland-Stanford    Junior-University?
        Leland-Stanford-Junior    University?
There’s a girl in the room with a telescope.
10/10/02 4
Ambiguity
Lettuce won’t turn brown if you put your head
In a plastic bag before placing it in the
refrigerator.
The manager of a nudist colony complains that
a hole was cut in the wall surrounding the camp.
Police are looking into it.
from Misteaks in Print
edited by Kermit Shaefer
Page 5


Propositional Logic
Computational Logic Lecture 2
Michael Genesereth           Autumn 2002
10/10/02 2
Grammatical Complexity
The dog chased the cat.
The dog that ate the rat chased the cat.
The cherry blossoms in the spring … sank.
10/10/02 3
Ambiguity
Leland Stanford Junior University
        Leland-Stanford    Junior-University?
        Leland-Stanford-Junior    University?
There’s a girl in the room with a telescope.
10/10/02 4
Ambiguity
Lettuce won’t turn brown if you put your head
In a plastic bag before placing it in the
refrigerator.
The manager of a nudist colony complains that
a hole was cut in the wall surrounding the camp.
Police are looking into it.
from Misteaks in Print
edited by Kermit Shaefer
10/10/02 5
Propositional Constants
Examples:
raining
r32aining
rAiNiNg
rainingorsnowing
Non-Examples:
324567
raining.or.snowing
Read More
Offer running on EduRev: Apply code STAYHOME200 to get INR 200 off on our premium plan EduRev Infinity!