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 - zadania

Wnioskowanie

  1. Tak, ponieważ każda starsza pani musi mieć jakieś zwierzę, a jednocześnie wsyzstkie jej zwierzęta to koty.
  2. Starsza pani.
  3. Kot.
  4. Pojęciu pustemu (\bot), czyli jest to pojęcie sprzeczne.
pl/dydaktyka/krr/lab_dl_answers.1370026141.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