To jest stara wersja strony!


KRR: Logiki Deskrypcyjne - odpowiedzi

Reprezentacja wiedzy

  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

Ć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.

  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 Poisonous.
  6. Deb nie jest wysoka. / Deb is not tall.
    1. ~tall(Deb)
    2. - - w ABoxie mogą być tylko stwierdzenia pozytywne.

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ół.

ABox

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

Wnioskowanie

  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. Pojęciu pustemu (\bot), czyli jest to pojęcie sprzeczne.
1)
¬Male ⊔ (Male ⊓ ∃ areMarried.⊤
pl/dydaktyka/krr/lab_dl_answers.1370029937.txt.gz · ostatnio zmienione: 2019/06/27 15:52 (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