Presentation is loading. Please wait.

Presentation is loading. Please wait.

LDK R Logics for Data and Knowledge Representation Exercise 2: PL, ClassL, Ground ClassL.

Similar presentations


Presentation on theme: "LDK R Logics for Data and Knowledge Representation Exercise 2: PL, ClassL, Ground ClassL."— Presentation transcript:

1 LDK R Logics for Data and Knowledge Representation Exercise 2: PL, ClassL, Ground ClassL

2 Outline  Reasoning  Truth Table  Deduction  Logics  PL  ClassL  Ground ClassL 2

3 Summary of Logics Mentioned by Now (1)  Language / Syntax Choose proper logics for the following symbols ⊓  ⊤ ⊢ ∨ ≡ ⊔ ⊑ → ↔ ⊥ ∧ ⊨ 3 PLClassL Ground ClassL

4 Summary of Logics Mentioned by Now (2)  Semantics  PL  p I ={True, False}  ClassL  p I ={set 1, …, set n }  Ground ClassL  p I ={set 1, …, set n }, q I ={element 1, …, element m } 4

5 Truth Table  What is a Truth valuation?  Def. A truth valuation on a propositional language L is a mapping ν assigning to each formula P of L a truth value ν(P).  What is a Truth Table?  A truth table is composed of one column for each input variable and one final column for all of the possible results of the logical operation that the table is meant to represent. Each row of the truth table therefore contains one possible assignment of the input variables, and the result of the operation for those values. 5

6 Example  Calculate the Truth Table of the following formulas A∧BA∧B P∨QP∨Q  X↔Y  What about this?  (A∨B→C∨D∨E)∧(¬F↔A)∧(¬F∨G∧¬H∨F)∧(¬I→ ¬(D∧J))∧(¬J∨¬D∨E)∧F 6 AB A∧BA∧BA∨BA∨B A↔B TTTTT TFFTF FTFTF FFFFT

7 Deduction  Deduction  Double negative elimination   P ⊢ P  Conjunction introduction / elimination  {P, Q} ⊢ P ∧ Q; P ∧ Q ⊢ P, P ∧ Q ⊢ Q  Disjunction introduction / elimination  P ⊢ P ∨ Q, Q ⊢ P ∨ Q; {P ∨ Q, P → R, Q → R} ⊢ R  Bi-conditional introduction / elimination  (P → Q) ∧ (P ← Q) ⊢ (P ↔ Q)  De Morgan   (P ∧ Q) ⊢  P ∨  Q,  (P ∨ Q) ⊢  P ∧  Q 7

8 Proofs of Deduction Rules PQ ¬¬ PP→QP→QQ→PQ→P ¬( P ∧ Q) ¬ P ∨¬ Q ¬( P ∨ Q) ¬ P ∧¬ Q TTTTFFFFF TFTFTTTFF FTFTFTTFF FFFTTTTTT 8 PQ P∧QP∧QP∨QP∨Q P↔Q TTTTT TFFTF FTFTF FFFFT

9 Soundness and Completeness  A deduction system is sound if any sentence P that is derivable from a set Г of sentences is also a logical consequence of that set Г.  A deductive system is complete if every sentence P that is a semantic consequence of a set of sentences Γ can be derived in the deduction system from that set.  A soundness property provides the initial reason for counting a logical system as desirable. The completeness property means that every validity (truth) is provable. 9

10 Outline  Reasoning  Truth Table  Deduction  Logics  PL  ClassL  Ground ClassL 10

11 Warming up  List the number of models for the following formulas 1. (A ∧ B) ∨ (B ∧ C) 2. A ∨ B → D 3. ¬ A ↔ B ↔ C 4. (A ↔¬ B) ∧( A ↔ B)  Something has to be mentioned: Suppose the formulas are represented by a PL with 4 propositions: A, B, C and D. 11 Wait!

12 PL Exercises 1  Let A, B, C be propositional sentences, if A ⊨ B ∧ C, then A ⊨ B or A ⊨ C or both? What if A ⊨ B ∨ C?  The model of ‘B ∧ C’ is I={B=T, C=T};  If ‘A ⊨ B ∧ C’, I should be also a model of ‘A’;  Because I assigns True to ‘B’, I is a model of ‘B’;  Similarly, I is also a model of ‘C’;  So, the proposition is true.  If ‘A ⊨ B ∨ C’, a model of ‘B ∨ C’ can be I’={B=T, C=F};  I’ is not a model of either ‘A ⊨ B ’ and ‘A ⊨ C ’. 12

13 PL Exercises 2  Given that P=(A ∨ B) ∧ (  C ∨  D ∨ E), Q 1 =A ∨ B, Q 2 =(A ∨ B ∨ C) ∧ (B ∧ C ∧ D→E), Q 3 =(A ∨ B) ∧ (  D ∨ E), list i that P ⊨ Q i. 13 ABCDEPQ1Q2Q3 TTTTTTTTT FTTTT… TFTTT TTFTT TTTFT …… FFFFF…

14 PL Exercises 2 cont.  Given that P=(A ∨ B) ∧ (  C ∨  D ∨ E), Q 1 =A ∨ B, Q 2 =(A ∨ B ∨ C) ∧ (B ∧ C ∧ D→E), Q 3 =(A ∨ B) ∧ (  D ∨ E), list i that P ⊨ Q i.  Notice that let X= A ∨ B, Y=  D ∨ E, then we rewrite  P=X ∧(¬ C ∨ Y),  Q 1 =X  Q 2 =(X ∨ C) ∧ ( ¬ B ∨¬ C ∨ Y),  Q 3 =X ∧Y  So, P ⊨ Q 1 ;  X ⊨X∨ C, (¬ C ∨ Y) ⊨ ( ¬ B ∨¬ C ∨ Y) thus P ⊨ Q 2,  Y ⊨ ( ¬ C ∨ Y) thus Q 3 ⊨ P. 14

15 PL Exercises 3  Suppose p, q, r, s are four propositional sentences, is the following sentence valid? (p→r) ∧ (q→s) ∧ (  r ∨  s)→(  p ∨  q) A=(p→r) ∧ (q→s) ∧ ( ¬ r ∨ ¬ s)→(  ¬ p ∨ ¬ q) = ¬( (p→r) ∧ (q→s) ∧ ( ¬ r ∨ ¬ s) )∨ ¬ p ∨ ¬ q =(p ∧¬ r) ∨ (q ∧¬ s) ∨ (r ∧ s) ∨ ¬ p ∨ ¬ q =⊤=⊤ 15 pQrsA TTTTT TTTFT TTFTT TTFFT TFTTT TFTFT TFFTT TFFFT FTTTT FTTFT FTFTT FTFFT FFTTT FFTFT FFFTT FFFFT

16 Are you ‘Sherlock Holmes’? There was a robbery in which a lot of goods were stolen. The robber(s) left in a truck. It is known that : (1) Nobody else could have been involved other than A, B and C. (2) C never commits a crime without A's participation. (3) B does not know how to drive.  So, is A innocent or guilty? A∨B∨CA∨B∨C  C→A BB 16 A

17 Knights and Knaves  A very special island is inhabited only by knights and knaves. Knights always tell the truth, and knaves always lie. You meet two inhabitants: Zoey and Mel. Zoey tells you that Mel is a knave. Mel says, ‘Neither Zoey nor I are knaves.’ Can you determine what are they? (who is a knight and who is a knave? )  Z:  M  M: Z ∧ M proof: If M, then Z ∧ M, then Z, then  M. 17 Contradictory!

18 ClassL Exercises 1  T={A ⊑ B, B ⊑ A}, is  (A ⊓ B) satisfiable in ClassL? 18 AB A B

19 ClassL Exercises 2  T={C ⊑ A, C ⊑ B} is  (A ⊓ B) satisfiable in ClassL? 19 AB c A B C A B C A B C A B C

20 ClassL Exercises 3  Suppose a ⊨ A, ⊨ B, is the following sentence A ∧ B satisfiable in PL, what about A ⊓ B in ClassL? 20 AB A∧BA∧B TTT TFF FTF FFF ABABAB

21 PL vs. ClassL For any PL sentence P, suppose a corresponding ClassL P’ is built by changing ∧, ∨,→, into ⊓, ⊔, ⊑, (not wff’s are not considered). Then do we have that ⊨ P iff ⊨ P’? The transmission of truth VS. coverage.  For all wff’s P of PL, there exists a truth valuation ν that ν(P) = True iff there exists a class valuations σ, σ(P’) ≠ ∅ with P’ as the corresponding proposition in ClassL.  NOTE: although there are more possible assignments in ClassL for the ‘same’ formula, some of them may collapse into one case in PL. 21

22 Example  Suppose a PL wff ¬ A ⋀ B and a corresponding ClassL wff ¬ A ⊓ B, the possible assignments (interpretations) are as the following:  More than one model in ClassL collapse into one model in PL. (All non-empty are mapped to T. ) 22 AB ¬A⋀B¬A⋀B TTF TFF FTT FFF A B B A …

23 Ground ClassL  What distincts Ground ClassL from ClassL? The expressiveness to represent ‘instance’.  What for? To capture the instance/individual in the world. 23

24 Black Hair White Hair Exercise: LDKR Class IDNameNationalityHair 1FaustoItalianWhite 2EnzoItalianBlack 3RuiChineseBlack 4BisuIndianBlack ………… 24 TBox={Italian ⊑ LDKR, BlackHair ⊑ LDKR, Indian ⊑ LDKR} ABox={Italian(Fausto), Italian(Enzo), Chinese(Rui), Indian(Bisu), BlackHair(Enzo), BlackHair(Rui), BlackHair(Bisu), WhiteHair(Fausto)} LDKR Italian Chinese People Indian LDKRItalian Chinese Indian White Hair Black Hair


Download ppt "LDK R Logics for Data and Knowledge Representation Exercise 2: PL, ClassL, Ground ClassL."

Similar presentations


Ads by Google