View
215
Download
0
Embed Size (px)
Citation preview
10/31
Here are the stats for the in-class exam (out of 85)
Undergrad Avg=30.85; Std dev= 16.72; Max=70.5; min= 8.5
Grad Avg=42.10; std dev=17.52; Max=74.5; min=5
For the overall class here is the distribution
Top three scores: 74.5 (g); 70.5 (u); 65(g)
>70 (2; 1g; 1u)60-70 (1; 1g)
50-60 (8;6g;2u) 40-50 (3; 3g)
30-40 (9;5g;4u)20-30 (9;3g;6u)10-20 (4;1g;3u)0-10 (2;1g,1u)
Prop logic
First order predicate logic(FOPC)
Prob. Prop. logic
Objects,relations
Degree ofbelief
First order Prob. logic
Objects,relations
Degree ofbelief
Degree oftruth
Fuzzy Logic
Time
First order Temporal logic(FOPC)
Assertions;t/f
Epistemological commitment
Ontological commitment
t/f/u Degbelief
facts
FactsObjectsrelations
Proplogic
Probproplogic
FOPC ProbFOPC
Notes on encoding English statements to FOPC
• You get to decide what your predicates, functions, constants etc. are. All you are required to do it be consistent in their usage.
• When you write an English sentence into FOPC sentence, you can “double check” by asking yourself if there are worlds where FOPC sentence doesn’t hold and the English one holds and vice versa
• Since you are allowed to make your own predicate and function names, it is quite possible that two people FOPCizing the same KB may wind up writing two syntactically different KBs
• If each of the DBs is used in isolation, there is no problem. However, if the knowledge written in one DB is supposed to be used in conjunction with that in another DB, you will need “Mapping axioms” which relate the “vocabulary” in one DB to the vocabulary in the other DB.
• This problem is PRETTY important in the context of Semantic Web
The “Semantic Web” Connection
Caveat: Decide whether a symbol is predicate, constant or function…
• Make sure you decide what are your constants, what are your predicates and what are your functions
• Once you decide something is a predicate, you cannot use it in a place where a predicate is not expected! In the previous example, you cannot say
)(DogSmall
Family Values:Falwell vs. Mahabharata
• According to a recent CTC study,
“….90% of the men surveyed said they will marry the same woman..”
“…Jessica Alba.”
Lesson: Order of quantifiers matters
),( yxlovesyx),( yxlovesxy
)],(),([
)],(),([
)],(),([),(
)],(),([
)],(),([
)],(),([),(
TweetyTweetylovesTweetyFidoloves
FidoTweetylovesFidoFidoloves
yTweetylovesyFidolovesyyxlovesxy
TweetyTweetylovesFidoTweetyloves
TweetyFidolovesFidoFidoloves
TweetyxlovesFidoxlovesxyxlovesyx
TweetyandFidowithworldaConsider
“either Fido loves both Fido and Tweety; or Tweety loves both Fido and Tweety”
“ Fido or Tweety loves Fido; and Fido or Tweety loves Tweety”
Loves(x,y) means x loves y
More on writing sentences
• Forall usually goes with implications (rarely with conjunctive sentences)
• There-exists usually goes with conjunctions—rarely with implications
Everyone at ASU is smart
Someone at UA is smart
)(),(
)(),(
xSmartASUxxAt
xSmartASUxAtx
)(),(
)(),(
xSmartUAxAtx
xSmartUAxAtx
Two different Tarskian Interpretations
This is the same as the one on The left except we have green guy for Richard
Problem: There are too darned many Tarskian interpretations. Given one, you can change it by just substituting new real-world objects Substitution-equivalent Tarskian interpretations give same valuations to the FOPC statements (and thus do not change entailment) Think in terms of equivalent classes of Tarskian Interpretations (Herbrand Interpretations)
We had this in prop logic too—The realWorld assertion corresponding to a proposition
10/31
A famous surgeon was a passenger in a car driven by his teenage son. "I'll drop you at the hospital, Dad," said the young man. "Fine, son," said his father. Those were his last words; a wildly careening convertible crossed the center strip and ran headlong into the car. At the emergency room the father was pronounced dead on arrival; the son was taken for emergency surgery. The surgeon called to the scene reached for a scaplel but paused: "I can't operate," the surgeon said; "this is my son."
Connection between Forall & There-exists
• ~[forall x A(x)] = exists x ~A(x)
• ~[exists x B(x)] = forall x ~B(x)
Herbrand Interpretations• Herbrand Universe
– All constants• Rao,Pat
– All “ground” functional terms • Son-of(Rao);Son-of(Pat);• Son-of(Son-of(…(Rao)))….
• Herbrand Base– All ground atomic sentences made with
terms in Herbrand universe• Friend(Rao,Pat);Friend(Pat,Rao);Friend(
Pat,Pat);Friend(Rao,Rao)• Friend(Rao,Son-of(Rao));• Friend(son-of(son-of(Rao),son-of(son-
of(son-of(Pat))– We can think of elements of HB as
propositions; interpretations give T/F values to these. Given the interpretation, we can compute the value of the FOPC database sentences
))(,(
),(
),(),(,
RaoofsonPatFriend
PatRaoFriend
yxLikesyxFriendyx
If there are n constants; andp k-ary predicates, then --Size of HU = n --Size of HB = p*nk
But if there is even one function, then |HU| is infinity and so is |HB|. --So, when there are no function symbols, FOPC is really just syntactic sugaring for a (possibly much larger) propositional database
Let us think of interpretations for FOPC that are more like interpretations for prop logic
But what about Godel?
• Godel’s incompleteness theorem holds only in a system that includes “mathematical induction”—which is an axiom schema that requires infinitely many FOPC statements– If a property P is true for 0, and whenever it is true for number n, it
is also true for number n+1, then the property P is true for all natural numbers
– You can’t write this in first order logic without writing it once for each P (so, you will have to write infinite number of FOPC statements)
• So, a finite FOPC database is still semi-decidable in that we can prove all provably true theorems
Proof-theoretic Inference in first order logic
• For “ground” sentences (i.e., sentences without any quantification), all the old rules work directly (think of ground atomic sentences as propositions)
– P(a,b)=> Q(a); P(a,b) |= Q(a)– ~P(a,b) V Q(a) resolved with P(a,b) gives Q(a)
• What about quantified sentences?– May be infer ground sentences from them….– Universal Instantiation (a universally quantified statement entails every
instantiation of it)
– Existential instantiation (an existentially quantified statement holds for some term (not currently appearing in the KB).
• Can we combine these (so we can avoid unnecessary instantiations?) Yes. Generalized modus ponens
• Needs UNIFICATION
)(),()(),( aQbaentailsPxQyxyPx
)(),();(),( bqentailsbaPxQyxyPx
)1()( SKPentailsxxP
UI can be applied several times to add new sentences --The resulting KB is equivalent to the old one
EI can only applied once --The resulting DB is not equivalent to the old one BUT will be satisfiable only when the old one is
How about knows(x,f(x)) knows(u,u)? x/u; u/f(u)leads to infinite regress (“occurs check”)
GMP can be used in the “forward” (aka “bottom-up”) fashion where we start from antecedents, and assert the consequent or in the “backward” (aka “top-down”) fashion where we start from consequent, and subgoal on proving the antecedents.
Apt-pet
• An apartment pet is a pet that is small
• Dog is a pet• Cat is a pet• Elephant is a pet• Dogs, cats and skunks are
small. • Fido is a dog• Louie is a skunk• Garfield is a cat• Clyde is an elephant• Is there an apartment pet?
)(?
)(.11
)(.10
)(.9
)(.8
)()(.7
)()(.6
)()(.5
)()(.4
)()(.3
)()(.2
)()()(.1
xaptPet
clydeelephant
garfieldcat
louieskunk
fidodog
xsmallxdog
xsmallxcat
xsmallxskunk
xpetxelephant
xpetxcat
xpetxdog
xaptPetxpetxsmall
)(?
)(.11
)(.10
)(.9
)(.8
)()(.7
)()(.6
)()(.5
)()(.4
)()(.3
)()(.2
)()()(.1
xaptPet
clydeelephant
garfieldcat
louieskunk
fidodog
xsmallxdog
xsmallxcat
xsmallxskunk
xpetxelephant
xpetxcat
xpetxdog
xaptPetxpetxsmall