‫ﺑﺴﻤﻪ ﺗﻌﺎﻟﯽ‬
‫ﺗﻤﺮﯾﻦ ﺳﺮي اول )‪(93/8/1‬‬
‫ﻣﻮﻋﺪ ﺗﺤﻮﯾﻞ‪93/8/10 :‬‬
‫ﻧﺎم درس‪ :‬وب ﻣﻌﻨﺎﯾﯽ‬
‫ﻧﯿﻢﺳﺎل اول ‪93-94‬‬
‫ﻣﺪرس‪ :‬دﮐﺘﺮ ﻣﺮﺗﻀﯽ‬
‫اﻣﯿﻨﯽ‬
‫ﺻﻔﺤﻪ ‪1‬‬
‫ﻟﻄﻔﺎً ﺑﻪ ﻧﮑﺎت زﯾﺮ ﺗﻮﺟﻪ ﻓﺮﻣﺎﯾﯿﺪ‪:‬‬
‫‪o‬‬
‫‪o‬‬
‫‪o‬‬
‫‪o‬‬
‫ﭘﺎﺳﺦﻫﺎي ﺧﻮد را ﺣﺪاﮐﺜﺮ ﺗﺎ ‪ 93/8/10‬ﺑﻪ آدرس ‪ [email protected]‬ﺑﺎ ﻋﻨﻮان ]‪[SW:Assignment#1‬‬
‫ارﺳﺎل ﻧﻤﺎﯾﯿﺪ‪ .‬ﺗﺄﺧﯿﺮ در ارﺳﺎل ﭘﺎﺳﺦ ﻣﺸﻤﻮل ﮐﺴﺮ ﻧﻤﺮه ﺧﻮاﻫﺪ ﺑﻮد‪.‬‬
‫ﺣﻞ ﺗﻤﺮﯾﻦﻫﺎي درس ﺑﺎﯾﺪ ﺑﻪﺻﻮرت ﻓﺮدي ﺻﻮرت ﭘﺬﯾﺮد‪ .‬ﭘﺎﺳﺦﻫﺎي ﮔﺮوﻫﯽ ﻣﺸﻤﻮل ﮐﺴﺮ ﻧﻤﺮه ﺧﻮاﻫﺪ ﺑﻮد‪.‬‬
‫ﺑﺮاي ﺳﻮاﻻت اﺧﺘﯿﺎري ﻧﻤﺮه اﺿﺎﻓﯽ در ﻧﻈﺮ ﮔﺮﻓﺘﻪ ﺧﻮاﻫﺪ ﺷﺪ‪.‬‬
‫در ﺻﻮرت اﺳﺘﻔﺎده از ﻣﺮﺟﻌﯽ ﺧﺎص در ﭘﺎﺳﺦ ﺑﻪ ﺳﺆاﻻت‪ ،‬ﻻزم اﺳﺖ ﻟﯿﺴﺖ ﻣﺮاﺟﻊ در اﻧﺘﻬﺎي ﻫﺮ ﭘﺎﺳﺦ ذﮐﺮ ﺷﻮد‪.‬‬
‫‪ ABOX .1‬زﯾﺮ را در ﻧﻈﺮ ﺑﮕﯿﺮﯾﺪ‪.‬‬
‫}) ‪A ={A(d), A(e), A(f), B(f), r(d, e), r(e, g),s(e, f ),s(g, g),s(g, d), r(g, d),s(g, f‬‬
‫ﺑﺮاي ﻫﺮ ﮐﺪام ار ﻣﻔﺎﻫﯿﻢ ‪ ALC‬زﯾﺮ ﻫﻤﻪ ﻣﻨﻔﺮدﻫﺎﯾﯽ ﮐﻪ ﻧﻤﻮﻧﻪاي از آن ﻣﻔﻬﻮم ﻫﺴﺘﻨﺪ را ﻟﯿﺴﺖ ﮐﻨﯿﺪ‪.‬‬
‫𝐶𝐶 ⊔ 𝐵𝐵‬
‫)‪a‬‬
‫)‪b‬‬
‫)‪c‬‬
‫)‪d‬‬
‫‪∀r.C‬‬
‫‪∃r. ¬A‬‬
‫‪≤1 s‬‬
‫)‪e) ¬ ∃ r. (¬B ⊓ ¬C‬‬
‫)𝐶𝐶¬ ‪f) ∀ 𝑟𝑟. ∃ 𝑟𝑟. (𝐶𝐶 ⊔ ¬𝐶𝐶) ⊓ ∀ 𝑠𝑠. (𝐴𝐴 ⊓ ∃ 𝑠𝑠.‬‬
‫‪ .2‬ﺑﺎ اﺳﺘﻔﺎده از روش ﺗﺎﺑﻠﻮ‪ ،‬ﻧﺸﺎن دﻫﯿﺪ ﮐﻪ اﺻﻮل زﯾﺮ در ﻫﺮ ﺗﻌﺒﯿﺮي ﻣﻌﺘﺒﺮ ﻫﺴﺘﻨﺪ‪.‬‬
‫)‪a) ∀r.∀s.A∏∃r.∀s.B∏∀r.∃s.C⊑∃r.∃s.(A∏B∏C‬‬
‫‪b) ∀r.∀s.A∏(∃r.∀s.¬A∐∀r.∃s.B)⊑∀r.∃s.(A∏B)∐∃r.∀s.¬B‬‬
‫ﺑﺴﻤﻪ ﺗﻌﺎﻟﯽ‬
‫ﺗﻤﺮﯾﻦ ﺳﺮي اول )‪(93/8/1‬‬
‫ﻣﻮﻋﺪ ﺗﺤﻮﯾﻞ‪93/8/10 :‬‬
‫ﻧﺎم درس‪ :‬وب ﻣﻌﻨﺎﯾﯽ‬
‫ﻧﯿﻢﺳﺎل اول ‪93-94‬‬
‫ﻣﺪرس‪ :‬دﮐﺘﺮ ﻣﺮﺗﻀﯽ‬
‫اﻣﯿﻨﯽ‬
‫ﺻﻔﺤﻪ ‪2‬‬
‫‪ .3‬ﺗﺎﺑﻊ ﺗﻌﺒﯿﺮ )‪ I = (∆, I‬را ﺑﻪ ﺻﻮرت زﯾﺮ در ﻧﻈﺮ ﺑﮕﯿﺮﯾﺪ‪.‬‬
‫}‪∆ ={t1 , t 2 , f1 , f 2 , c1 , c 2 , j, k , l, m , n‬‬
‫}‪Person I = {j, k, l, m, n‬‬
‫} ‪Car I = {t1 , t 2 , f1 , f 2 , c1 , c 2‬‬
‫} ‪Ferrari I = {f1 , f 2‬‬
‫|} ‪Toyota I = {t1 , t 2‬‬
‫}) ‪likes I = {( j, f1 ), (k, f1 ), (k, t 2 ), (l, c1 ), (l, c 2 ), (m, c1 ), (m, t 2 ), (n, f 2 ), (n, c 2‬‬
‫ﺗﻌﺒﯿﺮ ﻫﺮ ﮐﺪام از ﻣﻔﺎﻫﯿﻢ زﯾﺮ را در ‪ I‬ﭘﯿﺪا ﮐﻨﯿﺪ)ﻫﻤﻪ ﻣﺮاﺣﻞ را ذﮐﺮ ﮐﻨﯿﺪ(‪.‬‬
‫‪∃likes.Ferrari ∏ ∃likes.Toyota‬‬
‫‪∃likes.Ferrari ∏ ∀likes.Ferrari‬‬
‫‪∃likes.Ferrari ∏ ∃likes. ¬Ferrari‬‬
‫)‪∃likes.Cars ∏ ∀likes.¬(Toyota  Ferrari‬‬
‫)‪a‬‬
‫)‪b‬‬
‫)‪c‬‬
‫)‪d‬‬
‫‪ ABOX .4‬زﯾﺮ را در ﻧﻈﺮ ﺑﮕﯿﺮﯾﺪ‪.‬‬
‫)‪HasChild( joe, ann‬‬
‫)‪HasChild( joe, eva‬‬
‫)‪HasChild( joe, mary‬‬
‫)‪(≤ 2HasChild)( joe‬‬
‫اﯾﺎ اﯾﻦ ‪ ABOX‬ارﺿﺎﭘﺬﯾﺮ اﺳﺖ؟ اﮔﺮ ﺟﻮاب ﻣﺜﺒﺖ اﺳﺖ‪ ،‬ﺗﻌﺒﯿﺮي را ﮐﻪ ان را ارﺿﺎ ﻣﯽﮐﻨﺪ ﺑﯿﺎن ﮐﻨﯿﺪ‪ .‬آﯾﺎ اﯾﻦ ‪ ABOX‬ﺑﺎ ﻓﺮض‬
‫اﺳﺎﻣﯽ ﯾﮑﺘﺎ )‪(UNA‬ﻧﯿﺰ ارﺿﺎﭘﺬﯾﺮ اﺳﺖ؟)ﺗﻮﺿﯿﺢ دھﯿﺪ(‪.‬‬
‫‪ .5‬اﻟﻒ‪ .‬ﻧﺴﺒﺖ ﻣﯿﺎن ﻣﻨﻄﻖ ﺗﻮﺻﯿﻔﯽ ﺑﺎ ﻣﻨﻄﻖ ﻣﺮﺗﺒﻪ اول ﭼﯿﺴﺖ؟‬
‫ب‪ .‬راﻫﮑﺎر ﺗﺮﺟﻤﻪ ﻣﯿﺎن اﯾﻦ دو زﺑﺎن ﮐﺪام اﺳﺖ؟)ﺑﺎ زﺑﺎن رﺳﻤﯽ ﺑﯿﺎن ﮐﻨﯿﺪ‪(.‬‬
‫ت‪ .‬اﮔﺮ ﺑﺨﻮاﻫﯿﻢ ﻣﺸﺎﺑﻪ ﺗﻮﺳﻌﻪاي ﮐﻪ ﻣﻨﻄﻖ ﻣﺮﺗﺒﻪ دوم ﻧﺴﺒﺖ ﺑﻪ ﻣﻨﻄﻖ ﻣﺮﺗﺒﻪ اول داده‪ ،‬ﺗﻮﺳﻌﻪاي ﺑﺮاي ﻣﻨﻄﻖ ﮔﺰارهاي داﺷﺘﻪ‬
‫ﺑﺎﺷﯿﻢ‪ ،‬ﭼﻪ ﺗﻮﺳﻌﻪاي ﭘﯿﺸﻨﻬﺎد ﻣﯽﮐﻨﯿﺪ‪.‬‬
‫ﺑﺴﻤﻪ ﺗﻌﺎﻟﯽ‬
‫ﺗﻤﺮﯾﻦ ﺳﺮي اول )‪(93/8/1‬‬
‫ﻣﻮﻋﺪ ﺗﺤﻮﯾﻞ‪93/8/10 :‬‬
‫ﻧﺎم درس‪ :‬وب ﻣﻌﻨﺎﯾﯽ‬
‫ﻧﯿﻢﺳﺎل اول ‪93-94‬‬
‫ﻣﺪرس‪ :‬دﮐﺘﺮ ﻣﺮﺗﻀﯽ‬
‫اﻣﯿﻨﯽ‬
‫ﺻﻔﺤﻪ ‪3‬‬
‫‪ .6‬آﺷﻨﺎﯾﯽ ﺑﺎ ﺑﺮﻧﺎﻣﻪ ‪Protégé‬‬
‫ﻣﻮارد ﻗﺎﺑﻞ ﺗﺤﻮﯾﻞ‪ :‬ﯾﮏ ﻓﺎﯾﻞ ‪ pdf‬ﺣﺪاﻗﻞ ﺳﻪ ﺻﻔﺤﻪاي ﺷﺎﻣﻞ ﺗﻤﺎﻣﯽ ﺗﻮﺿﯿﺤﺎت ﺧﻮاﺳﺘﻪ ﺷﺪه ﺑﻪ ﻫﻤﺮاه ﺗﻤـﺎﻣﯽ ﻓﺎﯾﻞﻫـﺎي ﻣـﻮرد‬
‫اﺳﺘﻔﺎده و ﺧﺮوﺟﯽﻫﺎ‬
‫‪ .a‬اﺑﺘﺪا ﺑﺮﻧﺎﻣﻪ را داﻧﻠﻮد و ﻧﺼﺐ ﮐﻨﯿﺪ‪.‬‬
‫‪ .b‬ﺑﺎ ﻣﻄﺎﻟﻌﻪ راﻫﻨﻤﺎﻫﺎي ﻣﺮﺑﻮط ﺑﻪ آن‪ ،‬ﻟﯿﺴﺘﯽ از اﻣﮑﺎﻧﺎت و وﯾﮋﮔﯽﻫﺎي اﯾﻦ ﺑﺮﻧﺎﻣﻪ ﺗﻬﯿﻪ ﮐﻨﯿﺪ‪.‬‬
‫‪ .c‬ﺑﺎ در ﻧﻈﺮ ﮔﺮﻓﺘﻦ ﭼﻨﺪ آﻧﺘﻮﻟﻮژي‪ ،‬اﻣﮑﺎﻧﺎت ﻣﻮﺟﻮد ﺑﺮاي اﺟﺮاي ﭘﺮس و ﺟﻮﻫﺎﯾﯽ ﺑﻪ زﺑﺎن ‪ DL‬را ﺑﺮرﺳﯽ ﮐـﺮده و ﭼﻨـﺪﯾﻦ‬
‫ﭘﺮس و ﺟﻮي ﻣﺨﺘﻠﻒ را ﺑﺮ روي آﻧﺘﻮﻟﻮژيﻫﺎي ﮔﻮﻧﺎﮔﻮن اﺟﺮا ﮐﺮده و ﺧﺮوﺟﯽﻫﺎي ﺑﺮﻧﺎﻣـﻪ را ﺑـﻪ ﻫﻤـﺮاه آﻧﺘﻮﻟﻮژيﻫـﺎي‬
‫ﻣﻮرد اﺳﺘﻔﺎده‪ ،‬در ﻓﺎﯾﻞ ارﺳﺎﻟﯽ ﻗﺮار دﻫﯿﺪ‪.‬‬
‫ﺳﻮاﻻت اﺧﺘﯿﺎري‬
‫‪ .7‬اﻧﻮاع زﯾﺮ زﺑﺎنﻫﺎي ﻣﻨﻄﻖ ﺗﻮﺻﯿﻔﯽ را ﻧﺎم ﺑﺒﺮﯾﺪ و وﺟﻪ ﺗﻤﺎﯾﺰ ﻫﺮ ﯾﮏ را ﺑﺮﺷﻤﺎرﯾﺪ‪ .‬ﻫﺮ زﯾﺮ زﺑﺎن ﮐﺪام ﻋﻤﻠﮕﺮﻫﺎ را ﭘﺸﺘﯿﺒﺎﻧﯽ ﻣﯽﮐﻨﺪ؟‬
‫‪ .8‬ﺑﺎ اﺳﺘﻔﺎده از اﻟﮕﻮرﯾﺘﻢ ﺗﺎﺑﻠﻮ‪ ،‬ﺗﻌﯿﯿﻦ ﮐﻨﯿﺪ ﮐﺪام ﮔﺰاره ﻫﻤﺎﻧﮕﻮ اﺳﺖ‪.‬‬
‫)‪1. (¬A∨ B)↔(B→A‬‬
‫)))‪2. A→((B→C)→((A→B)→(A→B)→(A→C‬‬
‫‪ .9‬ﻣﺜﺎﻟﯽ از ﺑﺎزﻧﻤﺎﯾﯽ داﻧﺶ و ﺑﺎور ﺑﻪ ﺷﮑﻞ ‪ Modal‬در ﻣﻨﻄﻖ ﺗﻮﺻﯿﻔﯽ را ذﮐﺮ ﮐﺮده و ﺗﻮﺿﯿﺢ دﻫﯿﺪ ﮐﻪ اﯾﻦ ﺗﻮﺳﻌﻪ ﭼﮕﻮﻧﻪ ﻗﺪرت‬
‫ﺑﯿﺎن زﺑﺎن را اﻓﺰاﯾﺶ ﻣﯽدﻫﺪ‪.‬‬