KRR: Logiki Deskrypcyjne - odpowiedzi

Wprowadzenie

  1. Pojęcia (klasy):
    1. cat_liker, cow, man, cat, vegetarian, person, sheep, adult, male, animal, grass
  2. Role (relacje):
    1. has pet, is a, is an, likes, doesn't eat, eats only
  3. Instancje (obiekty):
    1. Fred, Tibbs

Reprezentacja - zadanie

  1. Opisy i ich rozszerzenia w interpretacji:
    1. (∃ areMarried.Doctor ⊓ (∃ hasPet.Dog))^I = {Suzan};
    2. (∀ areFriends1)) ⊓ ¬∃ areMarried.⊤)^I = {Max,Helen,Nick}
  2. Aksjomaty i ich rozszerzenia:
    1. ¬∃ areFriends.Male ⊑ ¬hasPet.⊤
      1. nieprawdziwe przy danej interpretacji.
        1. ponieważ: (¬∃areFriends.Male)I = {John, Suzan, Helen, Max, Nick}; (¬hasPet)I = {Helen, Max, Natalie, Nick}, i pierwszy zbiór nie jest podzbiorem drugiego
        2. ponieważ Susan nie ma męskich przyjaciół, a ma zwierzę.
    2. Male ⊑ (∃ areMarried.⊤) ⊔ ∃ areFriends.¬Male.
      1. nieprawdziwe przy danej interpretacji.
        1. ponieważ rozszerzenie lewej strony to: {Max, John, Nick} a prawej: {John, Suzan} ∪ {Nick, Helen, Suzan, Natalie} i pierwszy zbiór nie jest podzbiorem drugiego.
        2. ponieważ Max jest rodzaju męskiego, a nie jest ani w związku małżeńskim ani nie ma przyjaciół.

Inne formalizmy

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.

  1. Każdy ogrodnik lubi słońce. / Every gardener likes the sun.
    1. (Ax) Gardener(x) ⇒ likes(x,Sun)
    2. Gardener \sqsubseteq likes.Sun
  2. Niektórych ludzi możesz nabrać zawsze. / You can fool some of the people all of the time.
    1. (Ex) (person(x) ^ (At)(time(t) ⇒ can-fool(x,t)))
    2. -
  3. Czasami możesz nabrać wszystkich ludzi. / You can fool all of the people some of the time.
    1. (Ax) (person(x) ⇒ (Et) (time(t) ^ can-fool(x,t)))
    2. -
  4. Wszystkie fioletowe grzyby są trujące. / All purple mushrooms are poisonous.
    1. (Ax) (mushroom(x) ^ purple(x)) ⇒ poisonous(x)
    2. PurpleMushroom \equiv Mushroom \sqcap Purple, PurpleMushroom \sqsubseteq Poisonous.
  5. Żadne fioletowe grzyby nie są trujące. / No purple mushroom is poisonous.
    1. ~(Ex) purple(x) ^ mushroom(x) ^ poisonous(x)
    2. (Ax) (mushroom(x) ^ purple(x)) ⇒ ~poisonous(x)
    3. PurpleMushroom \equiv Mushroom \sqcap Purple, PurpleMushroom \sqsubseteq \neg Poisonous.
  6. Deb nie jest wysoka. / Deb is not tall.
    1. ~tall(Deb)
    2. Deb : \neg tall

TBox

  • ∃ prowadzi.Przedmiot ⊑ ∃ maTytuł.Mgr ⊔ Wykładowca
  • Wykładowca ⊑ ∃ prowadzi.Przedmiot
  • Wykładowca ⊑ ∃ maTytuł.Inż
  • ∃ maTytuł.Mgr ⊑ ∃ maTytuł.Inż

ABox

  1. relacje: friend, loves
  2. klasy: Female
  3. obiekty: john, susan, andrea, bill
  4. graf:
  5. john : ∃friend.(Female ⊓ ∃loves.¬Female)

Wnioskowanie

TBox:

  1. Pojęciu pustemu (\bot), czyli jest to pojęcie sprzeczne.
  2. Tak, to zdanie jest logiczną konsekwencją zadanej bazy wiedzy, ponieważ:
    1. na podstawie 1. aksjomatu każdy kto prowadzi przedmiot musi mieć albo tytuł mgr albo być wykładowcą.
      1. jeżeli ma tytuł Mgr, to na podstawie 4. aksjomatu ma też tytuł Inż.
      2. jeżeli jest wykładowcą to na podstawie 3. aksjomatu ma tytuł Inż.
    2. zatem każdy kto prowadzi przemiot ma tytuł inzyniera.

ABox:

  1. Tak, ponieważ każda starsza pani musi mieć jakieś zwierzę, a jednocześnie wszystkie jej zwierzęta to koty.
  2. Starsza pani.
  3. Kot.
  4. Rozważamy następujący świat:
    ,
    w którym nie wiemy, czy andrea jest kobietą czy nie. Rozważamy zatem dwie interpretacje:
    1. Andrea należy do klasy Female: Wtedy Andrea jest przyjaciółką Johna i kocha Billa, który nie jest kobietą. → ✔
    2. Andrea należy do klasy ¬Female: Wtedy Susan jest przyjaciółką Johna i kocha Andrea, który nie jest kobietą. → ✔
1)
¬Male ⊔ (Male ⊓ ∃ areMarried.⊤
pl/dydaktyka/krr/lab_dl_answers.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0