To jest stara wersja strony!
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)
-
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)))
-
Wszystkie fioletowe grzyby są trujące. / All purple mushrooms are poisonous.
(Ax) (mushroom(x) ^ purple(x)) ⇒ poisonous(x)
-
Ż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)
-
Deb nie jest wysoka. / Deb is not tall.
~tall(Deb)
![LaTeX -](/lib/exe/fetch.php?media=wiki:latex:/img336d5ebc5436534e61d16e63ddfca327.png)
- w ABoxie mogą być tylko stwierdzenia pozytywne.
Reprezentacja - zadanie
-
Opisy i ich rozszerzenia w interpretacji:
(∃ areMarried.Doctor ⊓ (∃ hasPet.Dog))^I = {Suzan};
(∀ areFriends
1)) ⊓ ¬∃ 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:
![](/_media/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](/lib/exe/fetch.php?media=wiki:latex:/img7814a0e7fffecda9cebb60d2bc160257.png)
), czyli jest to pojęcie sprzeczne.