[[
✎ pl:dydaktyka:krr:lab_dl_answers
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Ta strona jest tylko do odczytu. Możesz wyświetlić źródła tej strony ale nie możesz ich zmienić.
====== KRR: Logiki Deskrypcyjne - odpowiedzi ====== ===== Reprezentacja wiedzy ===== - Pojęcia (klasy): - cat_liker, cow, man, cat, vegetarian, person, sheep, adult, male, animal, grass - Role (relacje): - has pet, is a, is an, likes, doesn't eat, eats only - Instancje (obiekty): - Fred, Tibbs __**Ćwiczenie 3**__ (na podstawie [[http://pages.cs.wisc.edu/~dyer/cs540/notes/fopc.html|]] Poniższe zdania przełożono z języka naturalnego na formuły rachunku pierwszego rzędu. Dopisz odpowiadające im zdania w logice deskrypcyjnej. - Każdy ogrodnik lubi słońce. / Every gardener likes the sun. - (Ax) Gardener(x) => likes(x,Sun) - <latex>Gardener \sqsubseteq likes.Sun</latex> - Niektórych ludzi możesz nabrać zawsze. / You can fool some of the people all of the time. - (Ex) (person(x) ^ (At)(time(t) => can-fool(x,t))) - - - Czasami możesz nabrać wszystkich ludzi. / You can fool all of the people some of the time. - (Ax) (person(x) => (Et) (time(t) ^ can-fool(x,t))) - <latex>-</latex> - Wszystkie fioletowe grzyby są trujące. / All purple mushrooms are poisonous. - (Ax) (mushroom(x) ^ purple(x)) => poisonous(x) - <latex>PurpleMushroom \equiv Mushroom \sqcap Purple, PurpleMushroom \sqsubseteq Poisonous.</latex> - Żadne fioletowe grzyby nie są trujące. / No purple mushroom is poisonous. - ~(Ex) purple(x) ^ mushroom(x) ^ poisonous(x) - (Ax) (mushroom(x) ^ purple(x)) => ~poisonous(x) - <latex>PurpleMushroom \equiv Mushroom \sqcap Purple, PurpleMushroom \sqsubseteq Poisonous.</latex> - Deb nie jest wysoka. / Deb is not tall. - ~tall(Deb) - <latex>-</latex> - w ABoxie mogą być tylko stwierdzenia pozytywne. ==== Reprezentacja - zadanie ==== - {{:pl:dydaktyka:krr:kr-zad-graf.png?400|}} - Opisy i ich rozszerzenia w interpretacji: - (∃ areMarried.Doctor ⊓ (∃ hasPet.Dog))^I = {Suzan}; - (∀ areFriends((¬Male ⊔ (Male ⊓ ∃ areMarried.⊤))) ⊓ ¬∃ areMarried.⊤)^I = {Max,Helen,Nick} - Aksjomaty i ich rozszerzenia: - ¬∃ areFriends.Male ⊑ ¬hasPet.⊤ - nieprawdziwe przy danej interpretacji. - ponieważ: (¬∃areFriends.Male)I = {John, Suzan, Helen, Max, Nick}; (¬hasPet)I = {Helen, Max, Natalie, Nick}, i pierwszy zbiór nie jest podzbiorem drugiego - ponieważ Susan nie ma męskich przyjaciół, a ma zwierzę. - Male ⊑ (∃ areMarried.⊤) ⊔ ∃ areFriends.¬Male. - nieprawdziwe przy danej interpretacji. - ponieważ rozszerzenie lewej strony to: {Max, John, Nick} a prawej: {John, Suzan} ∪ {Nick, Helen, Suzan, Natalie} i pierwszy zbiór nie jest podzbiorem drugiego. - ponieważ Max jest rodzaju męskiego, a nie jest ani w związku małżeńskim ani nie ma przyjaciół. ==== TBox ==== * ∃ prowadzi.Przedmiot ⊑ ∃ maTytuł.Mgr ⊔ Wykładowca * Wykładowca ⊑ ∃ prowadzi.Przedmiot * Wykładowca ⊑ ∃ maTytuł.Inż * ∃ maTytuł.Mgr ⊑ ∃ maTytuł.Inż ==== ABox ==== - relacje: friend, loves - klasy: Female - obiekty: john, susan, andrea, bill - graf: {{:pl:dydaktyka:krr:zad-abox.png|}} - john : ∃friend.(Female ⊓ ∃loves.¬Female) ===== Wnioskowanie ===== - Tak, ponieważ każda starsza pani musi mieć //jakieś// zwierzę, a jednocześnie //wszystkie// jej zwierzęta to koty. - Starsza pani. - Kot. - Pojęciu pustemu (<latex>\bot</latex>), czyli jest to pojęcie sprzeczne.
pl/dydaktyka/krr/lab_dl_answers.1370030055.txt.gz
· ostatnio zmienione: 2019/06/27 15:52 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry