© All Rights Reserved

1 views

© All Rights Reserved

- Kreisel, 1998 - Second Thoughts Around Some of Göde's Writings
- Rr310502 Artificial Intelligence
- Assessment Brief MB405
- 07
- Predicate Calculus
- BSIH 125 Schuurman - Ideas, Mental Faculties and Method_The Logic of Ideas of Descartes and Locke and Its Reception in the Dutch Republic, 1630-1750 2003.pdf
- Guide for Referees
- p23 Robinson
- Auto Var Perm
- Math Practice midterm
- Logic
- Carnap-On the Character of Philosophical Problems 1934
- Family focus on flow across exploitation.pdf
- Ass Ate Iany
- Chapter 2 3
- Sociology as a Strict Science (Mueller G., 1990)
- OBE in Logic - Math.docx
- Unit 1 Final
- Some Thoughts on Mohist Logic (Jialong Zhang and Fenrong Liu)
- Family focus on flow across exploitation.odt

You are on page 1of 20

1 10/30/2018

Five types of Logic

Type of knowledge

Type of logic Reference to real world

known by Agent

Probability Theory Facts

(certainty factor)

Truth values Confidence level [0, 1]

Fuzzy Logic

(degree of truth) (certainty factor)

2 10/30/2018

Representation, reasoning, and logic

The object of knowledge representation is to express

knowledge in a computer-tractable form, so that agents can

perform well.

– its syntax, which defines all possible sequences of symbols that

constitute sentences of the language.

– its semantics, which determines the facts in the world to which

the sentences refer.

3 10/30/2018

Sentences and Facts

• The property of one fact following from another is mirrored by the

property of one sentence being entailed by another.

4 10/30/2018

First Order Logic

First-Order Logic

Propositional logic represents facts

– Useful --- but has Limited Expressive Power

– Objects

(people, houses, colors, …)

– Relations: how objects relate to each other

(brother of, bigger than, part of, ...)

– Properties: features of an object

(red, circle, …)

– Functions: output an object, given others

(father of, best friend, …)

7 10/30/2018

Sentence AtomicSentence

| Sentence Connective Sentence

| Quantifier Variable, … Sentence

| Sentence

| (Sentence)

Term Function(Term,…)

| Constant

| Variable

Connective | | |

Quantifier |

Constant A | X1 | John | …

Variable a | x | s | …

Predicate Before | HasColor | Raining | …

Function MotherOf | LeftLegOf | …

8 10/30/2018

Syntax and Semantics: Term

Constant Symbols

𝐵𝑜𝑜𝑘, 𝐹𝑟𝑒𝑑, 𝐴𝑙𝑖, etc.

Variables Symbols:

𝑥, 𝑦, 𝑎, etc.

Predicate Symbols :

𝐵𝑟𝑜𝑡ℎ𝑒𝑟 𝐹𝑎ℎ𝑚𝑖, 𝐺𝑎𝑙𝑖ℎ ; 𝑀𝑜𝑡ℎ𝑒𝑟(𝐴𝑛𝑛, 𝑆𝑢𝑒) ;

𝐹𝑎𝑡ℎ𝑒𝑟 𝐿𝑢𝑘𝑒, 𝐷𝑎𝑟𝑡ℎ𝑉𝑎𝑑𝑒𝑟 ; etc.

Function Symbols:

𝑆ℎ𝑜𝑒𝑠𝑂𝑓 𝐶𝑎𝑐𝑎 ; 𝐿𝑒𝑓𝑡𝐿𝑒𝑔𝑂𝑓 𝐽𝑜ℎ𝑛 ; etc.

9 10/30/2018

Syntax and Semantics: Sentences

Atomic Sentences

𝐺𝑖𝑣𝑒𝑠 𝐸𝑘𝑜, 𝐷𝑎𝑛𝑢, 𝐶ℎ𝑜𝑐𝑜𝑙𝑎𝑡𝑒𝐶𝑎𝑘𝑒

𝐵𝑟𝑜𝑡ℎ𝑒𝑟𝑂𝑓 𝐹𝑎ℎ𝑚𝑖 = 𝐵𝑢𝑑𝑖

𝑆𝑖𝑏𝑙𝑖𝑛𝑔𝑠 𝑆𝑜𝑛𝑂𝑓 𝐹𝑟𝑒𝑑 , 𝐷𝑎𝑢𝑔ℎ𝑡𝑒𝑟𝑂𝑓 𝐹𝑟𝑒𝑑

Complex Sentences

𝐵𝑟𝑜𝑡ℎ𝑒𝑟𝑠 𝐹𝑎ℎ𝑚𝑖, 𝐺𝑎𝑙𝑖ℎ 𝐺𝑖𝑣𝑒𝑠 𝐹𝑎ℎ𝑚𝑖, 𝐺𝑎𝑙𝑖ℎ, 𝐶ℎ𝑜𝑐𝑜𝑙𝑎𝑡𝑒

¬𝐼𝑡𝑠𝑅𝑎𝑛𝑖𝑛𝑔 𝑇𝑜𝑑𝑎𝑦

𝑇𝑜𝑑𝑎𝑦 𝑀𝑜𝑛𝑑𝑎𝑦 ∨ 𝑇𝑜𝑑𝑎𝑦 𝑇𝑢𝑒𝑠𝑑𝑎𝑦

10 10/30/2018

Universal Quantifiers

“For all, For Every” : ∀

– ∀𝑥 𝐶𝑎𝑡 𝑥 ⇒ 𝑀𝑎𝑚𝑚𝑎𝑙 𝑥

– ∀𝑥 𝐶ℎ𝑖𝑙𝑑 𝑥 ⇒ 𝐿𝑖𝑘𝑒𝑠 𝑥, 𝐶𝑎𝑛𝑑𝑦

This sentence is true iff all these sentence is true

– 𝐶ℎ𝑖𝑙𝑑 𝐴𝑛𝑑𝑖 ⇒ 𝐿𝑖𝑘𝑒𝑠 𝐴𝑛𝑑𝑖, 𝐶𝑎𝑛𝑑𝑦 ∧ 𝐶ℎ𝑖𝑙𝑑 𝐴𝑛𝑡𝑜 ⇒

𝐿𝑖𝑘𝑒𝑠 𝐴𝑛𝑡𝑜, 𝐶𝑎𝑛𝑑𝑦 ∧ 𝐶ℎ𝑖𝑙𝑑 𝐵𝑢𝑑𝑖 ⇒ 𝐿𝑖𝑘𝑒𝑠 𝐵𝑢𝑑𝑖, 𝐶𝑎𝑛𝑑𝑦 ∧ ⋯

– Common mistake to use ∧

∀𝑥 𝑆𝑡𝑢𝑑𝑒𝑛𝑡 𝑥, 𝑇𝑒𝑙𝑘𝑜𝑚 ∧ 𝑆𝑚𝑎𝑟𝑡(𝑥)

11 10/30/2018

Existential Quantifiers

“There Exists”: ∃

– ∃𝑥 𝑆𝑡𝑢𝑑𝑒𝑛𝑡 𝑥, 𝑇𝑒𝑙𝑘𝑜𝑚 ∧ 𝑆𝑚𝑎𝑟𝑡 𝑥

– ∃𝑥 𝑀𝑎𝑚𝑚𝑎𝑙 𝑥 ∧ 𝐶𝑎𝑟𝑛𝑖𝑣𝑜𝑟𝑒 𝑥

– Common mistake to use ⇒

∃𝑥 𝐶ℎ𝑖𝑙𝑑 𝑥 ⇒ 𝐿𝑖𝑘𝑒𝑠(𝑥, 𝐶𝑎𝑛𝑑𝑦)

12 10/30/2018

Properties of quantifiers

∀𝑥 ∀𝑦 same as ∀𝑦 ∀𝑥

∃𝑥 ∃𝑦 same as ∃𝑦 ∃𝑥

– ∀𝑦 ∃𝑥 𝐹𝑎𝑣𝑜𝑟𝑖𝑡𝑒𝐹𝑜𝑜𝑑(𝑦, 𝑥)

– ∃𝑥 ∀𝑦 𝐹𝑎𝑣𝑜𝑟𝑖𝑡𝑒𝐹𝑜𝑜𝑑 𝑦, 𝑥

13 10/30/2018

Connections between ∀ and ∃

∀𝑥 ¬𝐿𝑖𝑘𝑒𝑠(𝑥, 𝐼𝑐𝑒𝐶𝑟𝑒𝑎𝑚) is equivalent to

¬∃𝑥 𝐿𝑖𝑘𝑒𝑠(𝑥, 𝐼𝑐𝑒𝐶𝑟𝑒𝑎𝑚)

De Morgan Rule

– ∀𝑥 ¬𝑃 ≡ ¬∃𝑥 𝑃 ¬ 𝑃∨𝑄 ≡ ¬𝑃 ∧ ¬𝑄

– ∀𝑥 𝑃 ≡ ∃𝑥 ¬𝑃 ¬ 𝑃∧𝑄 ≡ ¬𝑃 ∨ ¬𝑄

– ∀𝑥 𝑃 ≡ ¬∃𝑥 ¬𝑃 𝑃∧𝑄 ≡ ¬ ¬𝑃 ∨ ¬𝑄

– ∃𝑥 𝑃 ≡ ¬∀𝑥 ¬𝑃 𝑃∨𝑄 ≡ ¬ ¬𝑃 ∧ ¬𝑄

14 10/30/2018

Inference in First-Order Logic

Uses 7 rules from Propositional Logic

With three additional rules for more complex case

regarding to the quantifier

– Universal Instantiation or Universal Elimination

– Existential Instantiation or Existential Elimination

– Existential Introduction or Existential Generalization

15 10/30/2018

Example: Avunculate marriage

Avunculate marriage is illegal and prohibited

– marriage between an uncle and a niece or between an

aunt and a nephew (second-degree relative).

Case:

– W married to A

– W is biological daughter of B, where A and B is a twin

– Using FOL

16 10/30/2018

Example: Avunculate marriage

∀𝑥, 𝑦 𝑁𝑖𝑒𝑐𝑒𝑂𝑓 𝑥, 𝑦 ∧ 𝑀𝑎𝑟𝑟𝑖𝑒𝑑 𝑥, 𝑦 ⇒ ¬𝑉𝑎𝑙𝑖𝑑 𝑀𝑎𝑟𝑟𝑖𝑒𝑑 𝑥, 𝑦 (1)

𝑀𝑎𝑟𝑟𝑖𝑒𝑑 𝑊, 𝐴 (2)

𝐷𝑎𝑢𝑔ℎ𝑡𝑒𝑟𝑂𝑓 𝑊, 𝐵 (3)

𝑇𝑤𝑖𝑛𝑠 𝐵, 𝐴 (4)

17 10/30/2018

Example: Avunculate marriage

𝑀𝑎𝑟𝑟𝑖𝑒𝑑 𝑊, 𝐴 ∧ 𝐷𝑎𝑢𝑔ℎ𝑡𝑒𝑟𝑂𝑓 𝑊, 𝐵 ∧ 𝑇𝑤𝑖𝑛𝑠 𝐵, 𝐴

• ∀𝑥, 𝑦 𝑇𝑤𝑖𝑛𝑠 𝑥, 𝑦 ⇒ 𝑆𝑖𝑏𝑙𝑖𝑛𝑔𝑠 𝑥, 𝑦

• 𝑇𝑤𝑖𝑛𝑠 𝐵, 𝐴 ⇒ 𝑆𝑖𝑏𝑙𝑖𝑛𝑔𝑠 𝐵, 𝐴 (7)

• 𝑆𝑖𝑏𝑙𝑖𝑛𝑔𝑠 𝐵, 𝐴 (8)

18 10/30/2018

Example: Avunculate marriage

𝑀𝑎𝑟𝑟𝑖𝑒𝑑 𝑊, 𝐴 ∧ 𝐷𝑎𝑢𝑔ℎ𝑡𝑒𝑟𝑂𝑓 𝑊, 𝐵 ∧ 𝑇𝑤𝑖𝑛𝑠 𝐵, 𝐴 ∧ 𝑆𝑖𝑏𝑙𝑖𝑛𝑔𝑠 𝐵, 𝐴

• ∀𝑥, 𝑦, 𝑧 𝐷𝑎𝑢𝑔ℎ𝑡𝑒𝑟𝑂𝑓 𝑥, 𝑦 ∧ 𝑆𝑖𝑏𝑙𝑖𝑛𝑔𝑠 𝑦, 𝑧 ⇒ 𝑁𝑖𝑒𝑐𝑒𝑂𝑓(𝑥, 𝑧)

• 𝐷𝑎𝑢𝑔ℎ𝑡𝑒𝑟𝑂𝑓 𝑊, 𝐵 ∧ 𝑆𝑖𝑏𝑙𝑖𝑛𝑔𝑠 𝐵, 𝐴 ⇒ 𝑁𝑖𝑒𝑐𝑒𝑂𝑓(𝑊, 𝐴) (9)

• 𝐷𝑎𝑢𝑔ℎ𝑡𝑒𝑟𝑂𝑓 𝑊, 𝐵 ∧ 𝑆𝑖𝑏𝑙𝑖𝑛𝑔𝑠 𝐵, 𝐴 (10)

• 𝑁𝑖𝑒𝑐𝑒𝑂𝑓(𝑊, 𝐴) (11)

19 10/30/2018

Example: Avunculate marriage

𝑀𝑎𝑟𝑟𝑖𝑒𝑑 𝑊, 𝐴 ∧ 𝐷𝑎𝑢𝑔ℎ𝑡𝑒𝑟𝑂𝑓 𝑊, 𝐵 ∧ 𝑇𝑤𝑖𝑛𝑠 𝐵, 𝐴 ∧ 𝑆𝑖𝑏𝑙𝑖𝑛𝑔𝑠 𝐵, 𝐴 ∧

𝑁𝑖𝑒𝑐𝑒𝑂𝑓(𝑊, 𝐴)

• ∀𝑥, 𝑦 𝑁𝑖𝑒𝑐𝑒𝑂𝑓 𝑥, 𝑦 ∧ 𝑀𝑎𝑟𝑟𝑖𝑒𝑑 𝑥, 𝑦 ⇒ ¬𝑉𝑎𝑙𝑖𝑑 𝑀𝑎𝑟𝑟𝑖𝑒𝑑 𝑥, 𝑦

• 𝑁𝑖𝑒𝑐𝑒𝑂𝑓 𝑊, 𝐴 ∧ 𝑀𝑎𝑟𝑟𝑖𝑒𝑑 𝑊, 𝐴 ⇒ ¬𝑉𝑎𝑙𝑖𝑑 𝑀𝑎𝑟𝑟𝑖𝑒𝑑 𝑊, 𝐴 (12)

• 𝑁𝑖𝑒𝑐𝑒𝑂𝑓 𝑊, 𝐴 ∧ 𝑀𝑎𝑟𝑟𝑖𝑒𝑑 𝑊, 𝐴 (13)

• ¬𝑉𝑎𝑙𝑖𝑑 𝑀𝑎𝑟𝑟𝑖𝑒𝑑 𝑊, 𝐴 (14)

20 10/30/2018

THANK YOU

10/30/2018

22

- Kreisel, 1998 - Second Thoughts Around Some of Göde's WritingsUploaded byAnderson Luis Nakano
- Rr310502 Artificial IntelligenceUploaded bySrinivasa Rao G
- Assessment Brief MB405Uploaded byluutuanvnf1flour
- 07Uploaded bySayeth Saabith
- Predicate CalculusUploaded bysamitpatel
- BSIH 125 Schuurman - Ideas, Mental Faculties and Method_The Logic of Ideas of Descartes and Locke and Its Reception in the Dutch Republic, 1630-1750 2003.pdfUploaded byCvrator Minor
- Guide for RefereesUploaded byNadhmi Alkhamis
- p23 RobinsonUploaded byROSJAS
- Auto Var PermUploaded byshriram1082883
- Math Practice midtermUploaded byTravis Miller
- LogicUploaded bybilalshoukat
- Carnap-On the Character of Philosophical Problems 1934Uploaded byfontouramail
- Family focus on flow across exploitation.pdfUploaded byAnonymous 8erOuK4i
- Ass Ate IanyUploaded byace3ace
- Chapter 2 3Uploaded byTiem Pham
- Sociology as a Strict Science (Mueller G., 1990)Uploaded byDiego Quartulli
- OBE in Logic - Math.docxUploaded byDSS
- Unit 1 FinalUploaded byNam C. Trần
- Some Thoughts on Mohist Logic (Jialong Zhang and Fenrong Liu)Uploaded byFábio Salgado de Carvalho
- Family focus on flow across exploitation.odtUploaded byAnonymous 8erOuK4i
- Four Year Plan CopyUploaded byJeffrey Lee
- 1_IntroGQTUploaded byDejana Kostic
- Assignment 1 - 0615040009 - Yusuf AryasaUploaded byYusufAryasa
- mlj05 - Markov Logic Networks.pdfUploaded bylcm3766l
- CS6180-Lecture2Uploaded byAmir Kumar
- Challenges for Action Theories(LNCS1775, Springer, 2000)(ISBN 3540674551)(149s)_CsLnUploaded bybenjamin_alwes
- ContentUploaded byjust thin
- Montague Grammar Else VierUploaded bydanolmo
- CSI 2101 Winter 2018 MidtermUploaded byMeyssa Smirani
- 2-Mathematical-Languages-and-Symbols-Part-1 (1).pdfUploaded byGwynn Charlance Pedralba

- Formula Sheet Final ExamUploaded byAli Amran
- Exam 02 V2 SolutionsUploaded byWilliam Kody Martinez
- Matrix .pptxUploaded byMonower Hossain
- Binomial DistributionUploaded byMedha Jain
- Formula Sheet Midterm ECON 221Uploaded byJasonJin93
- motivational learning theoryUploaded byapi-285312776
- Lecture4 Single View MetrologyUploaded byTim Lee
- Odd Solutions for Otto Bretscher Linear Algebra with Applications, 5th EditionUploaded byc2915831
- SSpaceRepUploaded byiJordanScribd
- Angles properties in circlesUploaded byjavaria227204
- HpcUploaded byreddykrs518
- DifferentialEquations-SolutionsPublicUploaded byyuyang zhang
- bembooksUploaded byskippy16
- analisisUploaded byNaufalarizqa Ramadha M P
- V.B.Kopeliovich- The Bubbles of Matter from MultiskyrmionsUploaded byPomac232
- Question Maths for class 8Uploaded byMeghraj Sapkota
- Double Inverted Pendulum Control Based on Three-Loop PID and Improved BP Neural NetworkUploaded byManar Hosny
- BASIC MATHEMATICS SEMESTER 2 PPISMPUploaded bywandyinfinity
- AP Physics Lab 16Uploaded bylogginsa
- Digital Control Sys SyllabusUploaded byAndre Silva
- BooksUploaded byspatel1972
- Avdeev_2004HyderabadReview_SG_2005.pdfUploaded byjuvitoQQ
- Cnc 2004 (English)Uploaded byMuhammad Ramadhany
- Mathematical Modelling in Traffic FlowsUploaded byLungeanu
- fftalgUploaded bybruno marquesi quentin
- Binomial _Theorem.pdfUploaded byDavid Nallapu
- Space by Nigel ThriftUploaded byRosalind Franklin
- String Theory and Noncommutative Geometry - Nathan Seiberg and Edward WittenUploaded byAndreina Diez Canseco Sahonero
- Trigonometric Identities & Equations - SolutionsUploaded bywolfretonmaths
- Mathematicsx(i)Chap 04trianglesUploaded bychamarthi_r